Transformations and software modeling languages: Automating transformations in UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2460 LNCS, Issue , 2002, Pages 227-242

  Whittle, Jon ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

REFACTORINGS; SOFTWARE MODEL; SOFTWARE MODELING LANGUAGES; UML CLASS DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 79955165781     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45800-x_19     Document Type: Conference Paper

References (12)

1. J. Alemän, A. Toval, and J. Hoyos. Rigorously transforming UML class diagrams. In Proceedings of the V Workshop MENHIR (Models, Environments and Tools for Requirements Engineering), Universidad de Granada, Spain, 2000.
2. Workshop on Automating Object Oriented Software Development Methods, June 2001. http://trese.cs.utwente.nl/ecoopOl-aoom/.
3. J. Araüjo, R. France, A. Toval, and J. Whittle. Workshop on Integration and Transformation of UML Models, June 2002. http://www-ctp.di.fct. unl.pt/ja/witum102.htm.
4. C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. In Proceedings of FMCAD'96, November 1996.
5. M. Clavel, F. Durän, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoreti cal Computer Science, 2001. To appear.
6. A. Evans. Reasoning with UML class diagrams. In Workshop on Industrial Strength Formal Methods (WIFT98). IEEE Press, 1998.
7. R. France. A problem-oriented analysis of basic UML static requirements modeling concepts. ACM SIGPLAN Notices, 34(10):57-69, 1999. (Pubitemid 32213976)
8. M. Gogolla and M. Richters. Equivalence rules for UML class diagrams. In J. Bezivin and P.-A. Muller, editors, The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, pages 87-96, 1998.
9. K. Lano and A. Evans. Rigorous development in UML. In Fundamental Approaches to Software Engineering, FASE'99. Springer-Verlag, 1999.
10. Unified Modeling Language specification version 1.4, September 2001. Available from The Object Management Group (http://www.omg.org).
11. A. Toval and J. Alemän. Formally modeling UML and its evolution: a holistic approach. In S. Smith and C. Talcott, editors, Formal Methods for Open Objectbased Distributed Systems IV, pages 183-206, 2000.
12. J. Whittle and J. Schumann. Generating Statechart Designs From Scenarios. In Proceedings of International Conference on Software Engineering (ICSE 2000), pages 314-323, Limerick, Ireland, June 2000.