Sciweavers

4636 search results - page 195 / 928
» Modelling and Validation with VipTool
Sort
View
ER
2007
Springer
125views Database» more  ER 2007»
14 years 2 months ago
On the Correlation between Process Model Metrics and Errors
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
Jan Mendling, Gustaf Neumann, Wil M. P. van der Aa...
ICMT
2010
Springer
14 years 26 days ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
CAISE
2008
Springer
13 years 10 months ago
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
Pnina Soffer, Maya Kaner, Yair Wand
ASM
2000
ASM
14 years 12 days ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
WSC
2007
13 years 10 months ago
Simulation of continuous behavior using discrete tools: ORE conveyor transport
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
Marcelo Moretti Fioroni, Luiz Augusto Gago Franzes...