spacer search

Software Engineering for Service-Oriented Overlay Computers
Software Engineering for Service-Oriented Overlay Computers

Main Menu
Home arrow Project Work arrow Work Packages

WP1 Modelling in Service-Oriented Architectures Print

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.



  • 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)



The Sensoria Project Website
2005 - 2010