Public deliverables produced within the Sensoria project will be downloadable from this page as soon as final releases are reviewed.
Public deliverables of the first 12 months
No.
| Title |
| Prototype Language for Service Modelling: Ontology for SOAs Presented through Structured Natural Language
|
| Core Calculi for Service Oriented Computing
|
| Behavioural Types for Service Composition
|
| Techniques for Security and Trust for Services
|
| Approaches to Resource Usage of Mobile Services
|
| An Overview of Techniques for Behavioural Properties
|
| Stochastic Core Calculi
|
| Process Calculi and Coordination Languages with Costs, Priority and Probability (first version)
|
| Reconfigurations Preserving Architectural Types and Shapes
|
| Base Deployment Mechanisms
|
| Service Extraction
|
| Service-Oriented Middleware Services
|
| Self-Management Runtime
|
| Abstract Service Machine
|
| Graph Transformation-Based Methods for Services and Calculi
|
| Case Tool: Initial Requirements
|
| Case Studies Scenario Description
| Public deliverables of month 18 No.
| Title |
| Prototype Language for Service Modelling: Denotational (Mathematical) Model of the SOA Ontology
|
| Prototype Language for Service Modelling: Primitives for Service Description
|
| Prototype Language for Business Process Modelling: Primitives for Business Policies and End-user High-level Goals
|
| Stochastics Logics
|
| Quantitative Measurements of QoS for SLAs
|
| Quantitative Techniques for Measuring Resource Usage
|
| Legacy Transformations
|
| Experimentation and analysis frameworks (state-of-the-art report)
|
| Telecommunications Case Study: Requirements Modelling and Analysis of Selected Scenarios
|
Public theme-oriented deliverables of month 24 No.
| Title |
| SENSORIA Languages and Calculi for Modelling Services
| | Advancesd Calculi for Services
| Th0.4.a
| Methodologies for MDA and Deployment (1st version) |
Public deliverables of month 24
No.
| Title |
| Eclipse editor and Modelling Environment for SRML-P
|
| UML for Service-Oriented Systems
|
| Mechanisms for Service Composition, Query and Discovery
|
| Advances in Analysis Technology
|
| Challeging Analysis Scenarios and Language Primitives
| D5.3.b
| Requirements for Automated Reconfiguration and Specification of Policy Run-time Support
|
| Enhanced Deployment Mechanisms for Service Interaction, Composition and Self-management
|
| Model-driven Transformations for Deployment (Prototype)
|
| Report on the SENSORIA CASE Tool
| | Automotive Case Study: Requirements Specification and Modelling of Selected Scenarios
| D8.3.a
| Finance Case Study: Requirements, Specification and Modelling of Selected Scenarios
| D8.4.a
| Distributed E-Learning and Course Management System: Requirements Specification and Modelling of Selected Scenarios
|
| Standard Activities and Tools for Conceptual Demonstration
|
| Information Days
| Public theme-oriented deliverables of month 30 No.
| Title |
| Qualitative and Quantitative Measurements of Quality of Service and Service Level Agreements
|
Public deliverables of month 30
No.
| Title |
| Logic, Mathematical Semantics, and Case Studies
|
| Prototype Language for Service Modelling: Primitives for Service Composition
|
| Prototype Language for Business Modelling: Formal Semantics and Case Studies
|
| Model Checking Stochastic Logics
|
| Service Identification (Prototype)
|
| Enhanced Service-Oriented Deployment Platform (Prototype)
| | Middleware for Transactions and Abstract Services
|
| Legacy Transformations Prototype Extensions
|
| Formal Analysis of Model Transformations
| Public theme-oriented deliverables of month 36 No.
| Title |
| From Architectural to Behavioural Specifications
|
| Assessing Core Calculi and their Extensions
|
| Methodologies for MDA and Deployment (second version)
|
Public deliverables of month 36
No.
| Title |
| Relations among case studies and Theme 1 results
|
| Relations among case studies and Theme 2 results
|
| Relations among case studies and Theme 3 results
|
| Relationship with Standards: Mappings between SRML, UML, BPEL and SCA
|
| Location aware Core-Calculi
|
| Analysis Results for Scenarios and Language Primitives
|
| Tools and Verification
|
| Stochastic Reasoning on Core Calculi
|
| Quantitative Techniques for Measuring Resource Usage (second version)
| | Hierarchical Graph Models of Extended Core Calculi
|
| Deployment Support for Dynamic and Adaptive Service Composition
|
| Model-Driven Transformations for Deployment (second version)
|
| Report on the Sensoria Development Environment (second version)
|
Public deliverables of month 42
No.
| Title | D1.b
| Prototype Language for Service Modelling Business Process and Policies
| D6.2/6.6c
| Service identification and legacy transformations prototypes - further extensions
|
Public deliverables of month 48
No.
| Title | Th01.c
| A formal support to business and architectural design for service-oriented systems
| Th02.c
| Assessing Session-Oriented Calculi for Service Oriented Computing
| Th02.d
| Formal approaches to negotiations and planning
| Th04.c
| Methodologies for MDA and Deployment: An Overview – Final Version
| Th05
| The Sensoria pattern-based approach applied to the Finance case study
| Th06
| Rigorous Software Engineering for Service-Oriented Systems
| D1.4.b
| UML for Service-Oriented Systems (second version)
| D4.a
| Quantitative reasoning on the financial case study
| D5.2.a
| Model-driven development of long running transactions
| D6.1.d
| Deployment and Runtime Mechanisms for Service Composition
| D6.2/6.6d
| Service identification and legacy transformations prototypes evaluation
| D6.3.d
| Deployment and Runtime Platform for Service Composition
| D.6.4.c
| Model-Driven Transformations for Deployment: An Overview - Final Version
| D6.5.c
| Service-Oriented Abstract Machine
| D7.4.d
| Report on the Sensoria Development Environment (third version)
| D8.8
| SENSORIA Results Applied to the Case Studies
| D8.9
| The Telecommunication Case Study and the Robot Demo
|
|
