SHIP: Semantic Heterogeneous Integration of Processes


The development, implementation and monitoring of processes that orchestrate individual services and activities are a central theme in a diversity of areas such as engineering of software artifacts, production lines, and business workflows or operation planning. The SHIP project aims at utilizing, extending, and adapting semantic modeling, analysis and verification technologies to design, simulate, implement and adapt reliable distributed heterogeneous processes.

The enabling methodology proposed here for tackling these problems is an integrated set of formal methods for the specification, verification, simulation, and implementation of distributed, communicating heterogeneous processes with heterogeneous data representations. It comprises methods to specify the consistency of data represented and manipulated in different forms in distributed sub-processes as well as methods for abstraction and refinement of data and processes. The heterogeneous formal specification of processes serves as the semantic foundation integrating application-specific analysis and optimization tools, and to formally linking the formalized processes with requirements arising from a specific application context.

The central technology is an intelligent Integrated Development Environment (IDE) for heterogeneous processes and data. Existing services and actions, together with an abstract specification of their input and output data, are packaged into basic process blocks. New processes can be designed from existing processes using predefined composition primitives, forming new process blocks. Building upon the DocTIP platform of the FormalSafe project, the IDE maintains both processes and data specifications along with the accompanying descriptive, prescriptive or other kinds of documents, and enables formal verification of process properties. The design of processes is assisted by semantic retrieval and reuse of processes from a library as well as by supporting the abstraction of processes to process patterns and the refinement of process patterns. The IDE supports the analysis of specific processes by domain-specific tools based on the semantics of these tools and the available process abstractions similar to abstract interpretation. Based on the different process semantics and the mapping between the abstract and real data of basic blocks, the IDE allows for simulating or monitoring the execution of processes, respectively. For process monitoring, the IDE continuously checks the success of the execution using specified verification procedures (based on automated theorem proving, analysis tools and abstractions) and, when a deviation occurs, exploits user-specified rules indicating how to adjust the process execution and the remaining process model, or whether some general process reconfiguration is required. The redesign of a process and the accompanying documents is assisted through general management of change techniques as well as dedicated refactoring operations. In case all basic process blocks encapsulate software services, code generation is supported, based on a verified library of glue code for process encapsulation, basic process composition operations, and predefined process composition patterns. To ease its use, the IDE provides interfaces to existing process and service modelling standards such as BPEL and WSDL. The methods and tools developed in SHIP are applicable across a broad spectrum of domains. The SHIP will focus on the AAL scenario as introduced above, using the Bremen Ambient Assisted Living Lab, BAALL, as application platform and test bed.


The project is structured into five work packages, corresponding to the four key objectives and the proposed application scenario.

Work Package FF: Formal Framework for Heterogeneous Data and Processes

Task FF(1): Design of the Specification Layer

Task FF(2): Integration and Tool Support

Task FF(3): Generic Mechanisms for Process and Data Integration

Work Package RA: Refinement and Abstraction of Heterogeneous Data and Processes

Task RA(1): Refinement and Abstraction

Task RA(2): Views

Work Package VC: Verification

Task VC(1): Verification Support for Coalgebraic Modal Logics

Task VC(2): Verification Support for Heterogeneous Processes

Task VC(3): Symbolic Evaluation by Simulation

Work Package FO: Flexible Orchestration of Data and Processes

Task FO(1): Design of Data and Process Connectors

Task FO(2): Run Time Consistency Management

Work Package CS: AAL Case Study

Task CS(1): Requirement Engineering

Task CS(2): Modelling and Verification

Task CS(3): Connecting SHIP to BAALL and AAL-Simulation tools


Last modified 5 years ago Last modified on 17.11.2011 10:32:00

Attachments (1)

Download all attachments as: .zip