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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Avizienis, A.: The methodology of n-version programming (1995)
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)
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)
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)
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)
Ciardo, G., Trivedi, K.S., et al.: Spnp: Stochastic petri net package - version 5.0.
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)
Eclipse modeling framework, http://www.eclipse.org/modeling/
Graphical editing framework, http://www.eclipse.org/gef/
Graphical modeling framework, http://www.eclipse.org/gmf/
Java emitter templates, http://www.eclipse.org/emft/projects/jet/
Service AvailabilityTMForum. Information Model Classes, SAI-XMI-A.01.01 (2005)
Service AvailabilityTMForum. Availability Management Framework, SAI-AIS-B.01.02 (February 2006)
Service AvailabilityTMForum. Information Model Management Service, SAI-AIS-B.01.02 (February 2006)
Service AvailabilityTMForum. Software Management Framework, SAI-AIS-A.01.01.02 draft version (2007)
Gönczy, L.: Dependability analysis and synthesis of web services. In: Proc. 13th PhD Mini-Symposium, Budapest, Hungary (2004)
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)
Gronmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-driven web services development. In: EEE, pp. 42–45 (2004)
Object Management Group. Object Constraint Language specification, http://omg.org/technology/documents/formal/ocl.htm
Object Management Group. UML Profile for Schedulability, Performance and Time Specification (January 2005), http://www.omg.org/technology/documents/formal/schedulability.htm
Highly DEpendable ip-based NETworks and Services, http://hidenets.aau.dk
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)
Laprie, J.-C., Beounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer 23(7), 39–51 (1990)
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)
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)
Object Management Group, http://omg.org
OpenClovis. Application service platform (asp), release 2.2, http://www.openclovis.org/project/asp
OpenClovis. Openclovis ide, http://www.openclovis.org/project/ide
Renamed abox and concept expression reasoner (RACER), http://www.racer-systems.com/
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)
Röttger, S., Zschaler, S.: Model-driven development for non-functional properties: Refinement through model transformation
Service AvailabilityTMForum, http://saforum.org
Java server pages, http://java.sun.com/products/jsp/
VIATRA2 Framework, an Eclipse GMT subproject, http://www.eclipse.org/gmt/
Author information
Authors and Affiliations
Editor information
Rights 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)