204views Hardware» more  ECBS 2011»
12 years 2 months ago
Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
Matthias Riebisch, Stephan Bode, Qurat-ul-ann Faro...
176views more  SOSYM 2010»
13 years 24 days ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
146views more  JUCS 2002»
13 years 2 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
119views more  JUCS 2000»
13 years 2 months ago
Use of E-LOTOS in Adding Formality to UML
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
Robert G. Clark, Ana M. D. Moreira
85views more  JOT 2006»
13 years 2 months ago
The Tao of Modeling Spaces
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
Dragan Djuric, Dragan Gasevic, Vladan Devedzic
130views more  ENTCS 2006»
13 years 2 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal
136views Hardware» more  PTS 2003»
13 years 3 months ago
The UML 2.0 Testing Profile and Its Relation to TTCN-3
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, A...
13 years 3 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
226views Hardware» more  ECMDAFA 2006»
13 years 4 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
13 years 4 months ago
Applying MDA Development Approach to a Hydrological Project
This paper describes the application of an MDA development approach to the Project of Amazon Integration and Cooperation for Modernization of Hydrological Monitoring. This project...
Breno Lisi Romano, Glaucia Braga e Silva, Adilson ...