UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Practical Object-oriented Design with UML
Practical Object-oriented Design with UML
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Relation between UML2 activity diagrams and CSP algebra
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Specification and validation of behavioural protocols in the rCOS modeler
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
An MDA approach towards integrating formal and informal modeling languages
FM'05 Proceedings of the 2005 international conference on Formal Methods
| Hi-index | 0.00 |
In this paper, we propose an approach to translating UML to CSP that allows one to utilize both UML and CSP in a system design. To do so, we divide the visualization task based on three aspects of CSP: (i) the dynamics behavior, (ii) the static architecture, and (iii) the refinement assertions. In doing so we are able to visualize CSP via UML in a hierarchical manner which enhances understanding in the design process. In a way, we also provide a formal verification for the UML diagrams using CSP, since there are model checkers like FDR available. We have adopted the use of UML state diagram and class diagram for our work. In addition, we have outlined a prototyped tool that translates these diagrams to CSP that could be model-checked in FDR.