loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Thouraya Bouabana-Tebibel

Affiliation: Institut National d’Informatique, Algeria

ISBN: 978-972-8865-59-7

Keyword(s): UML, OCL, Petri nets, temporal logics, verification, validation.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Computational Intelligence ; Enterprise Information Systems ; Evolutionary Computation and Control ; Formal Methods ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Modeling, Simulation and Architectures ; Petri Nets ; Robotics and Automation ; Simulation and Modeling ; Soft Computing

Abstract: The Object Constraint Language OCL is an extension of the UML notation for the expression of restrictions on diagrams. We propose to take advantage of its all expression capabilities for validating the UML system properties. For this purpose, we develop an approach to support the OCL invariant verification on the colored Petri nets derived from the UML modeling. A case study is given throughout the paper to illustrate the approach.

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 3.80.6.254

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:
Bouabana-Tebibel T. and (2006). DATA FLOW FORMALIZATION.In Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-972-8865-59-7, pages 148-153. DOI: 10.5220/0001219501480153

@conference{icinco06,
author={Thouraya Bouabana{-}Tebibel},
title={DATA FLOW FORMALIZATION},
booktitle={Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2006},
pages={148-153},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001219501480153},
isbn={978-972-8865-59-7},
}

TY - CONF

JO - Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - DATA FLOW FORMALIZATION
SN - 978-972-8865-59-7
AU - Bouabana-Tebibel, T.
PY - 2006
SP - 148
EP - 153
DO - 10.5220/0001219501480153

Login or register to post comments.

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