Sciweavers

3387 search results - page 27 / 678
» Automating the Metamodeling Process
Sort
View
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 5 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
CAISE
2010
Springer
14 years 10 months ago
Towards Automated Inconsistency Handling in Design Models
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
Marcos Aurélio Almeida da Silva, Alix Mouge...
EWSA
2004
Springer
15 years 7 months ago
Towards an MDA-Based Development Methodology
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
Anastasius Gavras, Mariano Belaunde, Luís F...
UML
2000
Springer
15 years 5 months ago
A Radical Revision of UML's Role Concept
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
Friedrich Steimann
122
Voted
IHIS
2005
ACM
15 years 7 months ago
An architecture for the interoperability of workflow models
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlid...