DATA FLOW FORMALIZATION

Thouraya Bouabana-Tebibel

2006

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.

Paper Citation

in Harvard Style

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

in Bibtex Style

@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 1: ICINCO,},
year={2006},
pages={148-153},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001219501480153},
isbn={978-972-8865-59-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: 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