ArtistDesign NoE

UML - Foundation for an Executable UML

Bruno Bouyssounouse — 2006-07-10T16:02:34Z

Didier Vojtisek is research engineer at INRIA. He is mainly involved in the development of the compiler and samples of transformations.

Name of the Standard Executable UML Foundation

Expected Next Major Release Date The standard should be available for late 2006

Technical Area(s) which it Addresses I mainly addresses the "Modelling and Components" cluster and probably will also be useful in "Testing and Verification" and "Execution Platforms" clusters.

Short Description of the Standard The objective of this standard is to enable a chain of tools that support the construction, verification, translation, and execution of computationally complete executable models. For the tool chain to link together, the interchanged models must conform to the same meta-model and semantics. This standard will define a computationally complete and compact subset of UML 2.0 to be known as "Executable UML Foundation"

Technical Gains By pointing out all the variation points that are in UML2.0, this standard will help specifying and testing models at the various phases of a development process

Previous Revisions/versions on which it is based N/A

Name of the Relevant Standardisation Body OMG (Object Management Group)

Main Leader or Contact Person within this Standardisation Body, and his/her role no main leader defined yet for this workgroup

Industrial Domains Impacted Industrial domains that use executable models that are expressed or that can be translated into this new Executable UML standard will benefit from it. In particular the domains that already use UML2.0 to specify their models.

Industrial Gains This standard will enable the collaboration between tools that usually cannot communicate with each other. The end user will be able to build a complete model driven engineering process.

Name of the ARTIST2 team Didier Vojtisek - INRIA

Responsibilities in the Standard Definition Our team will collaborate to define the standard and implement a prototype.

Main other ARTIST Participants CEA is one of the main participant who have insisted to define this standard Thales

Main other non-ARTIST Participants As this is the very early phases of the standard (no submission yet) we can only cite the participants we are aware of: Alcatel, CARE Technologies S.A./SOSY Inc., Data Access, France Telecom, I-Logix, Kennedy Carter, Lockheed Martin, Mentor Graphics Corporation, Pathfinder Solutions, Softeam, Telelogic AB

MOF 2.0 QVT (Query / Views / Transformations)

Bruno Bouyssounouse — 2006-07-10T14:31:25Z

This OMG standard addresses a technology neutral part of MOF and pertains to: Queries on models, Views on metamodels and Transformations of models. It aims to define a language with an unambiguous semantic to express those queries, views and transformations on models.

Expected next major release date ??

Technical gains This standard will ease writing of the transformations that are needed in order to implement MDD (Model Driven Development), MDE (Model Driven Engineering) or MDA (Model Driven Architecture) approaches.

Previous revisions/versions on which it is based n/a

Name of the Relevant Standardisation Body OMG (Object Management Group)

Main leader or contact person within this standardisation body, and his/her role Mariano Belaunde (France Telecom): chairman for the QVT workgroup.

Industrial Domains Impacted All the domains that use a MDD, MDE, MDA approaches should benefit from using a standard language to express their transformations.

Industrial Gains It brings interoperability between the various implementation of transformations and Tool-independence. Thus, the industry will be able to capitalize on reusable transformations.

Name of the Contact in your Team Didier Vojtisek

Responsibilities in the Standard Definition Our team was involved from the beginning of the process and we were coauthor of one the first submission. Since then, we actively follow this standard in order to produce the final submission. We also provided various collaboration tools in order to help the standardisation process.

Main other ARTIST Participants THALES: writer of some part of the initial submission TNI-Valiosys: writer of some part of the initial submission $

Main other non-ARTIST Participants France Telecom, writer of some part of the initial submission and currently leader for the final revised submission Many other participants in this submission that are still more or less active in the process now. DSTC, International Business Machines, Compuware Corporation, Sun Microsystems, Codagen Technologies Corporation, Softeam, TCS, Kennedy Carter, Interactive Objects Software, Alcatel

MEMOCODE 2007

Ulrike Woern — 2006-07-05T14:49:53Z

ACM-IEEE International Conference on Formal Methods and Models for Codesign.

The goal of MEMOCODE'07, the fifth in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems to explore ways in which future design methods can benefit from new results on formal methods.

Access it online!

UML 2.0

Ulrike Woern — 2006-07-04T16:07:00Z

The Unified Modeling Language (UML) is a non-proprietary, object modeling and specification language used in software engineering. UML is a general-purpose modeling language that includes a standardized graphical notation that may be used to create an abstract model of a system, sometimes referred to as the UML model.

UML may be considered as an extensible modeling language since it offers a profile mechanism to customize the language.

If a concept you need is not present in the base language, you may introduce it by defining a stereotype. The semantics of extension by profiles has been improved with the UML 2.0 major revision.