Web Scale Computing: The Power of Infrastructure as a Service.- Services in the Long Tail World: Challenges and Opportunities.- Services for Science.- Managing and Internet Service Bus.- Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems.- Adaptation of Web Service Composition Based on Workflow Patterns.- Protocol-Based Web Service Composition.- Design and Implementation of a Fault Tolerant Job Flow Manager Using Job Flow Patterns and Recovery Policies.- Building Mashups for the Enterprise with SABRE.- Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.- Automatic Workflow Graph Refactoring and Completion.- Authorization and User Failure Resiliency for WS-BPEL Business Processes.- Reasoning on Semantically Annotated Processes.- Event-Driven Quality of Service Prediction.- Automatic Realization of SOA Deployment Patterns in Distributed Environments.- The LLAMA Middleware Support for Accountable Service-Oriented Architecture.- ubiSOAP: A Service Oriented Middleware for Seamless Networking.- Towards a Service-Oriented Approach for Managing Context in Mobile Environment.- An Autonomic Middleware Solution for Coordinating Multiple QoS Controls.- Transparent Runtime Adaptability for BPEL Processes.- Organizational Constraints to Realizing Business Value from Service Oriented Architectures: An Empirical Study of Financial Service Institutions.- E-Marketplace for Semantic Web Services.- Business Driven SOA Customization.- Sound Multi-party Business Protocols for Service Networks.- Automatic Mash Up of Composite Applications.- Non-desynchronizable Service Choreographies.- A Framework for Semantic Sensor Network Services.- Context-Driven Autonomic Adaptation of SLA.- Determining QoS of WS-BPEL Compositions.- An Initial Approach to Explaining SLA Inconsistencies.- Ontology-Based Compatibility Checking for Web Service Configuration Management.- SOAlive Service Catalog: A Simplified Approach to Describing, Discovering and Composing Situational Enterprise Services.- WorldTravel: A Testbed for Service-Oriented Applications.- TCP???Compose ??? - A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences.- A Runtime Quality Architecture for Service-Oriented Systems.- QoS Policies for Business Processes in Service Oriented Architectures.- Deriving Business Service Interfaces in Windows Workflow from UMM Transactions.- From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL.- Batch Invocation of Web Services in BPEL Process.- Formation of Service Value Networks for Decentralized Service Provisioning.- Towards Automated WSDL-Based Testing of Web Services.- Automated Service Composition with Adaptive Planning.- A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus.- Verifying Interaction Protocol Compliance of Service Orchestrations.- Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.- A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.- Integrated Security Context Management of Web Components and Services in Federated Identity Environments.- Predicting and Learning Executability of Composite Web Services.- Authorization Policy Based Business Collaboration Reliability Verification.- VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.- A Framework for Advanced Modularization and Data Flow in Workflow Systems.- Model Identification for Energy-Aware Management of Web Service Systems.- LASS - License Aware Service Selection: Methodology and Framework.- Integrated and Composable Supervision of BPEL Processes.- Optimised Semantic Reasoning for Pervasive Service Discovery.- COSMA - An Approach for Managing SLAs in Composite Services.- Resource Calculations with Constraints, and Placement of Tenants and Instances for Multi-tenant SaaS Applications.- SPIN: Service Performance Isolation Infrastructure in Multi-tenancy Environment.- Management as a Service for IT Service Management.- SMART: Application of a Method for Migration of Legacy Systems to SOA Environments.- Discovering and Deriving Service Variants from Business Process Specifications.- Market Overview of Enterprise Mashup Tools.- Siena: From PowerPoint to Web App in 5 Minutes.- Exploration of Discovered Process Views in Process Spaceship.- ROME4EU: A Web Service-Based Process-Aware System for Smart Devices.- WS-Engineer 2008.- MetaCDN: Harnessing Storage Clouds for High Performance Content Delivery.- Yowie: Information Extraction in a Service Enabled World.

Service-oriented computing - ICSOC 2008 : 6th international conference Sydney, Australia, December 1-5, 2008 proceedings

The purpose of the present paper is twofold: Firstly, show that it is possible to rewrite graphs in a way equivalent to, and in fact slightly more powerful than that of Ehrig, Pfender and Schneider (1973), which has, since then, been developed mainly by the Berlin school. Our method consists in using a single push-out of partial morphisms and is described in Section 3. Section 1 is devoted to the elementary definitions concerning graphs and related terms. Section 2 contains the set-theoretic prerequisites for the sequel but the proofs have been moved into an appendix, for easier reading. Secondly, we indicate in Section 4 why this method is not really fit for rewriting graphs that represent collapsed terms (i.e., sharing common subterms) and we introduce pushouts of total functions, which are not morphisms everywhere on their domain. This method is connected to the classical rewriting of the corresponding terms. The adequacy of these new rewriting rules is then tested to prove a local confluence criterion a la Knuth-Bendix (1970) in Section 5, the proof of which turns out to be very short.

On Graph Rewritings.

In this paper we describe a formal ontological description of the Business Process Modelling Notation (BPMN), one of the most popular languages for business process modelling. The proposed ontology (the BPMN Ontology) provides a classification of all the elements of BPMN, together with the formal description of the attributes and conditions describing how the elements can be combined in a BPMN business process description. Using the classes and properties defined in the BPMN Ontology any BPMN diagram can be represented as an A-box (i.e., a set of instances and assertions on them) of the ontology: this allows the exploitation of ontological reasoning services such as consistency checking and query answering to investigate the compliance of a process with the BPMN Specification as well as other structural property of the process. The paper also presents the modelling process followed for the creation of the BPMN Ontology, and describes some application scenarios exploiting the BPMN Ontology.

An ontology for the Business Process Modelling Notation

BPMN is a standard for modeling business processes and provides meta model concepts for the design of extensions. Thus, domain-specific extensions of the BPMN are facilitated. This research article provides an overview of BPMN extension development by the descriptive analysis and classification of 30 BPMN extensions. An extensive literature review was conducted in order to find published extensions. Further, a classification framework was designed to enable a comprehensive analysis of each extension. The analysis showed, that four out of five extensions are not compliant with the BPMN standard. Also, we found several methodological shortcomings that should be tackled in further research.

/pdf/classification-of-domain-specific-bpmn-extensions-37hklzlt6a.pdf

Classification of Domain-Specific BPMN Extensions

In 2004, the Business Process Modeling Notation (BPMN) was presented as a standard business process modeling language. Its development was considered to be an important step in reducing the fragmentation that was witnessed between the existing process modeling tools and notations. Since then BPMN has been evaluated in different ways by the academic community and has become widely supported and used by industry. After completing the first major revisions of BPMN, the Object Management Group (OMG) released BPMN 2.0 in 2011. This chapter gives an overview of BPMN 2.0 and summarizes some of the evaluations of BPMN used for analysis and design of business processes and presents these together with reported experiences as well as some examples of proposed extensions and future expectations based on these. We will based on this also present some implications for practitioners.

BPMN 2.0 for Modeling Business Processes

The Business Process Model and Notation (BPMN) is a widely used standard for business process modelling and maintained by the Object Management Group (OMG). However, the BPMN 2.0 specification is quite comprehensive and spans more than 500 pages. The definition of an element is distributed across different sections and sometimes conflicting. In addition, the structure of the elements and their relationships are described within the metamodel, however, further syntactical rules are defined within the natural text. Therefore, this paper defines an ontology that formally represents the BPMN specification. This ontology is called the BPMN 2.0 Ontology and can be used as a knowledge base. The description of an element is combined within the corresponding class and further explanations are provided in annotations. This allows a much faster understanding of BPMN. In addition, the ontology is used as a syntax checker to validate concrete BPMN models.

Towards a BPMN 2.0 Ontology

Synchronization gained great importance in modern applications and allows mobility in the context of information technology. Users are not limited to one computer any more, but can take their data with them on a laptop. Two common architectures have been developed recently, the Data-Centric Architecture as well as the ServiceOriented Architecture. This paper compares two existing technologies for the implementation of a mobile client and introduces a new approach, developed based on the requirements of a major insurance company, the Context-Oriented Architecture. This approach allows detection and resolution of conflicts within the context in which the objects were changed, while still ensuring data correctness and consistency. Therefore two new synchronization concepts are introduced: the synchronization of complex objects and dialogue-sensitive synchronization. An application implementing this approach has been realized and successfully deployed.

/pdf/a-context-oriented-synchronization-approach-3u3ppdlu4m.pdf

A Context-Oriented Synchronization Approach

The Business Process Model and Notation (BPMN) is a widely-used standard for process modelling. A drawback of BPMN, however, is that modality is implicitly expressed through the structure of the process flow but not directly within the corresponding activity. Thus, an extension of BPMN with deontic logic has been proposed in previous work, called Deontic BPMN. Deontic BPMN reduces the structural complexity of the process flow and increases the readability by explicitly highlighting obligatory and permissible activities. In addition, an algebraic graph transformation from a subset of BPMN to Deontic BPMN, called Deontic BpmnGTS, has been defined. The goal of the current research is to show that DeonticBpmnGTS is terminating and confluent, resulting in a globally deterministic transformation. Moreover, the semantic equivalence of BPMN models and the respective Deontic BPMN models is proven based on Abstract State Machines (ASMs). Thus, DeonticBpmnGTS can be called a trusted model transformation.

Deontic BPMN: a powerful extension of BPMN with a trusted model transformation

Resource-efficient business processes are a key asset of an organization in a competitive market environment. Current efforts address this issue either at the process schema level by specifying an optimal sequence of process activities or at the process instance level by optimizing resource utilization within a single running process instance.

Optimizing Resource Utilization by Combining Activities Across Process Instances

Purpose – A major problem of business process modelling languages that primarily express the flow of activities is the limited support for actor modelling provided by rigid swimlane concepts. Thus, the aim of this work is to present a general approach for actor modelling in business processes that supports different layers of abstraction, thereby increasing the expressiveness and avoiding inaccuracy and redundancy. Design/methodology/approach – The proposed actor modelling approach supports task-based assignment of actors and roles based on deontic logic and speech act theory. The semantics of the approach is formally specified based on abstract state machines. Findings – The new approach for actor modelling is more expressive and provides the possibility to reduce the structural complexity of the process flow as shown by a case study and a comparison of an ordinary business process modelling approach using swimlanes and the actor modelling approach based on the workflow resource patterns. In particular, ...

Christine Natschläger

Papers

Towards a BPMN 2.0 Ontology

A Context-Oriented Synchronization Approach

Deontic BPMN: a powerful extension of BPMN with a trusted model transformation

Optimizing Resource Utilization by Combining Activities Across Process Instances

A layered approach for actor modelling in business processes