Sciweavers

3921 search results - page 230 / 785
» Transforming Models with ATL
Sort
View
FASE
2009
Springer
16 years 1 months ago
Scalable Analysis of Scalable Systems
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
Allan Clark, Stephen Gilmore, Mirco Tribastone
ER
2009
Springer
119views Database» more  ER 2009»
16 years 1 months ago
Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
ECBS
1999
IEEE
93views Hardware» more  ECBS 1999»
15 years 10 months ago
Structured Specification of Model Interpreters
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
Gabor Karsai
APCCM
2007
15 years 8 months ago
XSEM - A Conceptual Model for XML
We propose a new conceptual model for XML data called XSEM as a combination of several approaches in the area of the conceptual modeling for XML. The model divides the conceptual ...
Martin Necasky
IFIP
2007
Springer
16 years 19 days ago
Towards UML-Intensive Framework for Model-Driven Development
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
Darius Silingas, Ruslanas Vitiutinas