Sciweavers

2963 search results - page 284 / 593
» On the Integration of Web Modeling Languages
Sort
View
WSC
2004
15 years 8 months ago
A Template-Based Conceptual Modeling Infrastructure for Simulation of Physical Security Systems
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
Ashu Guru, Paul A. Savory
MODELS
2007
Springer
16 years 24 days ago
Reconciling TGGs with QVT
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
Joel Greenyer, Ekkart Kindler
FMOODS
2007
15 years 8 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga
UML
1998
Springer
15 years 11 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
KI
2004
Springer
16 years 20 hour ago
A Pragmatics-First Approach to the Analysis and Generation of Dialogues
Integration of new utterances into context is a central task in any model for rational (human-machine) dialogues in natural language. In this paper, a pragmatics-first approach to...
Bernd Ludwig