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.68061MaRDI 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 specification; CSP+T; real-time software systems; UML-RT

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

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