1823 search results - page 72 / 365 » Formal specification: a roadmap |
167
click to vote
ISEMANTICS
2010
15 years 2 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
115
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
135
click to vote
CONTEXT
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
125
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
132
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...