loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Thouraya Bouabana-Tebibel 1 and Mounira Belmesk 2

Affiliations: 1 Institut National d’Informatique, Algeria ; 2 Collège Edouard MonPetit, Canada

Keyword(s): UML, Petri nets, verification and validation, class diagram, statechart diagram, collaboration diagram.

Related Ontology Subjects/Areas/Topics: Evolutionary Computation and Control ; Formal Methods ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Petri Nets ; Simulation and Modeling

Abstract: UML nowadays, has emerged as the industry standard for object-oriented modeling. However, it still lacks a well-defined semantic base enabling it to perform formal verification and validation tasks. Our goal being to provide system designers a life cycle of software development integrating conviviality and rigor, we propose a methodology to specify, verify and validate using UML. This methodology is based on a technique which derives colored Petri nets from UML class, statechart and collaboration diagrams. The approach that we propose associates the formalization of the object dynamics to the formalization of the object behavior. A case study is provided to illustrate this technique.

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.88.254.50

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 Belmesk, M. (2004). FROM UML TOWARDS PETRI NETS TO SPECIFY AND VERIFY. In Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO; ISBN 972-8865-12-0; ISSN 2184-2809, SciTePress, pages 249-256. DOI: 10.5220/0001145802490256

@conference{icinco04,
author={Thouraya Bouabana{-}Tebibel. and Mounira Belmesk.},
title={FROM UML TOWARDS PETRI NETS TO SPECIFY AND VERIFY},
booktitle={Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO},
year={2004},
pages={249-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001145802490256},
isbn={972-8865-12-0},
issn={2184-2809},
}

TY - CONF

JO - Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO
TI - FROM UML TOWARDS PETRI NETS TO SPECIFY AND VERIFY
SN - 972-8865-12-0
IS - 2184-2809
AU - Bouabana-Tebibel, T.
AU - Belmesk, M.
PY - 2004
SP - 249
EP - 256
DO - 10.5220/0001145802490256
PB - SciTePress