A language/action perspective on the design of cooperative work (Reprint)
Computer-supported cooperative work: a book of readings
The action workflow approach to workflow management technology
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
An approach to authorization modeling in object-oriented database systems
Data & Knowledge Engineering
Deontic logic: a concise overview
Deontic logic in computer science
ACM Transactions on Information Systems (TOIS)
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Enterprise modeling with UML: designing successful software through business analysis
Enterprise modeling with UML: designing successful software through business analysis
Aris-Business Process Modeling
Aris-Business Process Modeling
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
An Extensible Business Communication Language
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Cross-Organizational Transaction Support for Virtual Enterprises
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Integrated Semantics for Information and Communication Systems
DS-6 Proceedings of the Sixth IFIP TC-2 Working Conference on Data Semantics: Database Applications Semantics
Virtualization of Organizations: Consequences for Workflow Modeling
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Intelligent Web services moving toward a framework to compose
Communications of the ACM - Service-oriented computing
Workflow analysis with communication norms
Data & Knowledge Engineering - Special issue: The language/action perspective
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
A case study of an inter-enterprise workflow-supported supply chain management system
Information and Management
From Contracts to E-Contracts: Modeling and Enactment
Information Technology and Management
Standards-based approaches to B2B workflow integration
Computers and Industrial Engineering - Special issue: Logistics and supply chain management
Document access control in organisational workflows
International Journal of Information and Computer Security
Contract E-Negotiation in Agricultural Supply Chains
International Journal of Electronic Commerce
A Contract-Based Architecture for Business Networks
International Journal of Electronic Commerce
Evaluation of inter-organizational business process solutions: A conceptual model-based approach
Information Systems Frontiers
Effects of Enterprise Interoperability on Integration Efforts in Supply Chains
International Journal of Electronic Commerce
Towards a methodology for deriving contract-compliant business processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Semantic service composition framework for multidomain ubiquitous computing applications
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Cross-organizational collaborative workflow mining from a multi-source log
Decision Support Systems
Hi-index | 0.00 |
Enterprises are lining up into virtual enterprises to meet the ever-increasing customer's demands in a more flexible and effective way than before. Hence, the business processes as well as supporting workflow systems need to be tightly embedded into streamlined, virtual value chains that can transcend organizational boundaries. It is generally recognized that the combination of workflow with business-object component technology provides the required solution. However, today's widespread business workflow modeling techniques suffer from an object bias, ignoring the most essential coordination vehicle in the enterprise: communication, and the resulting commitments. In this paper, we present contracts that encapsulate (formal) commitments laid down as a set of obligations to coordinate and control the interaction between business workflows. We use the business contract specification language XLBC to formally link the Component Definition Language (CDL) specification of business object-based workflow systems. XLBC is an extension of the Formal Language for Business Communication (FLBC) and a framework for the semantics of XLBC transactions is described. Finally, we indicate a feasible implementation architecture on the basis of an emerging internet-enabled business process architecture, ebXML and Trading Partner Agreements (TPAs).