High Service Availability in MaTRICS for the OCS

Communications in Computer and Information Science

Volumn 17, Issue , 2009, Pages 572-586

  Bajohr, Markus ^a   Margaria, Tiziana ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOKING SYSTEMS; CLUSTER MANAGEMENT; CRITICAL SERVICE; HIGH AVAILABILITY; INTERNET SERVICES; ON-LINE BANKING; SERVICE AVAILABILITY; SERVICE ORIENTED FRAMEWORKS;

FAULT TOLERANCE; COMPUTER SCIENCE;

RESERVATION SYSTEMS;

EID: 78649839453     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (17)

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)
2. Fujitsu Siemens Computers: Reliable Telco Platform, http://www.fujitsusiemens. 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)
8. Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. In: 2nd IFIP Conf. on ecommerce, e-business, e-government (I3E 2002), Lisboa (P), pp. 497-511. Kluwer, Dordrecht (2002)
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)
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)
11. Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer, 53-63 (2006)
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)
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)
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)