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

DOI10.1016/j.scico.2006.08.005zbMath1109.68061OpenAlexW1968483059MaRDI QIDQ869690

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

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)

Related Items

Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN

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