Transformation of UML specification to XTG

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

Volumn 2244 LNCS, Issue , 2001, Pages 247-254

  Roubtsova, Ella E ^a   Van Katwijk, Jan ^b   De Rooij, Ruud C M ^b   Toetenel, Hans ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; SEMANTICS; SPECIFICATIONS; COMPUTATION THEORY; INFORMATION SCIENCE;

COMPUTATION TREES; PMC MODEL; STATE CHARTS; TEMPORAL LOGIC PROPERTIES; UML DIAGRAMS; UML SPECIFICATIONS;

REAL TIME SYSTEMS;

COMPUTATION; PROGRAMING LANGUAGES; SPECIFICATIONS;

EID: 12344308413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45575-2_25     Document Type: Conference Paper

References (7)

1. G. Booch, J. Rubaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Amsterdam, 1999.
2. B. P. Douglass. Real-Time UML. Developing Efficient Objects for Embedded Systems. Addison-Wesley, 1998.
3. E.E. Roubtsova and J.van Katwijk and W.J. Toetenel and C. Pronk and R.C.M.de Rooij. The Specification of Real-Time Systems in UML. MCTS2000, http://www.elsevier.nl/locate/entcs/volume39.html, 2000.
4. J. Lilius and I.P.Palor. Formalising UML StateMachines for Model Checking. UML'99. Beyond the Standard, LNCS 1723, pages 430-445, 1999.
5. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
6. OMG. Unified Modeling Language Specification v.1.3. ad/99-06-10, http://www.rational.com/uml/resources/documentation/index.jsp, June 1999.
7. R.F. Lutje Spelberg and W.J. Toetenel and M. Ammerlaan. Partition Refinement In Real-Time Model Checking. Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS, 1486:143-157, 1998.