An action language for UML: Proposal for a precise execution semantics

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

Volumn 1618, Issue , 1999, Pages 307-318

  Mellor, Stephen J ^a   Tockey, Stephen R ^b   Arthaud, Rodolphe ^c   Leblanc, Philippe ^c  

^a Project Technology

^b Rockwell International   (United States)

^c Verilog   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COST REDUCTION; LIFE CYCLE; SEMANTICS; SPECIFICATIONS; VERIFICATION;

ACTION LANGUAGE; EARLY VERIFICATION; EXECUTION SEMANTICS; SOFTWARE IMPLEMENTATION; SOFTWARE LIFE CYCLES; SOFTWARE PLATFORMS; SYSTEM SPECIFICATION; UML CLASS DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 35048885437     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48480-6_24     Document Type: Conference Paper

References (5)

1. Object Constraint language Specification 1.1, OMG Document ad/97-08-08 (OCL reference)
2. Philippe Leblanc: OMT and SDL based Techniques and Tools for Design. In: Simulation and Test Production of Distributed Systems,:STTT, International Journal on Software Tools for Technology Transfer, Springer, Dec. 1997, http://link.springer.de or http://eti.cs.unidortmund.de
3. Vincent Encontre: How to use modeling to implement verifiable, scaleable and efficient real-time application programs. In: Real-Time Engineering Journal, Vol. 4, No. 3, Fall 1997
4. CCITT, Recommendation Z. 100, Specification and Description Language SDL, 1993
5. ITU-T, Recommendation Z. 120, Message Sequence Chart (MSC), 1993