loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: K. Benghazi Akhlaki ; M. I. Capel Tuñon and J. A. Holgado Terriza

Affiliation: ETSI Informatica, University of Granada, Spain

ISBN: 978-972-8865-43-6

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.236.170.48

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Benghazi Akhlaki K.; I. Capel Tuñon M.; A. Holgado Terriza J. and (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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.