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)