Paper Info
Title
Viewing CSP Specifications with UML-RT Diagrams
Abstract
To precisely specify and reason about the properties of a system requires using formal methods like, for instance, process algebras. Complementary, semi-formal notations like UML are extensively used in practice to describe several architectural views of a system with the aid of modeling diagrams. In this paper we present an automated approach for translating specifications in the CSP process algebra into UML-RT models, in which we can describe both static and dynamic views of the system. The strategy is based on compositional rules that preserve the CSP semantics. We illustrate the systematic translation through an example.
Year
DOI
Venue
2008
10.1016/j.entcs.2007.08.026
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
architectural view,semi-formal notation,process algebra,csp,viewing csp specifications,csp semantics,uml-rt,csp process algebra,uml-rt model,automated approach,dynamic view,formal method,formal method integration,systematic strategy,compositional rule,uml-rt diagrams
Notation,Programming language,Unified Modeling Language,Computer science,Formal methods,View model,Process calculus,Semantics
Journal
Volume
ISSN
Citations 
195,
Electronic Notes in Theoretical Computer Science
6
PageRank 
References 
Authors
0.55
6
3
Name
Order
Citations
PageRank
Patrícia Ferreira160.89
Augusto Sampaio250143.38
Alexandre Cabral Mota319918.27