Sciweavers

6047 search results - page 1 / 1210
» Modeling with Extend
Sort
View
FMOODS
2007
13 years 11 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
WSC
1997
13 years 11 months ago
Using SiMPLE++ for Improved Modeling Efficiencies and Extending Model Life Cycles
SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
David R. Kalasky, Gerald A. Levasseur
CAISE
2008
Springer
13 years 11 months ago
Aligning Goal Models and Business Models - extended abstract
Birger Andersson, Maria Bergholtz, Ananda Edirisur...