Research of System Modeling and Verification Method Combine with UML Formalization Analysis and Colored Petri Net

Shangguan, Wei; Cai, Bin; Wang, Jian; Wei, Yan; Gou, Chen-xi

doi:10.1109/iita.2009.489

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

2024

Publication Types

Select...

Article2

Other1

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Verifying SysML activity diagrams using formal transformation to Petri nets

Huang

McGinnis

Mitchell

2019

Systems Engineering

View full text Add to dashboard Cite

The development of contemporary systems is an extremely complex process. One approach to modeling system behavior uses activity diagrams from Unified Modeling Language (UML)/System Modeling Language (SysML), providing a standard object‐oriented graphical notation and enhancing reusability. However, UML/SysML activity diagrams do not directly support the kind of analysis needed to verify the system behavior, such as might be available with a Petri net (PN) model. We show that a behavior model represented by a set of fUML‐compliant modeling elements in UML/SysML activity diagrams can be transformed into an equivalent PN, so that the analysis capability of PN can be applied. We define a formal mathematical notation for a set of modeling elements in activity diagrams, show the mapping rules between PN and activity diagrams, and propose a formal transformation algorithm. Two example system behavior models represented by UML/SysML activity diagrams are used for illustration.

show abstract