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