WP1 Modelling in Service-Oriented Architectures |
|
The SENSORIA project introduced high-level declarative formalisms with clean mathematical semantics and UML representations. These formalisms addressed the description of business goals and end-user policies, on one side, and the description of services and of their composition into applications, on the other, in such a way that goals and policies can be interactively transformed into suitably evolving service orchestrations. Deliverables
- D1a: Relationship with standards: mappings between SRML, UML, BPEL and SCA
- D1b: Prototype Language for Service Modelling Business Process and Policies
- D1.1.a: Prototype Language for Service Modelling: Ontology for SOAs Presented through Structured Natural Language
- D1.1.b: Prototype Language for Service Modelling: Denotational (Mathematical) Model of the SOA Ontology
- D1.1.c: Prototype Language for Service Modelling: Primitives for Service Description
- D1.1.d: Eclipse editor and modelling environment for SRML-P
- D1.1.e: Logic, Mathematical Semantics, and Case Studies
- D1.2.a: Prototype language for service modelling: primitives for service composition
- D1.3.a: Prototype Language for Business Process Modelling: Primitives for Business Policies and End-User High-Level Goals
- D1.3.b: Prototype language for business modelling: formal semantics and case studies
- D1.4.a: UML for Service-Oriented Systems
- D1.4.b: UML for Service-Oriented Systems (second version)
|