With the advent of the wireless Internet, the client space has become heterogeneous in
terms of device capabilities. To cater to the needs of these devices in e-commerce …

In the field of safety-critical systems, manual reviews are important to ensure high-quality
software and to satisfy legal obligations. When applying model-based engineering …

This paper is concerned with compositional specification of services using UML 2
collaborations, activity and interaction diagrams. It addresses the problem of realizability …

This paper considers compositional specifications of services using UML 2 collaborations,
activity and interaction diagrams, and addresses the realizability problem for such …

This paper is concerned with the compositional specification of services using UML 2
collaborations, activity and interaction diagrams. It addresses the problem of realizability …

Abstract Model inspections are important to ensure high‐quality software and to satisfy legal
obligations in model‐based engineering processes. As model‐based specifications are …

Cyber-physical systems form collaborative networks dynamically at runtime. In the
collaboration of multiple systems, behavior emerges in the interplay of the collaborating …

Non–local choice property in Message Sequence Chart formalism is causing unwanted and
unspecified behavior in the implemented system. This work focuses on detecting non–local …

We focus on the realizability problem of Message Sequence Graphs (MSG), ie the problem
whether a given MSG specification is correctly distributable among parallel components …

Le langage de modélisation unifié UML est décrit comme un langage universel graphique
de modélisation objets qui est adopté par le standard object management group …