Viewing CSP Specifications with UML-RT Diagrams

Authors:
Patrícia Ferreira;Augusto Sampaio;Alexandre Mota
Affiliations:
Centro de Informática, Universidade Federal de Pernambuco, P.O.Box 7851 50740-540 Recife-PE, Brazil;Centro de Informática, Universidade Federal de Pernambuco, P.O.Box 7851 50740-540 Recife-PE, Brazil;Centro de Informática, Universidade Federal de Pernambuco, P.O.Box 7851 50740-540 Recife-PE, Brazil
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 10
Cited 1

Communicating sequential processes

Communicating sequential processes
The Z notation: a reference manual

The Z notation: a reference manual
Modeling software architectures in the Unified Modeling Language

ACM Transactions on Software Engineering and Methodology (TOSEM)
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
A CSP View on UML-RT Structure Diagrams

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Using UML for Modeling Complex Real-Time Systems

LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Refinement in Circus

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems

CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
UML 2 Toolkit

UML 2 Toolkit
A semantics for UML-RT active classes via mapping into circus

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Toward a flexible control design framework to automatically generate control code for mechatronic systems

ACC'09 Proceedings of the 2009 conference on American Control Conference

Quantified Score

Hi-index	0.00

Visualization

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.