Title :
Supporting UML Sequence Diagrams Using a Processor Net Model
Author :
Staines, Tony Spiteri
Author_Institution :
Dept. of Comput. Inf. Syst., Malta Univ., Msida
Abstract :
This paper describes how UML sequence diagrams can be supported using an executable processor net. Distributed real time transaction processing systems require validation, verification and performance analysis. A method for doing this is presented creating a processor net for a flight reservation. Some advantages of this approach are the creation of executable models, schemas, formalization and performance analysis. Other issues are discussed
Keywords :
Unified Modeling Language; formal verification; UML sequence diagrams; distributed real time transaction processing systems; executable processor net; flight reservation; processor net model; Computer aided manufacturing; Higher order statistics; Information systems; Object oriented modeling; Performance analysis; Petri nets; Real time systems; Statistical analysis; Systems engineering and theory; Unified modeling language;
Conference_Titel :
Engineering of Computer-Based Systems, 2007. ECBS '07. 14th Annual IEEE International Conference and Workshops on the
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7695-2772-8
DOI :
10.1109/ECBS.2007.68
