Applying Service-Oriented Development to Complex Systems: BART Case Study

  • Ingolf H. Krüger
  • Michael Meisinger
  • Massimiliano Menarini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4322)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ahluwalia, J.: Model-Based Run-Time Monitoring of End-to-End Deadlines. In: Proceedings of the Conference on Embedded Systems Software (EMSOFT) (2005)Google Scholar
  2. 2.
    Branicky, M.S.: Introduction to hybrid systems. In: Handbook of Networked and Embedded Control Systems, pp. 91–116 (2005)Google Scholar
  3. 3.
    Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: A System of Patterns. Pattern-Oriented Software Architecture. Wiley, Chichester (1996)Google Scholar
  4. 4.
    Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley, Reading (2002)Google Scholar
  5. 5.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  6. 6.
    Grosu, R., Krüger, I., Stauner, T.: Hybrid Sequence Charts. In: In Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), IEEE Computer Society Press, Los Alamitos (2000)Google Scholar
  7. 7.
    Heck, B.S., Wills, L.M., Vachtsevanos, G.J.: Software technology for implementing reusable, distributed control systems. IEEE Control Systems Magazine 23(1), 21–35 (2003)CrossRefGoogle Scholar
  8. 8.
    ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1996)Google Scholar
  9. 9.
    Kordon, F., Michel, L. (eds.): Formal Methods for Embedded Distributed Systems. Springer, Heidelberg (2004)Google Scholar
  10. 10.
    Krüger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)Google Scholar
  11. 11.
    Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61–71. Kluwer Academic Publishers, Dordrecht (1999), Google Scholar
  12. 12.
    Krüger, I., Mathew, R., Meisinger, M.: From Scenarios to Aspects: Exploring Product Lines. In: Proceedings of the ICSE 2005 Workshop on Scenarios and State Machines (SCESM) (2005)Google Scholar
  13. 13.
    Krüger, I., Mathew, R., Meisinger, M.: Efficient Exploration of Service-Oriented Architectures using Aspects. In: Proceedings of the 28th International Conference on Software Engineering (ICSE) (2006)Google Scholar
  14. 14.
    Krüger, I.H.: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In: Pezzé, M. (ed.) ETAPS 2003 and FASE 2003. LNCS, vol. 2621, pp. 387–402. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  15. 15.
    Krüger, I.H., Mathew, R.: Systematic Development and Exploration of Service-Oriented Software Architectures. In: Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA), pp. 177–187. IEEE Computer Society Press, Los Alamitos (2004)CrossRefGoogle Scholar
  16. 16.
    Leveson, N.G.: System safety in computer-controlled automotive systems. In: SAE Congress, March (2000)Google Scholar
  17. 17.
    Lim, R., Qu, R.T.: Control and communication mechanisms in distributed control application platform. In: IEEE International Conference on Industrial Informatics, August 2003, pp. 102–106. IEEE Computer Society Press, Los Alamitos (2003)CrossRefGoogle Scholar
  18. 18.
    Mathew, R., Krüger, I.H.: Component synthesis from service specifications. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, Springer, Heidelberg (2005)Google Scholar
  19. 19.
    OMG Model Driven Architecture.
  20. 20.
    Smaragdakis, Y., Batory, D.: Implementing Layered Designs with Mixin Layers. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 550–570. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  21. 21.
    Snell, J., Tidwell, D., Kulchenko, P.: Programming Web Services with SOAP. O’Reilly, Sebastopol (2002)Google Scholar
  22. 22.
    Trowbridge, D., Roxburgh, U., Hohpe, G., Manolescu, D., Nadhan, E.G.: Integration Patterns. Patterns & Practices. Microsoft Press, Redmond (2004)Google Scholar
  23. 23.
  24. 24.
    Wills, L., Kannan, S., Heck, B., Vachtsevanos, G., Restrepo, C., Sander, S., Schrage, D., R., J.V., Prasad, J.V.R.: An open software infrastructure for reconfigurable control systems. In: Proceedings of the 2000 American Control Conference, vol. 4, pp. 2799–2803 (2000)Google Scholar
  25. 25.
    Winter, V., Kordon, F., Michel, L.: The BART Case Study. In: Kordon, F., Michel, L. (eds.) Formal Methods for Embedded Distributed Systems, pp. 3–22. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Ingolf H. Krüger
    • 1
  • Michael Meisinger
    • 2
  • Massimiliano Menarini
    • 1
  1. 1.Computer Science and Engineering Department, University of California, San Diego, La Jolla, CA 92093-0404USA
  2. 2.Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748 GarchingGermany

Personalised recommendations