Algorithmic support for model transformation in object-oriented software development

Concurrency and Computation: Practice and Experience

Volumn 13, Issue 5, 2001, Pages 351-383

  Schönberge, Siegfried ^a   Keller, Rudolf K ^a   Khriss, Ismail ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

Collaboration diagram; Model transformation; Object oriented analysis and design; State transition diagram; Transformation algorithm; Unified Modeling Language (UML)

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL GRAMMARS; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING;

COLLABORATION DIAGRAM; MODEL TRANSFORMATION; STATE TRANSITION DIAGRAM; TRANSFORMATION ALGORITHM; UNIFIED MODELING LANGUAGE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 18244417270     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.555     Document Type: Article

References (37)

1. Jacobson I, Christerson M, Jonson P, Overgaard G. Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley, 1992.
2. Jarke M, Kurki-Suonio R (eds.). IEEE Transactions on Software Engineering 1998; 24 (Special issue on scenario management).
3. Rational Software Corporation. Microsoft, Hewlett-Packard, Oracle, Sterling, MCI, Unisys, ICON, IntelliCorp, iLogix, IBM, ObjecTime, Platinum, Ptech, Taskon, Reich Technologies, Softeam. UML Notation Guide, Version 1.1. Rational Software Corporation: Santa Clara, CA.
4. Coleman D (moderator). UML: The language of software blueprints? Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97), Atlanta, GA, October 1997; 201-205.
5. Booch G. Object Oriented Analysis and Design with Applications (2nd edn). Benjamin/Cummings Publishing Company Inc.: Redwood City, CA, 1994.
6. Coleman D, Arnold P, Bodoff S, Dollin C, Gilchrist H, Hayes F, Jeremaes P. Object-Oriented Development: The Fusion Method. Prentice-Hall, Inc., 1994.
7. Rasmussen G, Henderson-Sellers B, Low GC. An object-oriented analysis and design notation for distributed systems. Journal of Object-Oriented Programming 1996; 9(6): 14-27.
8. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. Prentice-Hall, Inc., 1991.
9. Embley DW, Kurtz BD, Woodfield SN. Object-Oriented Systems Analysis - A Model Driven Approach. Prentice-Hall, Inc., 1992.
10. Shlaer S, Mellor SJ. Object-Oriented Systems Analysis. Modeling the World in Data. Yourdon Press Computing Series, 1988.
11. Shlaer S, Mellor SJ. Object Lifecycles: Modeling the World in States. Prentice-Hall, Inc., 1992.
12. Schönberger S. VOM - Visual Object Modelling. PhD Thesis, Johannes-Kepler-University, Linz, Austria, 1994.
13. Booch G. Object Solutions: Managing the Object-Oriented Project. Addison-Wesley, 1996.
14. Rumbaugh J. OMT: The object model. Journal of Object-Oriented Programming 1995; 8(1):21-27.
15. Rumbaugh J. OMT: The dynamic model. Journal of Object-Oriented Programming 1995; 8(2):6-12.
16. Rumbaugh J. OMT: The functional model. Journal of Object-Oriented Programming 1995; 8(3):10-14.
17. Meyer B. Object-Oriented Software Construction (2nd edn). Prentice-Hall, Inc.: Englewood Cliffs, NJ, 1997.
18. Rational Software Corporation. Rational Objectory Process 4.1 - Your UML Process. Rational Software Corporation: Santa Clara, CA, 1998. Available at 〈http://www.rational.com/support/techpapers/〉.
19. ITU. Z.120 MSC. Message Sequence Charts, 1994. Geneva, Switzerland.
20. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 1987; 8:231-274.
21. Harel D, Gery E. Executable object modeling with Statecharts. Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany. IEEE, 1996; 246-257.
22. Krachten PB. The 4 + 1 view model of architecture. IEEE Software 1995; 12(6):42-50.
23. Koskimies K, Mäkinen E. Automatic synthesis of state machines from trace diagrams. Software - Practice & Experience 1994; 24(7):643-658.
24. Eriksson H-E, Penker M. UML-Toolkit. John Wiley and Sons, 1998.
25. Biermann AW, Krishnaswamy R. Constructing programs from example computations. IEEE Transactions on Software Engineering 1976; 2(3):141-153.
26. Koskimies K, Männistö T, Systä T, Tuomi J. SCED: A tool for dynamic modelling of object systems. Technical Report A-1996-4, Department of Computer Science, University of Tampere, 1996.
27. Koskimies K, Systä T, Tuomi J, Männistö T. Automated support for modeling oo software. IEEE Software 1998; 15(1):87-95.
28. Olsen A, Faergemand O, Moller-Pedersen B, Reed R, Smith JRW. Systems Engineering Using SDL92. North-Holland, 1994.
29. TeleLOGIC, Malmo, Sweden. SDT3.0 Reference Manual, 1995.
30. Bordeleau F, Buhr RJA. The UCM-ROOM design method: From use case maps to communicating state machines. Technical Report, Carleton University, Ottawa, Canada, September 1996.
31. Selic B, Gullekson G, Ward P. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.
32. Halbwachs N, Lagnier F, Ratel C. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. IEEE Transactions on Software Engineering 1992; 18(9):785-793.
33. Somé S, Dssouli R, Vaucher J. Toward an automation of requirements engineering using scenarios. Journal of Computing and Information 1996; 2(1):1110-1132.
34. Hsia P, Samuel J, Gao J, Kung D, Toyoshima Y, Chen C. Formal approach to scenario analysis. IEEE Software 1994; 11(2):33-41.
35. Ichikawa H, Itoh M, Kato J, Takura A, Shibasaki M. SDE: Incremental specification and development of communications software. IEEE Transactions on Computers 1991; 40(4):553-561.
36. Khriss I, Elkoutbi M, Keller RK. Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. Technical Report GELO-84, Université de Montréal, Montreal, Quebec, Canada, March 1998.
37. Schauer R, Keller RK, Schönberger S. Extending state diagrams for higher expressiveness and more general applicability. Technical Report DIRO-1065, Université de Montréal, Montreal, May 1997.