An eclipse-based framework for AIS service configurations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4526 LNCS, Issue , 2007, Pages 110-126

  Kövi, András ^a,b   Varró, Dániel ^a,b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b OptXware Research and Development LLC   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; DATA ACQUISITION; INFORMATION SERVICES; MATHEMATICAL MODELS; SPECIFICATION LANGUAGES;

APPLICATION INTERFACE SPECIFICATION (AIS); PLATFORM-INDEPENDENT MODELS (PIM); PLATFORM-SPECIFIC MODELS (PSM); SERVICE CONFIGURATION;

INTERFACES (COMPUTER);

EID: 34548102786     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-72736-1_10     Document Type: Conference Paper

References (34)

1. A. Avizienis. The methodology of n-version programming, 1995.
2. A. Balogh, A. Németh, A. Schmidt, I. Ráth, D. Vágó, D. Varró, and A. Pataricza. The VIATRA2 model transformation framework. In ECMDA 2005 - Tools Track, 2005.
3. A. Balogh and A. Pataricza. Quality-of-service analysis of dependable application models. 2006. Accepted for the 5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2006).
4. András Balogh, Dániel Varró, and András Pataricza. Model-based optimization of enterprise application and service deployment. In ISAS, pages 84-98, 2005.
5. Luciano Baresi, Reiko Heckel, Sebastian Thöne, and Dániel Varró. Style-based modeling and refinement of service-oriented architectures. Software and Systems Modeling, 5(2): 187-207, June 2006.
6. Gianfranco Ciardo, Kishor S. Trivedi, and et al. Spnp: Stochastic petri net package - version 5.0.
7. Vittorio Cortellessa, Antinisca Di Marco, and Paola Inverardi. Software performance model-driven architecture. In SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, pages 1218-1223, New York, NY, USA, 2006. ACM Press.
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 Availability™ Forum. Information Model Classes, SAI-XMI-A.01.01, 2005.
13. Service Availability™ Forum. Availability Management Framework, SAI-AIS-B.01.02, February 2006.
14. Service Availability™ Forum. Information Model Management Service, SAI-AIS-B.01.02, February 2006.
15. Service Availability™ Forum. Software Management Framework, SAI-AIS-A.01.01.02 draft version, 2007.
16. th PhD Mini-Symposium, Budapest, Hungary, 2004.
17. László Gönczy, János Ávéd, and Dániel Varró. Model-based deployment of web services to standards-compliant middleware. In Immaculada J. Martinez Pedro Isaias, Miguel Baptista Nunes, editor, Proc. of the Iadis International Conference on WWW/Internet 2006(ICWI2006). Iadis Press, 2006.
18. Roy Gronmo, David Skogan, Ida Solheim, and Jon Oldevik. Model-driven web services development, eee, 00:42-45, 2004.
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. Henk Jonkers, Maria-Eugenia Iacob, Marc M. Lankhorst, and Patrick Strating. Integration and analysis of functional and non-functional aspects in model-driven e-service development. In EDOC, pages 229-238, 2005.
23. Jean-Claude Laprie, Christian Béounes, and Karama Kanoun. Definition and analysis of hardware- and software-fault-tolerant architectures. Computer, 23(7):39-51, 1990.
24. I. Majzik, P. Domokos, and M. Magyar. Tool-supported dependability evaluation of redundant architectures in computer based control systems. In E. Schnieder and G. Tarnai, editors, FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 25-26 January 2007, pages 342-352, GZVB, Braunschweig, Germany, 2007. ISBN 13:978-3-937655-09-3.
25. Ioana Manolescu, Marco Brambilla, Stefano Ceri, Sara Comai, and Piero Fraternali. Model-driven design and deployment of service-enabled web applications. ACM Trans. Inter. Tech., 5(3):439-479, 2005.
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.con/.
30. Genaina Rodrigues, David Rosenblum, and Sebastian Uchitel. Reliability prediction in model driven development. In ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.
31. Simone Rttger and Steffen Zschaler. Model-driven development for non-functional properties: Refinement through model transformation.
32. Service Availability™ Forum, 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/ .