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