2050 search results - page 2 / 410 » A formal foundation for process modeling |
WSC
2004
13 years 7 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
ISPDC
2003
IEEE
13 years 11 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
EMISA
2006
Springer
13 years 9 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
IJSWIS
2007
13 years 5 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
FASE
2009
Springer
14 years 17 days ago
2009
Springer
