DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS

K. Benghazi Akhlaki, M. I. Capel Tuñon, J. A. Holgado Terriza

2006

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.

Paper Citation

in Harvard Style

Benghazi Akhlaki K., I. Capel Tuñon M. and A. Holgado Terriza J. (2006). DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 290-297. DOI: 10.5220/0002451002900297

in Bibtex Style

@conference{iceis06,
author={K. Benghazi Akhlaki and M. I. Capel Tuñon and J. A. Holgado Terriza},
title={DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={290-297},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002451002900297},
isbn={978-972-8865-43-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS
SN - 978-972-8865-43-6
AU - Benghazi Akhlaki K.
AU - I. Capel Tuñon M.
AU - A. Holgado Terriza J.
PY - 2006
SP - 290
EP - 297
DO - 10.5220/0002451002900297