Skip to main content
SpringerLink
Log in

High Service Availability in MaTRICS for the OCS

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

Abstract

Internet services are becoming an integral part of our daily environment. Nobody sees the background of the configuration of the services and its backend systems, but it is expected that critical services, like flight booking systems, online banking, etc. are resilient against server and service faults. Therefore those services often run in a cluster on several machines in an Active/Standby configuration in a clustered mode.

We present how we realize remote configuration and fault tolerance of the Online Conference Service (OCS) with our service oriented framework MaTRICS. Our solution lets the services untouched and uses the cluster management software heartbeat to provide high availability.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bajohr, M., Margaria, T.: MaTRICS: A Service-Based Management Tool for Remote Intelligent Configuration of Systems. Innovations in Systems and Software Engineering (ISSE) 2(2), 99–111 (2005)

    Article  Google Scholar 

  2. Fujitsu Siemens Computers: Reliable Telco Platform, http://www.fujitsu-siemens.fr/products/software/cluster_technology/rtp4.html

  3. Fujitsu Siemens Computers: PRIMECLUSTER, http://www.fujitsu-siemens.fr/products/software/cluster_technology/primecluster/

  4. GEAR - A Game based Model Checking Tool, http://jabc.cs.uni-dortmund.de/modelchecking/

  5. Heartbeat, Open Source High Availability Software, http://www.linux-ha.org

  6. Lindner, B., Margaria, T., Steffen, B.: Ein personalisierter Internetdienst für wissenschaftliche Begutachtungsprozesse, GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Geschäftsprozesse (eBusiness Processes), Universität Klagenfurt (September 2001), http://syssec.uni-klu.ac.at/EBP2001/

  7. Margaria, T.: Components, Features, and Agents in the ABC. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 154–174. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. In: 2nd IFIP Conf. on e-commerce, e-business, e-government (I3E 2002), Lisboa (P), pp. 497–511. Kluwer, Dordrecht (2002)

    Google Scholar 

  9. Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. STTT, Special Section on Formal Methods in Industrial Critical Systems, of the Int. Journal on Software Tools for Technology Transfer 5(2-3), 107–123 (2004)

    Google Scholar 

  10. Margaria, T., Steffen, B.: From the How to the What. In: VSTTE 2005, IFIP WG 2.3 Working Conf. on Verified Software: Tools, Techniques, and Experiments, Zürich (CH), October 2005. LNCS. Springer, Heidelberg (2005)

    Google Scholar 

  11. Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer, 53–63 (2006)

    Google Scholar 

  12. Marowsky-Brée, L.: A new cluster resource manager for heartbeat. In: UKUUG LISA/Winter Conf. on High-Availability and Reliability, Bournemouth (UK) (2004)

    Google Scholar 

  13. The Open Cluster Framework (OCF), http://opencf.org

  14. OpenSAF, The Open Service Availability Framework, http://www.opensaf.org

  15. Robertson, A.: The Evolution of the Linux-HA Project, UKUUG LISA/Winter Conference High-Availability and Reliability, Bournemouth, UK (2004)

    Google Scholar 

  16. Slony-I, Enterprise-level replication system, http://www.slony.info

  17. Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair Service and Software Engineering, Universität Potsdam, August Bebel Str. 89, 14482, Potsdam, Germany

    Markus Bajohr & Tiziana Margaria

Authors
  1. Markus Bajohr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bajohr, M., Margaria, T. (2008). High Service Availability in MaTRICS for the OCS. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation