SHIP: Semantic Heterogeneous Integration of Processes
- Informationen zu Sensoria Projekt
- SHIP Winter Plan
- Transportation Scenario
- Meal Preparation Scenario?
- Current Work Package: Task CS(1) - Requirement Engineering
- Project Meetings
- Related Work
- Development and Coding Issues
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 workﬂows 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 reﬁnement 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 reconﬁguration 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 ﬁve work packages, corresponding to the four key objectives and the proposed application scenario.
Work Package FF: Formal Framework for Heterogeneous Data and Processes
Work Package RA: Reﬁnement and Abstraction of Heterogeneous Data and Processes
Work Package VC: Verification
Work Package FO: Flexible Orchestration of Data and Processes
Work Package CS: AAL Case Study
- The complete proposal.