Model-driven design, refinement and transformation of abstract interactions

International Journal of Cooperative Information Systems

Volumn 15, Issue 4, 2006, Pages 599-632

  Almeida, João Paulo A ^a,b   Dijkman, Remco ^a   Pires, Luís Ferreira ^a   Quarte, Dick ^a   Van Sinderen, Marten ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b TELEMATICA INSTITUUT   (Netherlands)

Author keywords

Abstract interactions; Interaction refinement; Model driven design

Indexed keywords

EID: 33750170196     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843006001505     Document Type: Article

References (30)

1. D. Akehurst, S. Kent and O. Patrascoiu, A relational approach to defining and implementing transformations between metamodels, Software and Systems Modeling, Vol. 2, No. (4) (Springer-Verlag, 2003), pp. 215-239.
2. J. P. A. Almeida, R. Dijkman, M. van Sinderen and L. Ferreira Pires, On the notion of abstract platform in MDA development, in Proc. 8th IEEE Int. Conf. Enterprise Distributed Object Computing (EDOC 2004) (IEEE CS Press, 2004), pp. 253-263.
3. J. P. A. Almeida, M. van Sinderen, L. Ferreira Pires and D. Quartel, A systematic approach to platform-independent design based on the service concept, in Proc. 7th, IEEE Int. Conf. Enterprise Distributed Object Computing (EDOC 2003) (IEEE CS Press, 2003), pp. 112-134.
4. J. P. A. Almeida, Model-driven design of distributed applications, CTIT PhD Thesis Series, No. 06-85, Telematica Instituut Fundamental Research Series, No. 018 (2006).
5. T. Bolognesi, J. van de Lagemaat and C. Vissers, eds., LOTOSphere: Software Development with LOTOS (Kluwer Academic Publishers, 1995).
6. E. Brinksma, B. Jonsson and F. Orava, Refining interfaces of communicating systems, in Proc. Int' Joint Conf. Theory and Practice, of Software Development (TAPSOFT'91), Lecture Notes in Computer Science, Vol. 494 (Springer-Verlag, 1991), pp. 297-312.
7. M. Broy, (Inter-)action refinement: The easy way, Program Design Calculi, Springer NATO ASI Series, Series F: Computer and System Sci. 118 (Springer-Verlag, 1993), pp. 121-158.
8. R. M. Dijkman, Consistency in Multi-Viewpoint Architectural Design, CTIT PhD Thesis Series, No. 06-80, Telematica Instituut Fundamental Research Series, No. 017 (2006).
9. R. M. Dijkman, D. Quartel, L. Ferreira Pires and M. van Sinderen, A rigorous approach to relate the RM-ODP enterprise and computational viewpoint, in Proc. 8th IEEE Int. Conf. Enterprise Distributed Object Computing (EDOC 2004) (IEEE CS Press, 2004), pp. 187-200.
10. C. R. G. de Farias, Architectural design of groupware systems: A component-based approach, PhD thesis, University of Twente, The Netherlands (2002).
11. IBM, Draft UML 1.4 Profile for Automated Business Processes with a Mapping to BPEL 1.0, Version 1.1 (2003), http://ibm.com/developerworks/rational/ library/4593.html.
12. ITU-T, Recommendation Z.100 - CCITT Specification and Description Language (2002).
13. ITU-T / ISO, Open Distributed Processing - Reference Model - All Parts, ITU-T X.901-4 ISO/IEC 10746-1 to 10746-4 (1995).
14. H. Kremer, Protocol implementation: Bridging the gap between architecture and realization, PhD thesis, University of Twente, The Netherlands (1995).
15. M. Moriconi, X. Qian and R. A. Riemenschneider, Correct architecture refinement, IEEE Transactions on Software Engineering 21(4) (IEEE CS Press, 2005).
16. Object Management Group, MOF QVT Final Adopted Specification, ptc/05-11-01 (2005).
17. Object Management Group, MDA-Guide, V1.0.1, omg/03-06-01 (2003).
18. Object Management Group, UML 2.0 Superstructure, ptc/03-08-02 (2003).
19. Object Management Group, Common Object Request Broker Architecture: Core Specification, Version 3.0, formal/02-12-06 (2002).
20. O. Patrascoiu, Mapping EDOC to web services using YATL, in Proc. 8th IEEE Int. Conf. Enterprise Distributed Object Computing (EDOC 2004), (IEEE CS Press, 2004), pp. 286-297.
21. D. Quartel, L. Ferreira Pires and M. van Sinderen, On architectural support for behaviour refinement in distributed systems design, J. Integrated Design and Process Science, 6(1) (Society for Design and Process Science, 2002).
22. D. Quartel, L. Ferreira Pires, M. van Sinderen, H. Franken and C. Vissers, On the role of basic design concepts in behaviour structuring, Computer Networks and ISDN Systems 29(4) (Elsevier Science Publishers, 1997), pp. 413-436.
23. J. Schot, The role of architectural semantics in the formal approach of distributed systems design, PhD thesis, University of Twente, The Netherlands (1992).
24. R. Silaghi, F. Fondement and A. Strohmeier, Towards an MDA-oriented UML profile for distribution, in Proc. 8th IEEE Int. Conf. Enterprise Distributed Object Computing (EDOC 2004) (IEEE CS Press, 2004), pp. 227-239.
25. Sun Microsystems, Inc., Java (TM) Message Service (JMS Specification Final Release 1.1) (2002), http://java.sun.com/products/jms/.
26. Sun Microsystems, Inc., JSR-000037 Mobile Information Device Profile (MIDP) (2000), http://jcp.org/aboutJava/communityprocess/final/jsr037/.
27. The Interaction Systems Design Language (ISDL), http://isdl.ctit.utwente. nl/.
28. C. A. Vissera, M. van Sinderen and L. Ferreira Pires, What makes industries believe in formal methods, in Proc. 13th Int. Symp. on Protocol Specification, Testing, and Verification (PSTV XIII) (Elsevier Science Publishers, 1993), pp. 3-26.
29. R. Wieringa, A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys 30(4) (ACM Press, 1998).
30. World Wide Web Consortium, Web Services Architecture, http://www.w3.org/TR/ws-arch/.