Skip to main content
SpringerLink
Log in
Book cover

International Service Availability Symposium

ISAS 2007: Service Availability pp 110–126Cite as

An Eclipse-Based Framework for AIS Service Configurations

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4526))

Abstract

In the paper, we propose an Eclipse-based model-driven framework to support an integrated development, analysis and deployment of Application Interface Specification (AIS) service configurations. Service configurations are first captured by platform-independent models (PIM), which directly correspond to the AIS standard itself, and abstract from vendor-specific details. Specificities of vendor-specific AIS middleware are incorporated into platform-specific models (PSM), which are derived from PIMs by automatic model transformations. Model analysis can be carried out either on the PIM-level to ensure standard compliance of a given service configuration, or on the PSM-level to detect availability bottlenecks by formal analysis early in the service configuration design. Finally, deployment descriptors of the selected AIS platform are generated from verified service configurations by automatic code generation techniques.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Avizienis, A.: The methodology of n-version programming (1995)

    Google Scholar 

  2. Balogh, A., Németh, A., Schmidt, A., Ráth, I., Vágó, D., Varró, D., Pataricza, A.: The VIATRA2 model transformation framework. In: ECMDA 2005 – Tools Track (2005)

    Google Scholar 

  3. Balogh, A., Pataricza, A.: Quality-of-service analysis of dependable application models, Accepted for the 5th International Workshop on Critical Systems Development Using Modeling Languages, CSDUML (2006)

    Google Scholar 

  4. Balogh, A., Varró, D., Pataricza, A.: Model-based optimization of enterprise application and service deployment. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 84–98. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Baresi, L., Heckel, R., Thöne, S., Varró, D.: Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling 5(2), 187–207 (2006)

    Article  Google Scholar 

  6. Ciardo, G., Trivedi, K.S., et al.: Spnp: Stochastic petri net package - version 5.0.

    Google Scholar 

  7. Cortellessa, V., Di Marco, A., Inverardi, P.: Software performance model-driven architecture. In: SAC ’06: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1218–1223. ACM Press, New York (2006)

    Chapter  Google Scholar 

  8. Eclipse modeling framework, http://www.eclipse.org/modeling/

  9. Graphical editing framework, http://www.eclipse.org/gef/

  10. Graphical modeling framework, http://www.eclipse.org/gmf/

  11. Java emitter templates, http://www.eclipse.org/emft/projects/jet/

  12. Service AvailabilityTMForum. Information Model Classes, SAI-XMI-A.01.01 (2005)

    Google Scholar 

  13. Service AvailabilityTMForum. Availability Management Framework, SAI-AIS-B.01.02 (February 2006)

    Google Scholar 

  14. Service AvailabilityTMForum. Information Model Management Service, SAI-AIS-B.01.02 (February 2006)

    Google Scholar 

  15. Service AvailabilityTMForum. Software Management Framework, SAI-AIS-A.01.01.02 draft version (2007)

    Google Scholar 

  16. Gönczy, L.: Dependability analysis and synthesis of web services. In: Proc. 13th PhD Mini-Symposium, Budapest, Hungary (2004)

    Google Scholar 

  17. Gönczy, L., Ávéd, J., Varró, D.: Model-based deployment of web services to standards-compliant middleware. In: Martinez, I.J., Isaias, P., Baptista Nunes, M. (eds.) Proc. of the Iadis International Conference on WWW/Internet 2006(ICWI2006), Iadis Press (2006)

    Google Scholar 

  18. Gronmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-driven web services development. In: EEE, pp. 42–45 (2004)

    Google Scholar 

  19. Object Management Group. Object Constraint Language specification, http://omg.org/technology/documents/formal/ocl.htm

  20. Object Management Group. UML Profile for Schedulability, Performance and Time Specification (January 2005), http://www.omg.org/technology/documents/formal/schedulability.htm

  21. Highly DEpendable ip-based NETworks and Services, http://hidenets.aau.dk

  22. Jonkers, H., Iacob, M.-E., Lankhorst, M.M., Strating, P.: Integration and analysis of functional and non-functional aspects in model-driven e-service development. In: EDOC, pp. 229–238 (2005)

    Google Scholar 

  23. Laprie, J.-C., Beounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer 23(7), 39–51 (1990)

    Article  Google Scholar 

  24. Majzik, I., Domokos, P., Magyar, M.: Tool-supported dependability evaluation of redundant architectures in computer based control systems. In: Schnieder, E., Tarnai, G. (eds.) FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, GZVB, Braunschweig, Germany, 25-26 January 2007, pp. 342–352 (2007)

    Google Scholar 

  25. Manolescu, I., Brambilla, M., Ceri, S., Comai, S., Fraternali, P.: Model-driven design and deployment of service-enabled web applications. ACM Trans. Inter. Tech. 5(3), 439–479 (2005)

    Article  Google Scholar 

  26. Object Management Group, http://omg.org

  27. OpenClovis. Application service platform (asp), release 2.2, http://www.openclovis.org/project/asp

  28. OpenClovis. Openclovis ide, http://www.openclovis.org/project/ide

  29. Renamed abox and concept expression reasoner (RACER), http://www.racer-systems.com/

  30. Rodrigues, G., Rosenblum, D., Uchitel, S.: Reliability prediction in model driven development. In: ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (2005)

    Google Scholar 

  31. Röttger, S., Zschaler, S.: Model-driven development for non-functional properties: Refinement through model transformation

    Google Scholar 

  32. Service AvailabilityTMForum, http://saforum.org

  33. Java server pages, http://java.sun.com/products/jsp/

  34. VIATRA2 Framework, an Eclipse GMT subproject, http://www.eclipse.org/gmt/

Download references

Author information

Authors and Affiliations

  1. Department of Measurement and Information Systems Budapest University of Technology and Economics H-1117, Magyar Tudósok krt. 2, Budapest, Hungary

    András Kövi & Dániel Varró

  2. OptXware Research & Development LLC., H-1137, Katona J. u. 39., Budapest, Hungary

    András Kövi & Dániel Varró

Authors
  1. András Kövi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dániel Varró
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Miroslaw Malek Manfred Reitenspieß Aad van Moorsel

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Kövi, A., Varró, D. (2007). An Eclipse-Based Framework for AIS Service Configurations. In: Malek, M., Reitenspieß, M., van Moorsel, A. (eds) Service Availability. ISAS 2007. Lecture Notes in Computer Science, vol 4526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72736-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72736-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72735-4

  • Online ISBN: 978-3-540-72736-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation