Abstract:
This paper proposes a methodology for an executable UML 2.0 subset based on State Transition Diagrams (STDs) and Sequence Diagrams (SD) that covers interrupts, exceptions...Show MoreMetadata
Abstract:
This paper proposes a methodology for an executable UML 2.0 subset based on State Transition Diagrams (STDs) and Sequence Diagrams (SD) that covers interrupts, exceptions, and timeouts. In this a UML Virtual Machine (UVM) as the run-time environment for complete executable specifications based on that executable UML subset. Such specifications are compiled to binary programs consisting of data structures (STDs) and bytecode (SDs).
Date of Conference: 16-20 February 2004
Date Added to IEEE Xplore: 08 March 2004
Print ISBN:0-7695-2085-5
Print ISSN: 1530-1591
Contents 