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
基金
美国国家科学基金会;
关键词
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 条
[1]  
[Anonymous], 1992, OBJECT LIFE CYCLES M
[2]  
[Anonymous], 1999, DOING HARD TIME DEV
[3]  
Black C, 1998, COMPUT SYST SCI ENG, V13, P83
[4]  
BOOCH G, 1999, UNIFIED MODELLING LA
[5]  
CHENG B, 1997, P 19 INT C SOFTW ENG
[6]  
DENG Y, 1993, LECT NOTES COMPUTER
[7]   Application and experimental evaluation of state space reduction methods for deadlock analysis in ada [J].
Duri, S. ;
Buy, U. ;
Devarapalli, R. ;
Shatz, S.M. .
ACM Transactions on Software Engineering and Methodology, 1994, 3 (04) :340-380
[8]  
ELKLUTBI M, 1998, P C HIGH PERF COMP B
[9]  
FRANCE R, 1997, P 21 ANN INT COMP SO
[10]  
GOGOLLA M, 1998, P ICSE 98 WORKSH PRE, P55