An eclipse-based framework for AIS service configurations

András Kövi, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

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)1 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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages110-126
Number of pages17
Volume4526 LNCS
Publication statusPublished - 2007
Event4th International Service Availability Symposium, ISAS 2007 - Durham, NH, United States
Duration: May 21 2007May 22 2007

Other

Other4th International Service Availability Symposium, ISAS 2007
CountryUnited States
CityDurham, NH
Period5/21/075/22/07

Fingerprint

Specification
Specifications
Configuration
Compliance
Automatic Code Generation
Model
Formal Analysis
Model Transformation
Model Analysis
Middleware
Descriptors
Specificity
Availability
Framework
Standards

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

Kövi, A., & Varró, D. (2007). An eclipse-based framework for AIS service configurations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4526 LNCS, pp. 110-126)

An eclipse-based framework for AIS service configurations. / Kövi, András; Varró, D.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4526 LNCS 2007. p. 110-126.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kövi, A & Varró, D 2007, An eclipse-based framework for AIS service configurations. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4526 LNCS, pp. 110-126, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, United States, 5/21/07.
Kövi A, Varró D. An eclipse-based framework for AIS service configurations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4526 LNCS. 2007. p. 110-126
Kövi, András ; Varró, D. / 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). Vol. 4526 LNCS 2007. pp. 110-126
@inproceedings{fee74736903a41478c0717c846f8cbe0,
title = "An eclipse-based framework for AIS service configurations",
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)1 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.",
author = "Andr{\'a}s K{\"o}vi and D. Varr{\'o}",
year = "2007",
language = "English",
isbn = "3540727353",
volume = "4526 LNCS",
pages = "110--126",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - An eclipse-based framework for AIS service configurations

AU - Kövi, András

AU - Varró, D.

PY - 2007

Y1 - 2007

N2 - 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)1 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.

AB - 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)1 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.

UR - http://www.scopus.com/inward/record.url?scp=34548102786&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548102786&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540727353

SN - 9783540727354

VL - 4526 LNCS

SP - 110

EP - 126

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

ER -