Paper Info
Title
Formalization Of Object Behavior And Interactions From Uml Models
Abstract
UML, being the industry standard as a common OO modeling language, needs a well-defined semantic base for its notation. Formalization of the graphical notation enables automated processing and analysis tasks. This paper describes a methodology for synthesis of a Petri net model from UML diagrams. The approach is based on deriving Object Net Models from UML statechart diagrams and connecting these object models based on UML collaboration diagram information. The resulting system-level Petri net model can be used as a foundation for formal Petri net analysis and simulation techniques. The methodology is illustrated on some small examples and a larger case study. The case study reveals some unexpected invalid system-state situations.
Year
DOI
Venue
2001
10.1142/S021819400100075X
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
object model,modeling language,petri net
Petri net,Programming language,UML state machine,Unified Modeling Language,UML tool,Systems engineering,Computer science,Communication diagram,Applications of UML,Object Constraint Language,Shlaer–Mellor method
Journal
Volume
Issue
ISSN
11
6
0218-1940
Citations 
PageRank 
References 
23
1.59
8
Authors
3
Name
Order
Citations
PageRank
John Anil Saldhana1231.59
Sol M. Shatz246955.25
Zhaoxia Hu3765.49