On the semantics of UML/Marte Clock Constraints

Frédéric Mallet 1, * Charles André 1
* Auteur correspondant
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in their domain specific profiles. In the UML Profile for Modeling and Analysis of Real-Time and Embedded systems, we have defined a broadly expressive Time Model to provide a generic timed interpretation for UML models. Our clock constraint specification language supports the specification of systems with multiple clock domains. Starting with a priori independent clocks, we progressively compose them to get a family of possible executions. Our language supports both synchronous and asynchronous compositions, just like the synchronous language Signal, but also allows explicit non determinism. In this paper, we give a formal semantics to a core subset of MARTE clock constraint languages and we give an equivalent interpretation of this kernel in two other very different formal languages, Signal and Time Petri Nets.
Type de document :
Communication dans un congrès
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.301-312, 2009, <10.1109/ISORC.2009.27>
Liste complète des métadonnées

https://hal.inria.fr/inria-00383279
Contributeur : Frédéric Mallet <>
Soumis le : mardi 12 mai 2009 - 16:09:24
Dernière modification le : lundi 5 octobre 2015 - 16:57:09
Document(s) archivé(s) le : jeudi 10 juin 2010 - 23:04:02

Fichier

ISORC09a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Frédéric Mallet, Charles André. On the semantics of UML/Marte Clock Constraints. Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.301-312, 2009, <10.1109/ISORC.2009.27>. <inria-00383279>

Partager

Métriques

Consultations de
la notice

266

Téléchargements du document

154