A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

DOI10.1016/J.SCICO.2006.08.005MaRDI QIDQ869690zbMATH OpenOpenAlexFDO

Authors K. Benghazi Akhlaki, M. I. Capel Tuñón, J. A. Holgado Terriza, L. E. Mendoza Morales

Publication date 8 March 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2006.08.005

zbMATH Keywords

formal specificationCSP+Treal-time software systemsUML-RT

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 1956483
• Specification of real-time systems in UML
• scientific article; zbMATH DE number 1967727
• scientific article; zbMATH DE number 2006495
• Viewing CSP specifications with UML-RT diagrams

Cited in

(6)

• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
• Specification of real-time systems in UML
• Modeling distributed real-time applications with Specification PEARL
• Viewing CSP specifications with UML-RT diagrams
• scientific article; zbMATH DE number 1956483 (Why is no real title available?)
• Transformational design of real-time systems. I: From requirements to program specifications

This page was built for publication: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

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