Viewing CSP specifications with UML-RT diagrams

DOI10.1016/J.ENTCS.2007.08.026zbMATH Open1279.68257OpenAlexW2030934054MaRDI QIDQ2873608FDOQ2873608

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• Title not available (Why is that?)
• Automatic Generation of CSP || B Skeletons from xUML Models
• Toward extracting \(\pi\)-calculus from UML sequence and state diagrams
• Title not available (Why is that?)
• Formal specification generation from requirement documents

Uses Software

• Z
• Circus

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)