Foundations for MDA-based forward engineering

Journal of Object Technology

Volumn 4, Issue 1, 2005, Pages 129-153

  Favre, Liliana ^a  

^a Centro Científico y Tecnológico Consejo Nacional de Investigaciones Científicas y Técnicas   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; DATA STORAGE EQUIPMENT; DIGITAL LIBRARIES; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

MODEL DRIVEN ARCHITECTURE (MDA); PLATFORM INDEPENDENT MODELS (PIM); PLATFORM SPECIFIC MODELS (PSM); TRANSFORMATION TOOLS;

COMPUTER ARCHITECTURE;

EID: 14744304028     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2005.4.1.a4     Document Type: Review

References (39)

1. [Abria196] J. Abrial: The B Book: Assignning Programs to Meanings. Cambridge University Press, 1996.
2. [Alencar91] A. Alencar, J. Goguen: "OOZE: An Object-oriented Z Environment", Proceedings of the European Conference on Object-oriented Programming, ECOOP 91, Lecture Notes in Computer Science 512, pp. 180-199, Springer-Verlag, 1991.
3. [Ahrendt02] W. Ahrendt, T. Baar, B. Beckert, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, P. Schmitt: "The KeY System: Integrating Object-Oriented Design and Formal Methods", Proceedings of FASE 2002 ETAPS 02, Grenoble, France. Available at http://i12www.ira.uka.de/~projekt/index.html, 2002.
4. [Astesiano02] E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. Mosses, D. Sannella; A. Tarlecki: "CASL: The Common Algebraic Specification Language", Theoretical Computer Science, 286(2), pp. 153-196, 2002.
5. [Barbier03] F. Barbier, B. Henderson-Sellers, A. Le Parc-Lacayrelle, J. Bruel: "Formalization of the Whole-Part Relationship in the Unified Modeling Language", IEEE Transactions on Software Engineering, Vol. 29, no. 5, 2003
6. [Bordeau95] R. Bordeau, B. Cheng: "A Formal Semantic for Object Model Diagrams", IEEE Transactions on Software Engineering, Vol. 21, No 10, October, 1995.
7. [Breu97] R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin: "Towards a Precise Semantics for Object-Oriented Modeling Techniques", Proceedings of the ECOOP'97, Lecture Notes in Computer Science 1241, pp. 314-364, Springer-Verlag, 1997.
8. [Bruel98] J. Bruel, R. France: "Transforming UML Models to Formal Specifications", Proc. of «UML» 98- Beyond the notation, Lecture Notes in Computer science 1618, Springer-Verlag, 1998.
9. [Case03] UML Tools: Available www.objectsbydesign.com/tools
10. [Evans98] A. Evans, R. France, K. Lano, B. Rumpe: "The UML as a Formal Modeling Notation", Computer Standards & Interfaces, 19, 1998.
11. [Favre98] L. Favre: "Object-Oriented Reuse through Algebraic Specifications", Technology of Object-Oriented Languages and Systems, Tools 28 (C. Mingins;B. Meyer eds.), pp. 101-112, IEEE Computer Society, 1998.
12. [Favre00] L. Favre, L. Martínez, C. Pereira: "Transforming UML Static Models into Object-Oriented Code". Technology of Object Oriented Languages and Systems, TOOLS 37 (eds. B. Henderson-Sellers, B. Meyer), IEEE Computer Press, pp 170-181, Australia, 2000.
13. [Favre01] L. Favre: "A Formal Mapping between UML Static Models and Algebraic Specifications". Practical UML-Based Rigorous Development Methods-Countering or Integrating the eXtremist (A. Evans, R. France, A. Moreira, B. Rumpe eds.), Lecture Notes in Informatics (P 7) SEW, pp. 113-127, GI Edition Konner Kollen-Verlag, Alemania, 2001.
14. [Favre03a] L. Favre, L. Martínez, C. Pereira: "Forward Engineering and UML: From UML Static Models to Eiffel Code". UML and the Unified Process (Liliana Favre editor) Chapter IX. pp. 199-217, IRM Press, USA, 2003.
15. [Favre03b] L. Favre: The Nereus Language, Technical Report, INTIA, Universidad Nacional del Centro, Argentina, 2003.
16. [France97] R. France, J. Bruel, M. Larrondo-Petrie: "An Integrated Object-Oriented and Formal Modeling Environment", JOOP, November-December, 1997
17. [Gamma95] E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns: Elements of Reusable Object Oriented Software, Addison Wesley, Reading (Mass), 1995.
18. [Gogolla97] M. Gogolla, M. Richters: "On Constraints and Queries in UML", Proceedings UML'97 Workshop The Unified Modeling Language-Technical Aspects and Applications. Physica-Verlag, Heidelberg, pp. 109-121, 1997.
19. th Int. Conf. Unified Modeling Language (S. Cook; H. Hussmann; J.M. Jezequel, eds.), Lecture Notes in Computer Science, Springer-Verlag, 2002
20. [Hussmann99] H. Hussmann, M. Cerioli, G. Reggio, F. Tort: Abstract Data Types and UML Models, Report DISI-TR-99-15, University of Genova, 1999.
21. [Kim99] S. Kim, D. Carrington: "Formalizing the UML Class Diagram using OBJECT-Z", Proceedings of UML 99, Lecture Notes in Computer Science 1723, pp. 83-98, Springer-Verlag, 1999.
22. [Kim02] S. Kim, D. Carrington: "A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints", Lecture Notes in Computer science 2272, pp. 497, Springer-Verlag, 2002.
23. [Kleppe03] Anneke Kleppe, Jos Warmer, Wim Bast: MDA Explained. The Model Driven Architecture: Practice and Promise, Addison Wesley, April 2003.
24. [Lano 91] K. Lano: "Z++, An Object-Oriented Extension to Z", Z User Workshop, Springer Workshops in Computing, pp. 151-172, 1991.
25. [Leavens96] G. Leavens: "An Overview of Larch/C++: Behavioral Specification for C++ Modules", Specification of Behavioral Semantics in Object-Oriented Information Modeling, Kluwer Academic Publishers, Chapter 8, pp. 121-142, 1996.
26. [Leavens02] G. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby: JML Reference Manual Draft Revision 1.1, Available at: www.cs.iastate.edu/~leavens, 2002
27. [McUmber01] W. McUmber, B. Cheng: "A General Framework for Formalizing UML with Formal Languages", IEEE International Conference on Software Engineering (ICSE01), Canada, 2001.
28. [Meyer92] B. Meyer Eiffel: The Language. Prentice Hall, 1992.
29. [OMG03] OMG (eds): Unified Modeling Language Specification: Version 1.5, 2003,. Available at www.omg.org
30. [Overgaard98] G. Overgaard: "A Formal Approach to Relationships in the Unified Modeling Language", Proceedings of Workshop on Precise Semantic of Modeling Notations, International Conference on Software Engineering, ICSE'98, Japan, 1998.
31. [Padawitz00] P. Padawitz: "Swinging UML: how to Make Class Diagrams and State Machines Amenable to constraint Solving and proving" Proc. of «UML» 2000-The Unified Modeling Language. Lecture Notes in Computer Science 1939, pp 265-277, Springer, 2000.
32. [Paige02] R. Paige, L. Kaminskaya, J. Ostroff: "BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning", Journal of Object Technology (JOT) vol 1, No 3, Special Issue: TOOLS USA 2002 Proceedings, pp. 77-96, 2002.
33. [Rapanotti92] L. Rapanotti, A. Socorro. Introducing FOOPS. Report PRG-TR-28-92, Programming Research Group, Oxford University Computing Laboratory, 1992.
34. [Smith 00] G. Smith: The Object-Z Specification Language. Advances in Formal Methods, Kluwer Academic Publishers, 2000.
35. [Reggio99] G. Reggio, E. Astesiano, C. Choppy: CASL-LTL: A CASL extension for dynamic systems. Available at ftp://ftp.disi.unige.it/person/ReggioG, 1999.
36. [Reggio01] G. Reggio, M. Cerioli, E. Astesiano: "Towards a Rigorous Semantics of UML Supporting its Multiview Approach", Proceedings of Fundamental Approaches to Software Engineering (FASE 2001). Lecture Notes in Computer Science 2029, pp. 171, Springer-Verlag, 2001.
37. [Snook00] C. Snook, M. Butler: Tool-Supported Use of UML for Constructing B Specifications, Technical Report, Department of Electronics and Computer Science, University of Southampton, United Kingdom, 2000.
38. [Warmer 03] Jos Warmer, Anneke Kleppe: The Object Constraint Language. Second Edition. Getting your Models Ready for MDA, Addison Wesley, August 2003.
39. [Ziemann03] P. Ziemann, M. Gogolla: "Validating OCL Specifications with the USE Tool- An Example Based on the BART CASE Study", Electronic Notes in Theoretical Computer Science 80, 2003.