532 search results - page 43 / 107 » The UML as a Formal Modeling Notation |
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
JUCS
2010
13 years 2 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
RE
2001
Springer
14 years 6 days ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
JOT
2010
13 years 6 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...