Sciweavers

161 search results - page 19 / 33
» Use of UML and Model Transformations for Workflow Process De...
Sort
View
ICWS
2009
IEEE
14 years 4 months ago
Wrap Scientific Applications as WSRF Grid Services Using gRAVI
— Web service models are increasingly being used in the Grid community as way to create distributed applications exposing data and/or applications through self describing interfa...
Kyle Chard, Wei Tan, Joshua Boverhof, Ravi K. Madd...
UML
2005
Springer
14 years 29 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
GI
2005
Springer
14 years 1 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
DBA
2004
140views Database» more  DBA 2004»
13 years 9 months ago
A Tool for Transforming Conceptual Schemas of Spatio-Temporal Databases with Multiple Representation
Nowadays, classical conceptual models (such as ER or UML) are used for designing database applications. These classical conceptual models usually come with associated CASE tools a...
Mohammed Minout, Christine Parent, Esteban Zim&aac...
AOSE
2005
Springer
14 years 1 months ago
Automating Model Transformations in Agent-Oriented Modelling
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
Anna Perini, Angelo Susi