Sciweavers

2050 search results - page 126 / 410
» A formal foundation for process modeling
Sort
View
KCAP
2005
ACM
15 years 12 months ago
An ontological approach to the construction of problem-solving models
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
Sabine Bruaux, Gilles Kassel, Gilles Morel
GI
2009
Springer
15 years 11 months ago
Constraint Checking for Business Process Management
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
Wolfgang Runte, Marwane El Kharbili
DBPL
2007
Springer
75views Database» more  DBPL 2007»
16 years 18 days ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
WWW
2009
ACM
16 years 7 months ago
Semantic wiki aided business process specification
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...
Toufeeq Hussain, Rajesh Balakrishnan, Amar Viswana...
CORR
2004
Springer
166views Education» more  CORR 2004»
15 years 6 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand