Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Modeling long-running activities as nested sagas
Data Engineering
The representation of legal contracts
AI & Society - Special double issue on knowledge, elicitation, representation and application
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Support for B2B E-Contracting - The Process Perspective
BASYS '02 Proceedings of the IFIP TC5/WG5.3 Fifth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services: Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle
A Frame Work for Modeling Electronic Contracts
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Software Architecture for Workflow Management Systems
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
WISE: Business to Business E-Commerce
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
An e-contracting reference architecture
Journal of Systems and Software
Evaluation of inter-organizational business process solutions: A conceptual model-based approach
Information Systems Frontiers
Use of Ontologies as Representation Support of Workflows Oriented to Administrative Management
Journal of Network and Systems Management
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
Hi-index | 0.00 |
Business transactions are governed by legally established contracts. Contractual obligations are to be fulfilled by executing business processes of the involved parties. To enable this, contract terms and conditions need to be semantically mapped to process concepts and then analyzed for compliance with existing process models. To solve the problem, we propose a methodology that, using a layered contract ontology, deduces contract requirements into a high-level process description named Contract Workflow Model (CWM). By applying a set of transformation rules, the CWM is then compared for compliance with existing, executable process models. By the use of its concepts, the methodology enables comprehensive identification and evolution of requirements for interoperability of processes of the contracting parties.