Sciweavers

484 search results - page 71 / 97
» Semantics of Metamodels in UML
Sort
View
WSC
2004
13 years 11 months ago
Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
Hans Vangheluwe, Juan de Lara
UML
2005
Springer
14 years 3 months ago
Transforming Models with ATL
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
Frédéric Jouault, Ivan Kurtev
EDO
2000
Springer
14 years 1 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
ECSA
2008
Springer
13 years 11 months ago
Modeling Architectural Patterns' Behavior Using Architectural Primitives
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
Ahmad Waqas Kamal, Paris Avgeriou
WSPI
2004
13 years 11 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...