loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: K. Benghazi Akhlaki 1 ; M. I. Capel Tuñon 1 ; J. A. Holgado Terriza 1 and L. E. Mendoza Morales 2

Affiliations: 1 ETSI Informática, Campus, Aynadamar, Universidad de Granada, Spain ; 2 Edificio de Matemáticas y Sistemas, Universidad Simón Bolívar, Venezuela

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling Concepts and Information Integration Tools ; Modeling Formalisms, Languages and Notations

Abstract: We are motivated to complement our methodology by integrating collaboration diagrams to facilitate the specification of capsules in UML-RT design models. An improved systematic transformation method to derive a correct and complete formal system specification of real-time systems is established. This article aims at integrating temporal requirements in the design stage of the life cycle of a real-time system, so that scheduling and dependability analysis can be performed at this stage. The application of CSP+T process algebra to carry out a systematic transformation from a UML-RT model of a well known manufacturing-industry paradigmatic case, the “Production-Cell”, is also presented.

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 3.137.173.98

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 E. Mendoza Morales, L. (2006). Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2006) - MSVVEIS; ISBN 978-972-8865-49-8, SciTePress, pages 16-25. DOI: 10.5220/0002503200160025

@conference{msvveis06,
author={K. {Benghazi Akhlaki}. and M. {I. Capel Tuñon}. and J. {A. Holgado Terriza}. and L. {E. Mendoza Morales}.},
title={Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2006) - MSVVEIS},
year={2006},
pages={16-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002503200160025},
isbn={978-972-8865-49-8},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2006) - MSVVEIS
TI - Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models
SN - 978-972-8865-49-8
AU - Benghazi Akhlaki, K.
AU - I. Capel Tuñon, M.
AU - A. Holgado Terriza, J.
AU - E. Mendoza Morales, L.
PY - 2006
SP - 16
EP - 25
DO - 10.5220/0002503200160025
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic