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

DOI10.1016/J.SCICO.2006.08.005zbMATH Open1109.68061OpenAlexW1968483059MaRDI QIDQ869690FDOQ869690

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

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

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)

Cited In (6)

• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
• Transformational design of real-time systems. I: From requirements to program specifications
• Modeling distributed real-time applications with Specification PEARL
• Title not available (Why is that?)
• Specification of real-time systems in UML
• Viewing CSP specifications with UML-RT diagrams

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)