Formally modeling UML and its evolution: A holistic approach

IFIP Advances in Information and Communication Technology

Volumn 49 AICT, Issue , 2000, Pages 183-206

  Álvarez, Ambrosio Toval ^a   Alemán, José Luis Fernández ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

Algebraic Specification; Extension Mechanism; Maude; Metaprogramming; UML Evolution

Indexed keywords

ALGEBRAIC SPECIFICATIONS; DIAGRAMMATIC NOTATION; EXECUTABLE SPECIFICATION LANGUAGES; EXPRESSIVE POWER; FORMAL MODEL; GRAPHICAL NOTATION; HOLISTIC APPROACH; HUMAN COMMUNICATIONS; MAUDE; META PROGRAMMING; MODELING CONSTRUCT; MODELING LANGUAGES; RESEARCH EFFORTS; UML CLASS DIAGRAMS; UML EVOLUTION; UML METAMODEL; UML(UNIFIED MODELING LANGUAGE); VIRTUAL MACHINES;

ALGEBRA; FORMAL LANGUAGES; FORMAL METHODS; SEMANTICS; SPECIFICATIONS;

UNIFIED MODELING LANGUAGE;

EID: 84868276035     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35520-7_9     Document Type: Conference Paper

References (25)

1. Sinan Si Alhir. Extending the unified modeling language (UML). http://home.earthlink.net/salhir/index.html, December 1999.
2. J. Araújo, A. Moreira, and P. Sawyer. Specifying persistence, class views and excluding classes for UML. Proc. 12th Intl. Conference on Software and Systems Applications, December 1999.
3. R. H. Bourdeau and B. H. C. Cheng. A formal semantics for object model diagrams. IEEE Transactions on Software Engineering, 21(10):799-821, October 1995.
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic. Computer Science Laboratory SRI International, January 1999.
5. M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In J. Meseguer, editor, proc. First Intl. Workshop on Rewriting Logic and its Applications, 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996.
6. I. Díaz and A. Matteo. Objectory process stereotypes. Journal of Object-Oriented Programming, pages 29-38, June 1999.
7. N. Dykman, M. Griss, and R. Kessler. Nine suggestions for improving UML extensibility. Proc. UML '99 conference, 1999.
8. nd Northern Formal Methods Workshop, Ilkley, electronic Workshops in Computing. Springer-Verlag, 1998.
9. J. L. Fernández and A. Toval. A formal syntax and static semantics of UML statecharts. Technical Report, Department of Informatics: Languages and systems, University of Murcia (Spain) , 1999.
10. J. L. Fernández and A. Toval. Formally modeling and executing the UML dass diagram. Proc. V Workshop MENHIR 2000), Faculty of Informatics, University of Granada (Spain), March 2000.
11. R. B. France. A problem-oriented analysis of basic UML static requirements modeling concepts. Proc. OOPSLA '99, pages 57-69, November 1999.
12. R. B. France, J.M. Bruel, and M. M. Larrond-Petrie. An integrated object-oriented and formal modeling environment. Journal of Object-Oriented Programming, pages 25-34, November/December 1997.
13. J. A. Goguen and G. Malcom. Algebraic Semantics of Imperative Programs. MIT Press, 1996.
14. J. A. Goguen and J. Meseguer. Order-sorted algebra I. Technical Report, SRI International, Stanford University, 1988.
15. B. A. Grima and A. Toval. An algebraic formalization of the objectcharts notation. Proc. GULP-PRODE'94, 1994.
16. Object Management Group. UML notation guide version 1.3. http://www.rational.com/uml/, June 1999.
17. Object Management Group. UML semantics version 1.3. http://www.rational. com/uml/, June 1999.
18. Ari Jaaksi. A method for your first object-oriented project. Journal of Object-Oriented Programming, pages 17-25, January 1998.
19. S. Kent, A. Evans, and B. Rumpe. Uml semantics FAQ. in conjunction with ECOOP, http://www.cs.york.ac.uk/puml, 1999.
20. N. Martí-Oliet and J. Meseguer, Rewriting logic as a logical and semantic framework. In J. Meseguer, editor, proc. of First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996.
21. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
22. B. Moros, J. Nicolás, J. G. Molina, and A. Toval. Combining formal specifications with design by contract. Journal of Object-Oriented Programming, 12(9):16-21, February 2000.
23. O. Pastor, F. Hayes, and S. Bear. OASIS: An object-oriented specification language. In proc. CAISE'92 Conference, Spriger-Verlag, 1992.
24. G. Reggio and R. J. Wieringa. Thirty one problems in the semantics of UML 1.3 dynamics. Workshop Rigorous Modeling and Analysis of the UML Challenges and Limitations, OOPSLA '99, November 1999.
25. A. Toval, I. Ramos, and O. Pastor. Prototyping object oriented specifications in an algebraic environment. Lecture Notes in Computer Science, Springer-Verlag, 856:310-320, 1994.