Formalization of object behavior and interactions from UML models

被引：34
作者：
Saldhana, JA [1 ]
Shatz, SM [1 ]
Hu, ZX [1 ]
机构：
[1] Univ Illinois, Dept Comp Sci, Concurrent Software Syst Lab, Chicago, IL 60607 USA
来源：
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 2001年 / 11卷 / 06期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1142/S021819400100075X
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：643 / 673
页数：31
相关论文
共 20 条
[11]   STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].
HAREL, D .
SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&
[12]  
HE X, 2000, P WORKSH DEF PREC UM
[13]  
HE X, 2000, P 24 INT COMP SOFTW
[14]  
HE X, 2000, P IFIP 16 WORLD COMP, P484
[15]  
Jensen K, 1992, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, V1, DOI [DOI 10.1007/978-3-662-03241-1, 10.1007/978-3-662-06289-0, DOI 10.1007/978-3-662-06289-0]
[16]  
LAKOS C, 1994, TR943 U TASM COMP SC
[17]  
LILIUS J, 1999, 272 TUCS
[18]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580
[19]  
POOLEY R, 1999, P 15 ANN UK PERF ENG, P45
[20]  
SHATZ S, 1998, P C HIGH PERF COMP
12