Article ID Journal Published Year Pages File Type
423756 Electronic Notes in Theoretical Computer Science 2008 18 Pages PDF
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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics