ArCo

The project's publications are organized according to the following research activities. An explanation of the research activities, their relation, and the deliverables that are planned for them can be found in the project planning.

---

Platform Independent Design Line

State of the Art

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, and M.J. van Sinderen. The State-of-the-Art in Service-Oriented Computing and Design. ArCo Project Deliverable ArCo/WP1/T1/D1/V1.00, University of Twente, Enschede, The Netherlands, July 2003.

Basic Design Model

D.A.C. Quartel. ISDL Meta-Model and Repository. ArCo Project Deliverable ArCo/WP1/T1/D3/V1.00, University of Twente, Enschede, The Netherlands, March 2004.

R.M. Dijkman. A Basic Design Model for Service-Oriented Design. ArCo Project Deliverable ArCo/WP1/T1/D2/V1.00, University of Twente, Enschede, The Netherlands, November 2003.

D.A.C. Quartel. Interaction Systems Design Language. Available online: http://isdl.ctit.utwente.nl.

Viewpoints in Service-Oriented Design

R.M. Dijkman, and M. Dumas. Service-oriented Design: A Multi-viewpoint Approach. CTIT Technical Report 04-09, University of Twente, The Netherlands, 2004.

Inter-Viewpoint Consistency

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, and M.J. van Sinderen. An Approach to Relate Viewpoints and Modeling Languages. In: Proceedings of the 7th IEEE Enterprise Distributed Object Computing (EDOC) Conference, Brisbane, Australia, pp. 14-27, 2003.

R.M. Dijkman, J.P. Andrade Almeida, and D.A.C. Quartel. Verifying the Correctness of Component-Based Applications that Support Business Processes. In I. Crnkovic, H. Schmidt, J. Stafford, and K. Wallnau (eds.): Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering (CBSE) - Automated Reasoning and Predication, Portland, OR, United States, pp. 43-48, 2003.

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, and M.J. van Sinderen. Semantic Verification of Behavior Conformance. In H. Kilov, and K. Baclawski (eds.): Proceedings of the 11th OOPSLA Workshop on Behavioral Semantics - Serving the Customer, Seattle, WA, United States, pp. 43-54, 2002.

R.M. Dijkman, and S.M.M. Joosten. An Algorithm to Derive Use Cases from Business Processes. In M.H. Hamza (ed.): Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA), ACTA Press, Anaheim, CA, USA, pp. 679-684, 2002.

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, and M.J. van Sinderen. A Design-for-Change Approach: Developing Distributed Applications from Enterprise Models. CTIT Technical Report 02-22, University of Twente, Enschede, The Netherlands, 2002.

R.M. Dijkman, and S.M.M. Joosten. Deriving Use Cases from Business Processes. CTIT Technical Report 02-08, University of Twente, Enschede, The Netherlands, 2002.

Conceptual Framework Line

Ontological Representation and Conceptual Modeling

G. Guizzardi, and G. Wagner. Using Formal Ontologies to Define Real-World Semantics for UML Conceptual Models. In: 1st Workshop on Ontologies for Biology, Heidelberg, Germany, 2002.

G. Guizzardi, H. Herre, and G. Wagner. Towards Ontological Foundations for UML Conceptual Models. In: 1st International Conference on Ontologies, Databases and Application of Semantics (ODBASE'02), Irvine, California, USA, 2002. Springer-Verlag, Berlin, Lecture Notes in Computer Science.

G. Guizzardi, H. Herre, and G. Wagner. On the General Ontological Foundations of Conceptual Modeling. In: 21st International Conference on Conceptual Modeling (ER-2002), Tampere, Finland, 2002. Springer-Verlag, Berlin, Lecture Notes in Computer Science.

Ontology-Based Development of Domain Specific Languages

G. Guizzardi, L. Ferreira Pires, and M. van Sinderen. On the role of Domain Ontologies in the Design of Domain-Specific Visual Languages. In: 2nd Workshop on Domain-Specific Visual Languages, 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002), Seattle, Washington, USA, 2002.

R. Falbo, G. Guizzardi, and K.C. Duarte. An Ontological Approach to Domain Engineering. In: XIV International Conference on Software Engineering and Knowledge Engineering (SEKE-2002), Ischia, Italy, 2002.

R. Falbo, G. Guizzardi, A.C. Natali, G. Bertollo, F. Ruy, and P. Mian. Towards Semantic Software Engineering Environments. In: XIV International Conference on Software Engineering and Knowledge Engineering (SEKE-2002), Ischia, Italy, 2002.

R. Falbo, G. Guizzardi, K.C. Duarte, and A.C.C. Natali. Developing Software for and with Reuse: An Ontological Approach. In: ACIS International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA-02), Foz do Iguacu, Brazil, 2002.