298 search results - page 15 / 60 » A relational algebraic framework for models management |
DSVIS
1995
Springer
14 years 5 days ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
FOIKS
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
JLP
2006
13 years 8 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
MDAFA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...