Authors:
K. Benghazi Akhlaki
;
M. I. Capel Tuñon
and
J. A. Holgado Terriza
Affiliation:
ETSI Informatica, University of Granada, Spain
Keyword(s):
UML/RT, Process algebra, CSP+T, Formal Specification.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Modeling Formalisms, Languages and Notations
;
Modeling of Distributed Systems
;
Requirements Analysis And Management
;
Software Engineering
;
Systems Engineering
Abstract:
The systematic translation from a UML/RT model into CSP+T specifications, proposed in a previous paper, may give a way to use jointly UML and CSP in a unified, practical and rigorous software development method for real-time systems. We present here a systematic transformation method to derive a correct system specification in terms of CSP+T from a semi-formal system requirement specification (UML-RT), by applying a set of transformation rules which give a formal semantics to the semi-formal analysis entities of UML/RT, and thus open up the possibility of verifying a software system design that also includes real-time constraints. As to show the applicability of the approach, a correct design of a real-time system is obtained by following the process of development proposed here.