Paper Info
Title
The Refinement Check Of Added Dynamic Diagrams Based On Pi-Calculus
Abstract
As the semi -formal modeling tool, UML has semantics defaults which may cause confusions or even mistakes in refinement of models. pi-calculus is a formal specification based on process algebra, which can give strict semantics description for system behaviors. We seek to clearly define the semantics of refinement to a model through pi- calculus and thus we are able to propose a formal verification method of the refinement. Employing this method, we can improve the efficiency of the consistency verification while decreasing the mistakes in the refinement process.
Year
Venue
Keywords
2016
INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY
pi-calculus, UML, sequence diagram, state chart diagram, weak open bisimulation
Field
DocType
Volume
Programming language,Pi calculus,Computer science,Artificial intelligence,Machine learning
Journal
13
Issue
ISSN
Citations 
6
1683-3198
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Xiang Zhou100.34
Zhi-qing Shao200.34