Sciweavers

320 search results - page 3 / 64
» Automating Model Transformations in Agent-Oriented Modelling
Sort
View
ATAL
2007
Springer
14 years 2 months ago
A design framework for generating BDI-agents from goal models
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
Loris Penserini, Anna Perini, Angelo Susi, Mirko M...
WOSP
2005
ACM
14 years 2 months ago
A model transformation framework for the automated building of performance models from UML models
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
Andrea D'Ambrogio
ARCS
2006
Springer
14 years 8 days ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
ICMT
2011
Springer
12 years 12 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
CL
2000
Springer
14 years 26 days ago
Perfect Model Checking via Unfold/Fold Transformations
Alberto Pettorossi, Maurizio Proietti