A service level agreement language for dynamic electronic services
This paper proposes a novel language for Service Level Agreements (SLAs) for dynamic
and spontaneous electronic services. In a cross-organizational setting, it is important for …
and spontaneous electronic services. In a cross-organizational setting, it is important for …
Pro-active monitoring of electronic contracts
L Xu, MA Jeusfeld - … 15th International Conference, CAiSE 2003 Klagenfurt …, 2003 - Springer
Contracts between multiple business partners play an increasing role in a global economy
where activities along the value chain are executed by independent yet co-operating …
where activities along the value chain are executed by independent yet co-operating …
[PDF][PDF] Contract formalisation and modular implementation of domain-specific languages
T Hvitved - 2011 - Citeseer
This dissertation encompasses the topics contract formalisation, domainspecific languages
implementation, and enterprise resource planning systems. The dissertation is a collection …
implementation, and enterprise resource planning systems. The dissertation is a collection …
[PDF][PDF] Future logistics-challenges, requirements and solutions for logistics networks
The importance of logistics has changed enormously in the last few decades. While logistics
was formerly one of the core functions of most companies, logistics or at least parts of their …
was formerly one of the core functions of most companies, logistics or at least parts of their …
A trace-based model for multiparty contracts
In this article we present a model for multiparty contracts in which contract conformance is
defined abstractly as a property on traces. A key feature of our model is blame assignment …
defined abstractly as a property on traces. A key feature of our model is blame assignment …
A multi-party contract model
L Xu - ACM SIGecom Exchanges, 2004 - dl.acm.org
Contracts between multiple business parties play an increasingly important role in the global
economy where activities along the value chain are executed by independent, yet co …
economy where activities along the value chain are executed by independent, yet co …
[图书][B] Monitoring multi-party contracts for e-business
L Xu - 2004 - books.google.com
Contracts between multiple business partners play an increasingly important role in a global
economy where activities along the value chain are executed by independent, yet co …
economy where activities along the value chain are executed by independent, yet co …
[PDF][PDF] A survey of formal languages for contracts
T Hvitved - Formal Languages and Analysis of Contract-Oriented …, 2010 - core.ac.uk
In this short paper we present the current status on formal languages and models for
contracts. By a formal model is meant an unambiguous and rigorous representation of …
contracts. By a formal model is meant an unambiguous and rigorous representation of …
Workflow view driven cross-organizational interoperability in a web-service environment
In an E-service environment, workflow involves not only a single organization but also a
number of business partners. Therefore, workflow interoperability in such an environment is …
number of business partners. Therefore, workflow interoperability in such an environment is …
On τ-, μ-, π-, and ε-Contracting
The use of electronic contracts is emerging as a way to improve the efficiency of contracting
processes. Electronic contracts are, however, often used as a direct replacement for …
processes. Electronic contracts are, however, often used as a direct replacement for …