eContractual choreography-language properties towards cross-organizational business collaboration
© Norta et al.; licensee Springer. 2015
Received: 30 October 2014
Accepted: 4 March 2015
Published: 24 April 2015
Meaningfully automating sociotechnical business collaboration promises efficiency-, effectiveness-, and quality increases for realizing next-generation decentralized autonomous organizations. For automating business-process aware cross-organizational operations, the development of existing choreography languages is technology driven and focuses less on sociotechnical suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. This gap our suitability- and expressiveness exploration fills by means of a cross-organizational collaboration ontology that we map as a proof-of-concept evaluation to the eSourcing Markup Language (eSML). The latter we test in a feasibility case study to meaningfully support the automation of business collaboration. The developed eSourcing ontology and eSML is replicable for exploring strengths and weaknesses of other choreography languages.
KeywordsSmart contracting Choreography eSourcing Suitability Expressiveness Cross-organizational B2B Business process Sociotechnical Decentralized autonomous organizations
With the emergence of new automation paradigms such as service-oriented computing (SOC) and cloud computing (CC), the way companies collaborate with each other experiences significant changes. SOC  comprises the creation of automation logic in the form of web services. In CC , access to web-based applications, web services, and IT infrastructure as a service happens through the Internet. Web services  are an important vehicle for enabling organizations to cooperate with each other by cross-organizationally linking business processes [4-7] with choreography languages for the purpose of electronic outsourcing. More recently, a trend-reinforcement occurs with so-called decentralized autonomous organizations and -corporations that are powered by smart contracts [8,9] to form agreements with people via the block chain . The ontological concepts and properties for the design of smart-contracting systems  we derive from legal principles, economic theory, and theories of reliable and secure protocols. The smart contract itself is a computerized transaction protocol  that executes the terms of a contract. The blockchain is a distributed database for independently verifying the chain of ownership of artefacts in hash values that result from cryptographic digests .
With respect to existing choreography languages, the most notable are versions of the Business Process Execution Language such as AbstractBPEL  and BPEL4Chor , Web Services Choreography Description Language (WS-CDL) , Business Process Modeling Notation (BPMN) [17,18] Let’s Dance , ebXML BPSS  and more recently, the Business Choreography Language (BCL) . However, not only existing choreography languages but also other XML-based languages for SOC lack adoption by industry. A reason is the approach for language development that does not take into account sociotechnical suitability and expressiveness deficiencies that recognizes the interaction between people in organizations and technology in workplaces. Sociotechnical systems comprise theory about the social aspects of people and society and technical aspects of organizational structure and processes. Suitability means that choreography languages comprise concepts and properties to allow the formulation of real-world business-collaboration scenarios in many perspectives. Expressiveness means the constructs of a choreography language have semantic clarity for ensuring uniform enactment behaviour by different business process engines. Additionally, contractual agreements are the foundation of business collaboration. This paper fills the gap by answering the research question how to systematically develop a language for cross-organizational and contract-based collaboration specifications. From there we deduce several sub-questions. What is the collaboration context and model the specification language must cater for? What are the main suitability- and expressiveness concepts and -properties? The means to answer the research questions are first, a so-called eSourcing ontology  that comprises the concepts and properties we generate from the suitability and expressiveness study. The eSourcing ontology development with the tool Protégé  allows for an application of the HermiT OWL reasoner  to check for the ontology consistency, identify subsumption relationships between classes, and so on. Secondly, as a means of feasibility evaluation, the eSourcing ontology we translate into the eSourcing Markup Language eSML for which we give the schema definition  and additional documentation online. The core difference in the approach to developing eSML is the existence of process views  for respective collaborating organizations for establishing a contractual consensus during the collaboration-setup phase. These process views are subsets of larger in-house processes of which extensions remain opaque to the counterparty to protect privacy, business secrets, and so on.
The objective is to enable contractual flexibility as significant changes in integral business processes must be enabled by a high degree of automation. Traditionally, if something will happen in the future, then a contract must include rules that regulate these particular instances. Usually, most of regulation is unnecessary since presupposed events never occur. Therefore, automation requires taking a deductive approach towards contracting by exploring relevant concepts with a focus on the basic contractual elements only. It is sufficient to determine only the concepts and properties without which a transaction cannot be executed . In general, basic contractual elements comprise of parties, offer, acceptance, rights and obligations. Furthermore, the reduction of contractual elements helps to overcome difficult legal issues such as what law to apply, the legal context, how to determine rights and obligations. The common source of reference to the basic contractual elements is not any national law, but lex mercatoria  and supranational model rules, e.g., PECLa, PICCb, DCFRc, CISGd, Incotermse.
The structure of the paper follows the design-science method [28,29] for the development of eSML and is as follows. Section 2 presents a business-collaboration model that evolves from case studies in the research project called CrossWork [30,31], namely eSourcing [4,7,32,33]. In Section 3, we further explore the collaboration model in a pattern-based way  with the objective of generating the essential concepts for eSML to gain business-collaboration suitability. Next, assuming the control-flow perspective is dominant for enacting business collaborations, we present in Section 4 the expressiveness-assurance in eSML. Section 5 presents in a feasibility evaluation the resulting structure of eSML and shows examples, followed by discussing a ”proof-of-construction” application system. Section 6 gives related work and finally, Section 7 concludes this paper and discusses future work.
2 Business collaboration model
In the EU research project CrossWork [30,31], observing business collaborations of industry partners reveals characteristic features. An original equipment manufacturer (OEM) develops value chains in an in-house business process according to different perspectives, e.g., control flow of tasks, information flow, personnel management, allocation of production resources, and so on. The CrossWork case studies  reveal that the basis for business collaboration between organizations are contracts. The basis has implications for the suitability exploration in the sequel. Next, Section 2.1 explains the orthogonal collaboration dimensions of client/server versus peer-to-peer (P2P). Section 2.2 discusses the structural properties of the client/server collaboration model. Finally, Section 2.3 shows how the collaboration model with the same structural properties also enables P2P-collaboration when the roles of the collaboration-elements change.
2.1 Collaboration dimensions
The horizontal ellipses in Figure 1 denote the client/server-integration of outsourced in-house process parts to lower-level clients who provide services to the vertically adjacent higher tier of a supply chain . The outsourced business processes are refined with additional process steps by the respective suppliers. The refinements remain opaque to the service consumer and the supplier only has awareness of the OEM’s outsourced respective process but the remaining in-house process remains opaque. For client/server-integration, several projects investigate enterprise interoperability [34-36].
Vertical ellipses in Figure 1, depict a P2P-collaboration within a cluster of small and medium sized enterprises (SME). If several SMEs form a composed service in a P2P way , they together turn into a supplier for a higher-level service consumer. In this paper, we consider the vertical collaboration between organizations by the means of service choreography for the subsequent suitability and expressiveness exploration.
2.2 Client/server-collaboration model
The very top and bottom of Figure 2, show the internal levels of the service consumer and -provider respectively where processes are directly enactable by legacy systems, which caters towards a heterogeneous system environment, e.g., by workflow management systems. Furthermore, processes of the OEM and service providers on a conceptual level are independent from infrastructure and collaboration specifics. In the center of Figure 2, the external level stretches across the respective domains of eSourcing parties where structural process matching takes place and for which eSML is applicable. Either collaborating counterparties project only interfaces, or parts, or all of the respective conceptual-level processes to the external level for performing business-process matching [4,7]. A contractual consensus between collaborating parties comes into existence when the projected processes are matched externally, i.e., when they are equal. Not projected process parts remain opaque to the collaborating counterparts.
More recently, research in  demonstrates with BPMN and BPEL the feasibility of this approach with industry standards. The eSourcing model in Figure 2 shows we use Petri-net formalism for exploring structural properties . The dashed monitoring arcs  in Figure 2 connect the conceptual business processes via the external level into a configuration. In Section 4, we expand on the structural properties of eSourcing configurations.
2.3 P2P-collaboration model
In comparison to the master/client-collaboration of Figure 2, the in-house process of a service consumer is a so-called business-network model (BNM)  in the P2P-case. A BNM captures choreographies that are relevant for a business scenario. A BNM contains legally valid template contracts that are service types with assigned roles. Together with the BNM, the service types with their roles are available in a collaboration hub that houses business processes as a service (BPaaS-HUB)  in the form of subset process views . The latter addresses the need to semi-automatically find collaboration parties and learn about their identity, services, and reputation. A BPaaS-HUB enables speedy business-partner discovery and support for on-the-fly background checking with a matching of services.
On the external layer of Figure 2, now service offers match with service types from the BNM identically to the contractual sphere of collaborating parties in Figure 2. Additionally, a collaborating partner must match into the role specifics associated with a respective service type. The matching must follow the same structural rules as expressed in Section 2. Likewise, the local services of the service providers in Figure 2 are behavioural sub-classes to their corresponding service offers the same way as the provider’s contractual sphere relates to the provider sphere. In the sequel, we discuss the structural properties such collaboration configurations must adhere to.
Next, we explore the required set of concepts and properties for specifying a contractual electronic choreography-specification language.
3 Ontological suitability exploration
There are two angles for approaching the suitability exploration. First, in Section 3.1 we explore cross-organizational collaboration from the paradigm that contracts are the foundation. This is the differentiating approach to choreography development that we ontologically explore by generating the HermiT-OWL reasoner  checked eSourcing ontology first that we translate as a means of feasibility evaluation into eSML secondarily. For downloading, we provide links in Section 1. In Section 3.2, a pattern-based exploration further details the contractual collaboration paradigm that are again input for the eSourcing ontology- and eSML development.
3.1 eContract-based exploration
For ensuring that the eSourcing ontology and the subsequently deduced eSML comprises sociotechnial concepts to allow the formulation of real-world business-collaboration in relevant perspectives like control-flow, data-flow, resources and so on, the case-study findings culminating in the eSourcing model of Figure 2, require more exploration. Taking pre-existing work about contract automation  into account, we extend the set of concepts and properties for the eSourcing ontology and eSML to achieve suitability in accordance with Section 2 where we deduce features from the business collaboration model.
The eSourcing ontology we base on a smart contracting foundation  namely the XML-based language ECML (Electronic Contracting Markup Language) . Thereby, the latter is also incorporated into eSML that we use for the feasibility evaluation in the sequel. A smart contract is a legally enforceable agreement in which two or more parties commit to certain obligations in return for certain rights [45,46]. Contracts are instruments for organizing business collaborations. Smart contracting aims at using information technologies to significantly improve the efficiency and effectiveness of paper contracting, allowing companies to support newly emerging business paradigms, while still being legally protected.
Although ECML permits business-process definitions, it lacks a clear collaboration-model support as proposed by eSourcing. Inheriting concepts from ECML, at the highest abstraction level, a contract in the eSourcing ontology and eSML answers three conceptual questions i.e., the Who, Where, and What question for which we refer the reader to  for further details.
3.1.1 3.1.1 The Who concept
In a contract, several third parties termed mediators may optionally be part of an electronic contract. Mediators represented by class mediator participate in the enactment of an eSourcing configuration without statements about rights/obligations. Consequently, mediators do not have to sign the eContract. If their relations definition with the parties is legally binding, the mediators become a party in the same, or in a separate contract that states their rights and obligations. For example, a mediator verifies whether an eSourcing configuration that is part of a contract terminates successfully from a control-flow point of view. In order to safeguard business details from each other, the contracting parties are not allowed to check such correct termination themselves without disclosing their business secrets to each other.
Contracting parties and optional numbers of mediators are in a relationship with several other classes. The company_data comprises, e.g., the name of a contracting party or mediator, the type of legal organization, and so on. The company_contact_data refers to the geographic location of an eSourcing party to uniquely identify according to legal requirements a contracting party, or a mediator.
The class resource_section is the root of the resource perspective comprising a contracting party, or a mediator with optionally attached resource definitions. However, the latter is superfluous unless a mediator is part of commercial exchanges. Resources are actors and non-actors of which the latter is either consumable, or non-consumable.
The classes company_data and company_contact_data are subclasses of class only_vars_section that contains variables and so-called process snippets. The class var_section is a connection to the data-flow perspective that includes company description, trade registration number, VAT registration number, address of registration, etc. The class snippet_section references so-called contract snippets that are attachable to particular contract definitions, e.g., to attach general terms and conditions. We refer to  for details about the resource perspective that is part of the Who-concept.
3.1.2 3.1.2 The Where concept
All three classes named business_context_provisions, legal_context_provisions, and other_context_provisions are subclasses of the grouping class named all_section. It references the classes process_section, var_section, rule_section, and snippet_section.
3.1.3 3.1.3 The What concept
In a case of product exchange, the product description employs data constructs. In a case of service exchange, the service description combines data-flows and process constructs. The corresponding financial reward for the received value (in non-barter exchanges) uses the same constructs as a service description subsection. The value-exchange provisions subsection requires the use of rule and process-specification constructs. Examples for exchange provisions are rules for determining how late payment needs to be handled, how cancellations are dealt with, or definitions for calculating interest adjustments in payments.
The Who-, What-, and Where concepts respectively correspond to the concepts of agents, the knowledge by agents, and the agents’ environment respectively. We understand agents as autonomous entities situated in an environment that perceive events occurring in the environment, reason based on knowledge, and act on the basis of perceived events. The concept of agents and related concepts are crucial in negotiating and achieving contracts within sociotechnical systems as contracts can only occur between autonomous entities that should be conceptually understood as agents. We refer to  for a detailed discussion.
The concept of agents and related concepts are particularly relevant for the P2P-collaboration model within a cluster of SMEs overviewed in Section 2.3 as SMEs are autonomous entities. According to the P2P-collaboration model, several SMEs form a composed service in a P2P way and this way jointly become a supplier for a higher-level service consumer. The P2P-collaboration model between autonomous SMEs is partially, or fully automated  by software agents that negotiate and conclude contracts on behalf of the enterprises. The software agents need the eSML for representing the contracts.
Next, we further explore the suitability features of electronic contracting in using patterns that are conceptual and on the outset technology-agnostic.
3.2 Pattern-based exploration
The chosen method for continued suitability exploration of additional business-collaboration concepts is as follows. To translate the eSourcing model of Figure 2 into a suitable ontology and subsequently, a choreography language, we deduce several feature dimensions in the form of axes that create a multi-dimensional, logical space. On every axis, dimension values detail the eSourcing feature an axis represents. By taking a subset of axes, we create a logical space that represents a particular eSourcing perspective. Consequently, the axes and their contained values serve as a taxonomy for ordering and relating to each other a set of perspective-relevant patterns. Note, we present a high-level overview of the pattern space and refer to  for the actual pattern specifications.
The cube dimensions and values of Figure 7, are as follows. Contractual visibility focuses on the amount of business-process nodes a collaborating party projects to an external level to be visible for the counterparty. First, a white-box value means all nodes of a process part to be sourced are externalized. In case of a black-box value, only the interfaces of that process part are projected. Finally, the gray-box value means, the interfaces and a subset of the nodes and arcs of the externally sourced process part are projected.
Conjoinment focuses on the exchange of business information between the domains of the collaborating parties. Consequently, the business processes within the domains contain equal conjoinment constructs. One-directional conjoining implies that there is one out-, or in-directed information exchange between the domains of a service consumer and provider. Bi-directional conjoining is initiated by an out-directed information exchange to the domain of the collaborating counterpart who returns the communication exchange immediately to the initiating party.
Monitorability covers the way how nodes in the consumer’s and provider’s conceptual-level business processes link to each other via constructs with the properties termed messaging and polling. The nodes of the externalized process part connect to nodes in the corresponding service-provider process. The degree of monitorability of service provisioning for a service consumer increases by the amount of node linkages. At a minimum, all interface nodes of both domain processes need to be linked with each other. Additional nodes may be linked that belong to the respective business processes of service consumers and service providers. We refer to  for detailed pattern specifications and to  for collaborating counterparty-interaction patterns during setup.
The remainder of this section shows concepts in models that are instrumental for supporting the logical pattern space.
3.2.1 3.2.1 Data-package model
It must be possible to reference data by other electronic contracting elements. It is essential for safeguarding that data have specific types to allow for assured contract processing. Data types set basic constraints on the allowed values for a data element. Two classes of required data types we identify, namely standard- and special data types. The identified data types we adopt from ECML and in  further details and examples can be found.
3.2.2 3.2.2 Process model
The class life_cycle_definition is optionally multiple times part of process_section and instrumental for defining life-cycle stages of entire processes, or merely active nodes that are part of respective processes. Such definitions are part of consumer- and provider processes. The classes process_lifecycle and active_node_lifecycle are subclasses of lifecycle_details. The latter class is part of the eSourcing perspective that we explain in the sequel.
After specifying the lifecycles of respective processes and their contained active nodes, labels that express equal tasks have different expressions. Thus, class active_node_label_mapping is instrumental to define such semantic equivalence that is important for verifying projection inheritance of a consumer sphere and the refinement sphere of a service provider. Class lifecycle_mapping allows to map life-cycle stages of different processes and active nodes belonging to the domains of a service consumer and -provider. The mapping expresses such labels with different names are semantically equal.
3.2.3 3.2.3 Lifecycle-definition model
There exists a mutual reference between class lifecycle_elements and the extracted lifecycle control-flow classes. Concretely, states are either of the type nesting_ state, or atomic_state. For the first class, on a lower level of a nesting state, further lifecycle elements exist, including another instance of nesting_state. On the other hand, class atomic_state is not further refinable on a lower level. Finally, transitions propel the lifecycle of a process, or active node from one state to the next.
3.2.4 3.2.4 Monitorability model
By defining monitoring links between nodes of respective eSourcing domains, it is possible for one contracting party to observe the progress of process enactment of the eSourcing counterpart. Usually the monitoring direction is from service consumer to provider. However, it is also possible that monitorability constructs of different directions are used in a P2P-collaboration.
The monitorability classes of Figure 11 fall into the categories polling-, or messaging constructs. In polling, the consumer frequently requests the status of the linked node in the domain of the service provider. Upon perceived enactment change, the linked node in the domain of the service consumer follows the change. Polling an active node with a life-cycle follows a mirroring of state changes, or transition firings. Polling a transition on a process level returns information about the firing of a linked node. The class enactment_propagation is for signalling the enactment of an eSourcing sphere starts in the domain of the service consumer. This enactment commencement propagates to the service provider. Messaging classes link nodes from the process enacting domain to the observing counterparty. Thus, for linking two transitions in opposing eSourcing domains, the firing message triggers behaviour mirroring by the linked node. For linked tasks, lifecycle-state and -transition changes are events the task in the counterparty domain follows. Finally, class enactment_termination is for polling the completion of a service provision, which the service consumer mirrors so that the remainder of the consumer’s in-house process commences with enactment.
3.2.5 3.2.5 Transition-type model
The class named data in Figure 12 is central for the workflow-data perspective. An instance of data optionally references one or many data-packages that contain different variables and/or document definitions. If workflow_visibility_range in data is true, a package is visible in all cases of a process template for all active nodes contained. If case_visibility is true, a data package is visible for all cases.
The data_flow_direction specifies the passing of data elements from a block-task instance to the corresponding sub-workflow that defines its implementation. When no further explicit assignment definition exists, no data passing happens since data has a global status. Thus, all lower-level elements are automatically aware of the data package. If additional assignment tags exist then edata passing uses either a dedicated data channel, or an integrated control- and data channel, i.e., in the latter case data flows along control flow.
The property control_flow_passing is instrumental for supporting data_flow_direction. Upon defining data_types on a block level, setting control_flow_passing to true implies the use of an integrated control- and data channel. As a result, data flows from one node to the next along control flow.
By using sub_level_visibility in combination with a data_package_ref definition for a control-flow block element, we specify to which lower-level degree the data_package_ref is visible. For example, if a block has 5 lower levels of routing elements and level 4 we define in a sub_level_visibility tag then elements located on the lowest level do not have visibility of the data package, i.e., the 5th level below the definition level of the specific data package.
In Figure 12, transition_type references other classes that are part of the workflow-data perspective. The reference data_existence_precondition is to check the presence of a variable as a prerequisite for the enactment of an active node and data_existence_postcondition defines the presence of a variable as a postcondition that must hold after the completed enactment of an active node. The superclass data_existence_condition_type comprises properties for defining which variable in a package must exist.
Finally, the classes data_value_precondition and data_value_postcondition define pre- and postconditions for the enactment of active nodes. However, differently to the case above where variable existence is the criteria, here the variables must have a particular value. Therefore, the superclass data_value_condition_type contains a property for checking the value of a variable.
3.2.6 3.2.6 Data model
With case_visibility_range, we specify the set of cases where a data package is equally visible. Class passing_destination supports passing data packages between tasks. Class passing_destination is instrumental for two different scenarios. When data_type definition is on a block level, then explicit data passing from a block level to a contained lower-level element happens with specification passing_destination. Furthermore, a passing_destination specification assigns task-level data packages explicitly to the higher level, e.g., a block. Instead of passing a data package per se, destination_package_mapping and source_package_mapping map parts of a data package in one process node onto properties of another data package at some other location.
In Figure 13, passing_type is a superclass of passing_origin and passing_destination. Thus, depending on the visibility level for destination passing, the properties in passing_type are for setting detailed definitions in the subclasses passing_origin and passing_destination. Identifying the referenced classes aim_task and aim_case gives several options. For example, several instances of a task exist within a case, or an eSourcing configuration is equally instantiated several times. Thus, the superclass instance_type identifies data visibility for either all instances, or a subset of either tasks, or cases.
Finally, class package_mapping_type in Figure 13 serves as a superclass of destination_package_mapping and source_package_mapping. The superclass contains a property for targeting a data package for mapping variables onto another package. During that mapping, a transformation function is available that employs package_mapping_type references class variable _mapping. Next, we address semantic expressiveness assurance of electronic contracting.
4 Expressiveness exploration
The eSourcing example in Figure 2 uses labelled Petri nets [48,49]. The special type of Petri nets used for the conceptual levels of resourced, namely workflow nets (WF-nets) , has one unique passive input node and one unique passive output node. Furthermore, all other active and passive nodes in a WF-net contribute to its processing. WF-nets carry the property of soundness [51,52], which informally states after the completion of a net, only one token must remain in the unique passive output node and all other passive nodes must be empty. WF-nets present an opportunity to verify the soundness before enactment of an overall process for ensuring a smooth enactment, e.g. with the powerful tool Woflan .
Starting with the domain of the service consumer in Figure 2, an in-house process shows on the conceptual level a WF-net. The in-house process contains a subnet termed a consumer sphere that is visualized with a grey ellipse. On the border of the consumer sphere, labelled passive nodes are interface places. Only one interface place is i-labelled and only one is o-labelled. The other interface places are either in or out-labelled to denote an exchange direction of business-critical information between the in-house process and its contained consumer sphere. Furthermore, the labelling implies whether an interface place has an input arc or an output arc in the sphere. If an interface place is i-, or in-labelled, it has one output arc to an active node in the sphere. If an interface place is o-, or out-labelled, it has one input arc from an active node in the sphere.
The in-house process is mapped to the internal level of Figure 2 onto legacy systems. A service provider enacts the consumer sphere and therefore projected to the external level to become the consumer contractual sphere. From the opposite eSourcing domain a, complementary provider contractual sphere is projected to the external level. Since the respective contractual spheres in Figure 2 are isomorph, a consensus is given between the eSourcing parties, which is the prerequisite for a contract .
The provider contractual sphere is complemented by a provider sphere on the conceptual level. Compared to the provider contractual sphere, additional nodes refine the provider sphere. In Figure 2, such refinement we depict by unlabelled active nodes in the provider sphere that do not exist in the provider contractual sphere. Hence, the refinement remains opaque for the collaborating counterpart. If the isomorph external-level processes are connected graphs, the refinement must be in accordance with projection inheritance  that is informally defined as follows. If it is not possible to distinguish the behaviours of processes x and y when executing arbitrary active nodes of x, but when only the effects of active nodes that are also present in y are considered, then x is a subclass of y. Thus, process x inherits the projection of the process definition y while process x conforms to the dynamic behaviour of its superclass by hiding active nodes new in x. Furthermore, such processes in an inheritance relation always have the same termination options. Note that Woflan  is also instrumental for verifying projection inheritance.
For relating the consumer sphere, the respective contractual spheres, and the provider sphere, the obligatory requirement of well-directedness of an eSourcing configuration must be fulfilled. This requirement focusses on the interface places of the spheres, which are part of exchange channels between spheres and the remaining in-house process. An eSourcing configuration is well-directed when the interface places of the consumer sphere, the respective contractual spheres of the service consumer and provider, and the provider sphere are equal in number and labelling.
An eSourcing configuration is formally mapped to so called bilateral workflow nets  so that a collapsing procedure is applicable for checking the correct termination on an interorganizational level. On the top right side of Figure 2, the in-house process and the provider sphere fulfill the well-directedness requirement. The bottom of Figure 2 shows the collapsed net with a removed consumer sphere replaced with the provider sphere in the in-house process. As a result, the collapsed net must be a sound WF-net. If the projections to the external level result in isomorph contractual spheres that are connected graphs, the collapsed net must be a subclass net of the consumer in-house process according to projection inheritance. In any case, the overall process resulting from the collapsing procedure of an eSourcing configuration must always terminate correctly, i.e., be a sound WF-net.
Next, we discuss the practical application of the eContracting approach.
5 Feasibility evaluation
For the feasibility study, we translate the concepts and properties of the HermiT-reasoner  verified eSourcing ontology into a machine-readable language eSML for which Section 1 comprises footnote hyperlinks to the ontology and the website with the schema definition.
For evaluating eSML, we consider a business case from the automobile industry. Briefly and related to Figure 1, in the automobile industry, OEMs have several tiers of suppliers that agree to deliver systems collaboratively. For example, the OEM assembles cars with systems like a cockpit, or an engine, etc. These systems are manufactured by Tier 1 that gets the components for those systems from a Tier 2 supplier. By applying eSourcing with specifying the inter-organizational collaboration with eSML, we facilitate the complex coordination effort between collaborating parties. In , the reader finds further details about the background of the industrial case study for this feasibility evaluation.
For the remainder, Section 5.1 shows the structure of eSML and also gives code examples that stem from a case study with industry. In Section 5.2, we explain an existing system architecture that enables the collaboration of decentralized autonomous organizations in a smart-contracting way that utilizes process views. Next, Section 5.3 explains the lifecycle for setting up smart contracts based collaborations, including how to let them evolve. Finally, Section 5.4 show the lifecycle of eSML instantiations and enactment.
5.1 eSourcing markup language
The bold typed eSML-definitions in Figure 14 are extensions and modifications that are not part of the ECML foundation. In the Who block, extensions for eSML are the resource definition and the data definition. In the What block, the XRL adoption permits the use of control-flow patterns for business-process definitions that have semantic clarity. However, extensions exist for adopting the conjoinment nodes described in Section 3.2 and for linking to the resource- and data-definition sections of eSML that are both based on respective pattern collections [56,57]. The life-cycle definitions  are for the business processes and contained tasks.
The life-cycle-mapping block addresses establishing semantic equivalence between, firstly, the life-cycles of the inter-organizationally harmonized business processes, and secondly, for the life-cycles of tasks from the opposing domains. Different labels of tasks belonging to processes of opposing domains may be semantically equal. To establish a semantic equality, the second part of the mapping block focuses on the mapping of task labels in the active_node_label_mapping tag. Such mapping is relevant for establishing a contractual consensus between collaborating parties. The monitorability (see Section 3.2) block of Figure 14 specifies how much of the enactment phase the service consumer perceives. Next, we show eSML examples that result from a CrossWork case study  and refer to  for the full eSML schema, models and more code examples.
5.1.1 5.1.1 Resource-perspective definition
The code extract in Listing ?? is part of the resource definition where an organizational unit is defined as a permanently existing organization. Thus, it is not a unit that dissolves at a certain point in time, e.g., an organization set up for the purpose of managing a project that has a deadline. In Line 11 the name of the organizational unit is defined, followed by the definition of the start date. Organizational units may have a business objective assigned. In the code example of Listing ?? this definition is omitted.
The organizational unit has department members that are defined as roles. These roles are separately specified in the resource section of the eSML file. According to Line 19 the procurement department has one head of department. In Line 17, the Department_Head is a unique identifier for an separate extensive role definition. Similarly, Lines 22-24 specify that the procurement department has a resource assigned with the role name Department_Clerk. In the line below the number of individuals is given that slip into the mentioned role of a clerk. Finally, in Line 28 an individual is directly specified as a procurement-department member with the identifier Actor2.
5.1.2 5.1.2 Data-flow definition
The central part of the data-flow definition in an eSML file is a data package. Such data packages flow through a business process and are exchangeable to the opposing organizational domain. Following the data-flow pattern specifications , in an eSML instantiation, data has a particular visibility ranging from only a task to all instances of a business process and even its environment; a certain interaction type that focuses on the way data is communicated with, e.g, a data package is communicated from a task to another task; or from a block to a different process instance, and so on. Data has different transfer type specifications, e.g., by a copy, a reference, by value, etc. Finally, a data-flow element interacts with the control-flow perspective, e.g., a pre- or postcondition of data existence for a task, data-value based condition evaluation, etc.
The code extract of Listing ?? specifies a data package with a contained variable and a document section. In Line 14, a variable is specified with its attributes. The bill of material is changeable, i.e., the value may be modified, and it is enabled for use. Additionally, Lines 24-32 define a document that is a CAD drawing and is available at a particular uri.
Listing ?? is an example of data packages are used with elements in the control-flow of an eSML instantiation. A receive node is specified that receives two data packages from the domain of a collaborating counterpart. In Line 13 the data package with the identifier cd is specified as an input. Additionally, in Line 17 the data package with the identifier id is equally input to the receiving node.
5.1.3 5.1.3 Structure of process-harmonization definition
The code extract in Listing ?? shows how to harmonize the structure of processes. For every collaborating party an exchanged_value section specifies if a service is either provided or consumed, which depends on the role a collaborating party slips into.
Several sourcing_spheres may be part of a process specification. Lines 17-21 of Listing ?? specify that three sourcing spheres are embedded in a parallel_sync construct. Thus, the sourcing spheres are contained in parallel branches of control. The sourcing spheres are matched by spheres in exchanged_value sections of the same eSML instantiation that belong to opposing collaborating parties. For the matching, we specify grey-box contractual visibility pattern (see Section 3.2). In its final state where a consensus is specified in an eSML instantiation, the content of opposing sourcing spheres must match in content. In Lines 17-21, we omit control flow code for space limitation. In Lines 24-26, further eSML constructs specify further inter-organizational business process harmonization. The constructs for mapping life-cycles and for monitorability specifications are in the exchanged_value section of the service consumer.
5.1.4 5.1.4 Life-cycle definition
In an eSourcing configuration, the heterogeneous system environment of the internal level needs to be inter-organizationally harmonized. The business processes of collaborating parties may have deviating life-cycles on a process and task level. For the enactment phase, it is relevant to specify a synchronization of the life-cycles.
In Listing ??, we shown that life-cycles for a process are specified with control-flow constructs. In Line 13, a not further decomposable atomic state is defined. However in a life-cycle, states are possible that contain further nested states. Accordingly, eSML contains a nesting_state construct that comprises lower-level states. The life-cycle of a process or a task is propelled by transitions of which Line 16 shows an example. In Line 23, the active_node_life-cycle of a task is defined with the same control-flow constructs for the specification of process life-cycles. We refer the reader to  for code examples about mapping lifecycle definitions between different tasks and processes belonging to separate counterparties.
5.1.5 5.1.5 Mapping definitions
If a heterogeneous system environment with different life-cycles is harmonized in one eSourcing configuration, it may be important for the enactment infrastructure to specify in an eSML instantiation how the respective life-cycles fit together. As the previous case study shows, in an eSourcing configuration several service providers are included with one service consumer. Thus, for life-cycle harmonization it is relevant to include all service providers. The respective life-cycle steps that are specified as equal may have diverting names but are still semantically equivalent. The same holds for the mapping of task labels from the domains of opposing parties.
The code extract below shows how life-cycles are mapped. In Line 11 the mapping of process life-cycles starts with first specifying the life-cycle label of the service consumer. From Line 17 onwards the semantically equivalent labels of two service providers are specified. For every life-cycle step this specification needs to be repeated.
For the mapping of task labels, a code extract is given in Listing ??. In Line 11 the specification of a service-consumer task label starts by first naming the process a task is contained in followed by the label of a task. In Line 17 similar specifications are given for the domain of the service provider. Differently to life-cycle mappings, there is always one label of the service consumer that is mapped to a label of one service provider because the concept of eSourcing assumes a task is always serviced by one provider.
5.1.6 5.1.6 Monitorability definition
The code in Listing ?? is for specifying monitorability links with between the business processes of collaborating parties. The more monitorability patterns are specified, the more enactment progress the service consumer is able to follow. Many monitorability patterns are specified in  to cater for differing linking functionalities in a heterogeneous system environment of eSourcing configurations.
An example for a monitorability specification is given in Listing ?? with two parts, namely one for the specification of polling constructs and one for specifying messaging constructs. In Lines 13-19, a transition-messaging monitorability construct is defined. First, the transition identifier in the domain of the service consumer represents the target node. In Lines 20-27, the source node for the messaging construct is specified located in the domain of the service provider.
5.2 eContracting architecture
To enable the setup and enactment of process-view based collaboration evolution, a system must meet a set of requirements. First, there must exist a service that facilitates the matching of service offers from collaborating parties and service requests from consuming organizations. Second, the collaborating parties house internally a component for the distributed binding and enactment of emergency cases. Third, with tool support, the parties must rapidly develop service offers and concrete services. Fourth, each collaborating party is capable of orchestrating its own internal legacy system for automating the collaboration. Finally, due to the heterogeneity of the collaboration, a translation service must exist for bridging the differences (technical, syntactic, semantic, pragmatic) between collaborating parties.
5.3 eContracting lifecycle
We first explain below the elementary steps of the lifecycle in Figure 16 relate to the architecture in Figure 15. Alphabetic letters relate the explanations to the respective lifecycle steps. Support for the conceptual formulation (a) of business processes and their accompanying rules involves the eSourcing_Setup_Support component. The latter comprises functionality for re-using business rules and process patterns for rapid conceptual-layer business process formulation.
Mapping details from the conceptual layer business-process to the internal layer (b) pertains to binding the tasks of a conceptual-layer process involving the eSourcing_Setup_Support to the Web-service ports that wrap legacy systems in the Legacy_Management so that an enactment-time orchestration of the latter is possible. The mapping also involves the Translator component from a conceptual- to an internal layer. Projecting from the conceptual layer business-process details to the external layer (c) involves the Translator component that creates different notation-formats to cater for business-process heterogeneity, e.g, from BPEL on the conceptual layer to BPMN on the external layer.
Brokering capability of projected business processes (d) for both the service consumer and the service provider must be able to place their projected process views into a broker environment of a Service-HUB component. This functionality is important for collaborations in an anonymous environment. The process views must be searchable for potential business partners. Bidding capability for projected processes views (e) is part of the Service-HUB component. The collaborating counter-party evaluates and chooses the subjectively best bid.
Negotiation support for setting up a collaboration configuration with known collaborating parties (f) is relevant after collaborating parties have found each other, they need a Service-HUB component for starting the contracting negotiations on the external layer of a collaboration configuration. This negotiation involves the projection of process views onto the external layer until achieving a matching that establishes a consensus between the service provisioning and service consumption.
Verifying perspectives of a collaboration configuration (g) from a control-flow point of view is important to verify a collaboration configuration for correct termination . A verification must ensure that a service provisioning internally adheres to the externally promised collaboration behaviour. Simulation of a collaboration configuration (h) addresses that despite verification, errors may still occur during service enactment. Hence, a simulation component for business processes must be available for a-priori enactment simulation.
Distribution of business processes (i) to the external- and internal layer we cater for in the Translator component on the conceptual-layer. Shielding of business processes and legacy systems on concern-separating layers (j) must ensure the legacy systems that are Web-service wrapped and part of the internal layer, are safeguarded by data-monitoring functionality. Finally, the Enactment of a ready collaboration configuration (k) takes place with distributed rules- and process engines that are on the one hand part of the external layer’s eSourcing_Middleware component and on the other hand, the Legacy_Management component of the internal layer.
After a completed setup phase, the enactment of a collaboration configuration commences. The actual enactment components must be present on an internal layer for orchestrating legacy systems. Additional enactment components on the external layer need to choreograph the internal components of the respective collaborating parties.
Finally, besides the full collaboration-setup lifecycle in Figure 16 that culminates in the enactment stage, there is a subset-lifecycle embedded denoted by dashed arrows for process-view based collaboration evolution. The start is from (k) to (a) for first performing changes to the existing internal business process. Next, the internal-process projection (c) to the external-layer process view that culminates in a verification (g) and also optional simulation (h). Changes to the process view must be propagated into the domains of collaborating counterparties. In the latter case, a verification (g) and simulation (h) assures the re-established soundness of the overall business collaboration. Distribution (i) and shielding (j) precede a continued enactment (k) of the changed business collaboration. A dashed, bi-directional arrow in Figure 16 denotes that a faulty exception occurring at a specific lifecycle stage leads to a rollback into a previous lifecycle stage.
5.4 eSML enactment
As part of eSML we adopt for control-flow specifications the eXchangable Routing Language XRL as an instance-based workflow language that uses XML for the representation of process definitions and Petri nets [48,49] for its semantics. The definition of XRL  contains as routing elements a catalog of control-flow patterns [60-63] that result in strong control-flow expressiveness. These routing elements are equipped with Petri-net semantics , namely, every routing element stands for an equivalent workflow net (WF-net) [50,51,65] that can be connected with other routing elements into a bigger WF-net.
An XRL route is a consistent XML document, that is, a well-formed and valid XML file with top element route . The structure of any XML document forms a tree. In case of XRL, the root element of that tree is the route that contains exactly one so-called routing element. A routing element is an important building block and can either be simple (no child routing elements) or complex (one or more child routing elements). A complex routing element specifies whether, when and in which order the child routing elements are carried out.
To evaluate the expressiveness of eSML, the control-flow specification realizes the WF-net semantics of XRL by mapping to PNML [66-68], an XML-based interchange format that permits the definition of Petri-net types. A style-sheet translator contains mapping rules  to PNML for every XRL control-flow construct.
6 Related work
Contracting is part of Web-service choreography in some research work that only takes a technical position. In , contracts are descriptions of the observable behaviour of multiple services to tackle the problem of composition as sets of inout- and output actions. The authors show that a compliant group of contracts is still compliant after replacement by one of its subcontract. In , the same authors relate the theory of contracts with the notion of choreography conformance, used to check whether an aggregation of services correctly behaves according to a high level specification of their possible conversations based on input- and output actions. Projection and contract refinement achieve composition of choreography.
The authors in  state support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Concurrent Transaction Logic is instrumental to model and reason about service contracts to allow iterative processes in the specification of service contracts and enable reasoning about such contracts. Thereby, the authors limit themselves in their notion of contracts to technical service choreographies, service policies and contract requirements.
In , the authors consider contracts as labelled transition systems over located action names, representing operations at a certain location over a network. In this technicality focussed approach, the authors study the foundational aspects of contract compliance in a language independent way. The language independent representation of contracts allows for choreography projection in structured operational semantics. The evaluation applies the theory of contract compliance with industry-standard choreography specifications such as WS-CDL.
The related work has in common that no sociotechnical approach for the concept of contracting in service choreography recognizes the interaction between people and technology in cross-organizational collaborations. We address this gap by choosing a reality-based notion of a legal contract that states a consensus between collaborating parties must be present. This consensus in eSML represents the matching of process views by a service consumer and service provider, which is fundamentally different to the listed related work of purely technical focus.
Various aspects of negotiating and agreeing contracts between software agents acting on behalf of enterprises or individuals are described in .
This paper presents the ontological concepts and properties of smart contracting that is an essential ingredient for the management of decentralized autonomous organizations. The resulting eSourcing ontology that we define in the ontology language OWL and check with the HermiT reasoner, is input for developing the eSourcing Markup Language eSML. The latter is a choreography language for cross-organizational business collaboration. eSML results from a sociotechnical methodical, case study-based suitability and expressiveness exploration that ensures the language comprises essential collaboration concepts with a foundation for semantic clarity.
As eSML adopts a real-life contracting foundation, collaborating parties use process views they project externally for cross-organizational matching. Once a matching occurs, a consensus exists that is the essential criteria for establishing a contract. The process views are subsets of larger business processes inside the domains of collaborating parties. We use a subset of ECML as a base language for eSML that we enhance with additional schemas for process-view matching, and cross-organizational conjoinment and monitorability for achieving suitability. Furthermore, assuming that the control-flow perspective in a business collaboration is best explored, the expressiveness in eSML we address by adopting WF-net based semantics that is verifiable with tool support. Employing setup-interaction patterns of collaborating parties, we evaluate eSML in a proof-of-construction prototype for the setup and enactment of business collaborations in the CrossWork research project.
For future work, we plan to further enhance the eSourcing ontology with law researchers towards providing a mature ontology for advancing smart contracting. Furthermore, we plan to carry out more case studies with eSML in research projects about designing cyber-physical systems with smart-object orchestration. In those studies, we want to address expressiveness extensions into more Internet of Things perspectives. Additionally, an important extension for the eSourcing ontology and eSML is an adoption of concepts and properties to cater for adopting advanced security assurance measures that are relevant for open cyber-physical systems collaborations. Another open research issue is the safeguarding of business collaborations with transactionality concepts that need to go further than traditional transactions from the database- and workflow domains, i.e., pertaining to blockchain-related variants such as sidechains, treechains, minichains, and so on. Thus, future work will explore such electronic business transactions with the objective of understanding how to extend eSML for ensuring a safeguarding of cyber-physical system collaborations, preferably by using blockchain technology.
a Principles of European Contract Law developed by the Lando-Comission in Europe http://www.jus.uio.no/lm/eu.contract.principles.parts.1.to.3.2002/
b UNIDROIT Principles of International Commercial Contracts 2010 http://www.unidroit.org/english/principles/contracts/principles2010/integralversionprinciples2010-e.pdf
c Principles, Definitions and Model Rules of European Private Law known as Draft Common Frame of Reference http://ec.europa.eu/justice/contract/files/european-private-law_en.pdf
d United Nations Convention on Contracts for the International Sale of Goods, adopted 11 April 1980.
e International Chamber of Commerce rules http://www.iccwbo.org/products-and-services/trade-facilitation/incoterms-2010/the-incoterms-rules/.
This paper was supported in part by CNSF grant 61363007 and by HNU grant KYQD1242 and HDSF201310; the Dawn Program of Shanghai Education Commission (11SG44); the Research Fund for the Doctoral Program of Higher Education of China (20123120130001).
The work is supported by the National Natural Science Foundation of China(NSFC) under Grant No. 61202376, Shanghai Leading Academic Discipline Project under Grant No. XTKX2012, and Shanghai Engineering Research Center Project under Grant No. GCZX14014 and C14001.
- Allen P, Higgins S, McRae P, Schlamann, H (eds.): (2006) Service Orientation: Winning Strategies and Best Practices. Cambridge University Press.Google Scholar
- Antonopoulos N, Gillam L (2010) Cloud Computing: Principles, Systems and Applications. Springer.Google Scholar
- Alonso G, Casati F, Kuno H, Machiraju V (2004) Web Services: Concepts, Architectures and Applications. Springer-Verlag, Berlin Heidelberg.View ArticleGoogle Scholar
- Eshuis R, Norta A, Kopp O, Pitkanen E (2013) Service outsourcing with process views. IEEE Trans Serv Comput 99(PrePrints): 1. doi:10.1109/TSC.2013.51.Google Scholar
- Jung JY, Kim H, Kang SH (2006) Standards-based approaches to b2b workflow integration. Comput Ind Eng 51(2): 321–334. doi:10.1016/j.cie.2006.02.011.View ArticleGoogle Scholar
- Khalaf R (2007) From rosettanet pips to bpel processes: A three level approach for business protocols. Data Knowl Eng 61(1): 23–38. doi:10.1016/j.datak.2006.04.006.View ArticleMathSciNetGoogle Scholar
- Norta A, Eshuis R (2010) Specification and verification of harmonized business-process collaborations. Inform Syst Front 12: 457–479. doi:10.1007/s10796-009-9164-1.View ArticleGoogle Scholar
- Butterin V (2014) A next-generation smart contract and decentralized application platform. White Paper.Google Scholar
- Szabo N (1997) Formalizing and securing relationships on public networks. First Monday 2(9). http://firstmonday.org/ojs/index.php/fm/article/view/548/469.
- Nakamoto S (2008) Bitcoin: A peer-to-peer electronic cash system. Consulted 1(2012): 28.Google Scholar
- Patron TThe Bitcoin Revolution: An Internet of Money. Travis Patron.Google Scholar
- Swan M (2015) Blockchain Thinking: The Brain as a DAC (Decentralized Autonomous Organization. Texas Bitcoin Conference.Google Scholar
- Panikkar BS, Nair S, Brody P, Pureswaran V (2014) ADEPT: An IoT Practitioner Perspective. IBM.Google Scholar
- Lohmann N, Kleine J (2008) Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes In: Modellierung, vol. 12, 14.. Gesellschaft für Informatik E.V., Berlin, Germany.Google Scholar
- Decker G, Kopp O, Leymann F, Weske M (2007) Bpel4chor: Extending bpel for modeling choreographies In: Web Services, 2007. ICWS 2007. IEEE International Conference On, 296–303.. IEEE.Google Scholar
- Jordan D, Evdemon J, Alves A, Arkin A (2014) Web Services Choreography Description Language 1.0. http://www.w3.org/TR/ws-cdl-10/.
- Decker G, Barros A (2008) Interaction modeling using bpmn In: BPM’07: Proceedings of the 2007 International Conference on Business Process Management, 208–219.. Springer, Berlin, Heidelberg.Google Scholar
- Model BP (2011) Notation (bpmn) version 2.0. Object Management Group specification. http://www.bpmn.org.
- Zaha JM, Barros A, Dumas M, ter Hofstede AHM (2006) Let’s dance: A language for service behavior modeling. In: Meersman R Tari Z (eds)On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, vol. 4276, 145–162.. LNCS Springer, Montpellier, France.Google Scholar
- Eisenberg B, Nickull D (2001) ebXML Technical Architecture Specification, Technical report, Organization for the Advancement of Structured Information Standards (OASIS).Google Scholar
- Motal T, Zapletal M, Werthner H (2009) The Business Choreography Language (BCL) - A Domain-Specific Language for Global Choreographies In: SERVICES-2 ’09: Proceedings of the 2009 World Conference on Services - II, 150–159.. IEEE Computer Society, Washington, DC, USA. doi:10.1109/SERVICES-2.2009.25.View ArticleGoogle Scholar
- Norta A (2015) eSourcing.owl ontology.. Tallinn University of Technology. http://tinyurl.com/nogogon.
- Knublauch H, Fergerson RW, Noy NF, Musen MA (2004) The protégé owl plugin: An open development environment for semantic web applications In: The Semantic Web–ISWC 2004, 229–243.. Springer.Google Scholar
- Horrocks I, Motik B, Wang Z (2012) The hermit owl reasoner In: OWL Reasoner Evaluation Workshop (ORE 2012).. CEUR Workshop Proceedings, CEUR-WS.org.Google Scholar
- Norta A (2007) Exploring Dynamic Inter-Organizational Business Process Collaboration. PhD thesis, Technology University Eindhoven, Department of Information Systems.Google Scholar
- Nimmer RT (2007) The legal landscape of e-commerce: Redefining contract law in an information era. J Contract Law 23(1): 10–31.Google Scholar
- Gaillard E (1995) Thirty years of lex mercatoria: Towards the selective application of transnational rules. ICSID Rev 10(2): 208–231.View ArticleGoogle Scholar
- Hevner AR, Ram S, March ST, Park J (2004) Design science in information system research. MIS Q 28(1): 75–105.Google Scholar
- March ST, Storey VC (2008) Design science in the information systems discipline: an introduction to the special issue on design science research. Manag Inform Syst Q 32(4): 6.Google Scholar
- Grefen P, Eshuis R, Mehandjiev N, Kouvas G, Weichhart G (2009) Internet-based support for process-oriented instant virtual enterprises. IEEE Internet Comput 13(6): 65–73.View ArticleGoogle Scholar
- Mehandjiev N, Grefen P (2010) Dynamic Business Process Formation for Instant Virtual Enterprises. Springer.Google Scholar
- Norta A, Grefen P (2007) Discovering Patterns for Inter-Organizational Business Collaboration. Int J Cooperative Inform Syst (IJCIS) 16: 507–544. doi:10.1142/S0218843007001664.View ArticleGoogle Scholar
- Norta A, Grefen P, Narendra NC (2014) A reference architecture for managing dynamic inter-organizational business processes. Data Knowl Eng 91(0): 52–89.View ArticleGoogle Scholar
- Alonso G, Fiedler S, Hagen C, Lazcano A, Schuldt H, Weiler N (1999) WISE: business to business e-commerce In: Proc. of the 9th International Workshop on Research Issues on Data Engineering, 132–139, Sydney, Australia.Google Scholar
- Hoffner Y, Ludwig H, Gülcü C, Grefen P (2005) Architecture for Cross-Organizational Business Processes In: Procs. 2 n d Int. Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, 2–11, Milpitas, CA, USA.Google Scholar
- Lazcano A, Schuldt H, Alonso G, Schek HJ (2001) Wise: Process based e-commerce. IEEE Data Eng Bull 24(1): 46–51.Google Scholar
- Kutvonen L, Ruokolainen T, Metso J (2007) Interoperability middleware for federated business services in web-Pilarcos. Int J Enterprise Inform Syst Spec Issue Interoperability Enterprise Syst Appl 3(1): 1–21.View ArticleGoogle Scholar
- Kutvonen L, Norta A, Ruohomaa S (2012) Inter-enterprise business transaction management in open service ecosystems In: Enterprise Distributed Object Computing Conference (EDOC), 2012 IEEE 16th International, 31–40.. IEEE.Google Scholar
- SAP (2015) Sourcing & Procurement Solutions.. SAP.com. http://www.sap.com/solution/lob/procurement/software/sourcing/index.html.
- ORACLE (2015) ORACLE Sourcing.. ORACLE.com. http://www.oracle.com/us/products/applications/ebusiness/procurement/053985.html.
- Ruokolainen T, Ruohomaa S, Kutvonen L (2011) Solving service ecosystem governance In: Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2011 15th IEEE International, 18–25.. IEEE.Google Scholar
- Norta A, Kutvonen L (2012) A cloud hub for brokering business processes as a service: A “rendezvous” platform that supports semi-automated background checked partner discovery for cross-enterprise collaboration In: SRII Global Conference (SRII), 2012 Annual, 293–302.Google Scholar
- Shearer R, Motik B, Horrocks I (2008) Hermit: A highly-efficient owl reasoner In: CEUR Workshop Proceedings, Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, vol. 432.Google Scholar
- Angelov S (2006) Foundations of B2B Electronic Contracting. Dissertation, Technology University Eindhoven, Faculty of Technology Management, Information Systems Department.Google Scholar
- Reinecke JA (1984) Introduction to Business: A Contemporary View. Allyn & Bacon.Google Scholar
- Duan Y (2012) A survey on service contract In: Software Engineering, Artificial Intelligence, Networking and Parallel & Distributed Computing (SNPD), 2012 13th ACIS International Conference On, 805–810.. IEEE.Google Scholar
- Sterling L, Taveter K (2009) The Art of Agent-oriented Modeling. MIT Press.Google Scholar
- (1998) Lectures on Petri Nets I: Basic Models(Reisig W, Rozenberg G, eds.), Vol. 1491. Springer, Heidelberg, Germany.Google Scholar
- Lectures on Petri Nets II: Applications (1998)(Reisig W, Rozenberg G, eds.), Vol. 1492. Springer, Heidelberg, Germany.Google Scholar
- Ellis C, Nutt G (1993) Modelling and Enactment of Workflow Systems. In: Marsan M. A. (ed)Application and Theory of Petri Nets 1993, vol. 691, 1–16.. Springer, Heidelberg, Germany.View ArticleGoogle Scholar
- Aalst W (1998) The Application of Petri Nets to Workflow Management. J Circuits Syst Comput 8(1): 21–66.View ArticleGoogle Scholar
- Kindler E, Aalst W (1999) Liveness, Fairness, and Recurrence. Inform Process Lett 70(6): 269–274.View ArticleMATHMathSciNetGoogle Scholar
- Verbeek H, Basten T, Aalst W (2001) Diagnosing Workflow Processes using Woflan. Comput J 44(4): 246–279.View ArticleMATHGoogle Scholar
- Angelov S, Grefen P (2003) The 4W framework for B2B e-contracting. Int J Netw Virtual Organizations 2(1): 78–97.View ArticleGoogle Scholar
- Aalst W (2000) Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?. BETA Working Paper Series, WP 46, Eindhoven University of Technology, Eindhoven.Google Scholar
- Russell N, van der Aalst WM, ter Hofstede AH, Edmond D (2005) Workflow resource patterns: Identification, representation and tool support In: Advanced Information Systems Engineering, 216–232.. Springer.Google Scholar
- Russell N, Ter Hofstede AH, Edmond D, van der Aalst WM (2005) Workflow data patterns: Identification, representation and tool support In: Conceptual Modeling–ER 2005, 353–368.. Springer.Google Scholar
- Norta A, Hendrix M, Grefen P (2006) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, and ODBASE. In: Meersman R Tari Z. (eds)Lecture Notes in Computer Science, vol. 4277, 834–843.. LNCS Springer, Montpellier, France.Google Scholar
- Aalst W, Kumar A (2003) XML Based Schema Definition for Support of Inter-organizational Workflow. Inform Syst Res 14(1): 23–47.View ArticleGoogle Scholar
- Workflow Patterns Home Page. http://workflowpatterns.com/.
- Aalst W, Hofstede A, Kiepuszewski B, Barros AP (2000) Advanced Workflow Patterns. In: Etzion O Scheuermann P (eds)7th International Conference on Cooperative Information Systems (CoopIS 2000), 18–29.Google Scholar
- Kiepuszewski B (2002) Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia. http://citeseer.nj.nec.com/kiepuszewski02expressiveness.html.
- Kiepuszewski B, Hofstede A, Aalst W (2003) Fundamentals of Control Flow in Workflows. Acta Informatica 39(3): 143–209.View ArticleMATHMathSciNetGoogle Scholar
- Aalst W, Verbeek HMW, Kumar A (2001) XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award). In: Altinkemer K Chari K. (eds)Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), 30–45.. Informs, Linthicum, MD.Google Scholar
- Aalst W (1997) Verification of Workflow Nets. In: Azéma P Balbo G (eds)Application and Theory of Petri Nets 1997, 407–426.. Springer, Heidelberg, Germany.View ArticleGoogle Scholar
- Billington J, Christense S, Van Hee K, Kindler E, Kummer O, Petrucci L, Post R (2003) The Petri Net Markup Language: Concepts, Technology, and Tools. In: Aalst W Best E (eds)Proc. of the 24th International Conference, ICATPN 2003, Lecture Notes in Computer Science, 483–505.. Springer, Eindhoven, The Netherlands.Google Scholar
- LIP, 6 (2015) Welcome to PNML.org. http://www.pnml.org/.
- Weber M, Kindler E (2003) The petri net markup language. In: Ehrig H, Reisig W, Rozenberg G, Weber H (eds)Petri Net Technology for Communication-Based Systems Advances in Petri Nets. Lecture Notes in Computer Science, 455.. Springer.Google Scholar
- Norta A (2004) Web supported enactment of petri-net based workflows with XRL/Flower. In: Cortadella J Reisig W (eds)Proc. of the 25th International Conference on the Application and Theory of Petri Nets 2004. Lecture Notes in Computer Science, 494–503.. Springer, Bologna, Italy.View ArticleGoogle Scholar
- Verbeek H, Basten T, Aalst W (2001) Diagnosing Workflow Processes Using Woflan. Comput J Br Comput Soc 44(4): 246–279.MATHGoogle Scholar
- Bravetti M, Zavattaro G (2007) Contract based multi-party service composition. In: Arbab F Sirjani M (eds)International Symposium on Fundamentals of Software Engineering. Lecture Notes in Computer Science, vol. 4767, 207–222.. Springer. doi:10.1007/978-3-540-75698-9_14. http://dx.doi.org/10.1007/978-3-540-75698-9_14.
- Bravetti M, Zavattaro G (2007) Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe M Vanderperren W (eds)Software Composition. Lecture Notes in Computer Science, vol. 4829, 34–50.. Springer. doi:10.1007/978-3-540-77351-1_4. http://dx.doi.org/10.1007/978-3-540-77351-1_4.
- Roman D, Kifer M (2008) Semantic web service choreography: Contracting and enactment In: The Semantic Web-ISWC 2008, 550–566.. Springer.Google Scholar
- Bravetti M, Zavattaro G (2009) Contract compliance and choreography conformance in the presence of message queues. In: Bruni R Wolf K. n. (eds)Web Services and Formal Methods, Lecture Notes in Computer Science, vol. 5387, 37–54.. Springer. doi:10.1007/978-3-642-01364-5_3. http://dx.doi.org/10.1007/978-3-642-01364-5_3.
- Ossowski S (2013) Agreement Technologies:Law, Governance and Technology. Springer.Google Scholar
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.