A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
Experiences with automotive service modeling
Proceedings of the 10th Workshop on Domain-Specific Modeling
A formal model for service-oriented interactions
Science of Computer Programming
An interface theory for service-oriented design
Theoretical Computer Science
Hi-index | 0.00 |
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled in terms of components and services that can either be provided by the on-board system or procured from external providers (e.g. via the web) through a negotiation process that involves quality of service attributes and constraints. The ability to re-configure activities, in real-time, through service discovery and dynamic binding takes us one step further from current component-based development techniques: it enhances flexibility and adaptability to changes that occur in the environment in which the system operates (driver, automobile, and external circumstances) and, ultimately, leads to improved levels of satisfaction, safety and reliability.