Viewing CSP specifications with UML-RT diagrams

DOI10.1016/J.ENTCS.2007.08.026MaRDI QIDQ2873608zbMATH OpenOpenAlexFDO

Authors Patrícia Ferreira, Augusto Sampaio, Alexandre Mota

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.08.026

zbMATH Keywords

CSPUML-RTformal method integrationsystematic strategy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1693515
• scientific article; zbMATH DE number 1949609
• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• Toward extracting \(\pi\)-calculus from UML sequence and state diagrams
• scientific article; zbMATH DE number 1956483

Cited in

(6)

• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• scientific article; zbMATH DE number 1949609 (Why is no real title available?)
• Automatic Generation of CSP || B Skeletons from xUML Models
• Toward extracting \(\pi\)-calculus from UML sequence and state diagrams
• scientific article; zbMATH DE number 1693515 (Why is no real title available?)
• Formal specification generation from requirement documents

Describes a project that uses

Uses Software

• Circus
• Z

This page was built for publication: Viewing CSP specifications with UML-RT diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873608)