Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Programming Web services with SOAP
Programming Web services with SOAP
Patterns of Enterprise Application Architecture
Patterns of Enterprise Application Architecture
Implementing Layered Designs with Mixin Layers
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Systematic Development and Exploration of Service-Oriented Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
From scenarios to aspects: exploring product lines
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Model-based run-time monitoring of end-to-end deadlines
Proceedings of the 5th ACM international conference on Embedded software
Efficient exploration of service-oriented architectures using aspects
Proceedings of the 28th international conference on Software engineering
Formal methods for embedded distributed systems: how to master the complexity
Formal methods for embedded distributed systems: how to master the complexity
Formal methods for embedded distributed systems
Capturing overlapping, triggered, and preemptive collaborations using MSCs
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
| Hi-index | 0.00 |
Complex distributed systems with control parts are difficult to develop and maintain. One reason of the complexity is the high degree of interaction and parallelism in these systems. Systematic, architecture-centric approaches are required to model, implement and verify such systems. To manage complexity, we apply a service-oriented development process, yielding manageable and flexible architecture specifications. We specify interaction patterns defining services using an extended Message Sequence Chart notation. We model a portion of the BART system as a case study, demonstrating the applicability of our methodology to this domain of complex, distributed, reactive systems. Our approach allows us to separate the problem of orchestrating the interactions between distributed components and developing the control algorithms for the various control tasks. We provide a brief overview of service-oriented development and service-oriented architectures, as well as a detailed description of our results for the BART case study.