@inproceedings {isas-2007-kv,
	title = {An Eclipse-Based Framework for AIS Service Configurations},
	booktitle = {Proc. 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007},
	series = {Lecture Notes in Computer Science},
	volume = {4526},
	year = {2007},
	note = {Acceptance rate: 44\%},
	pages = {110-126},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>
	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.</p>
},
	isbn = {978-3-540-72735-4},
	url = {http://dx.doi.org/10.1007/978-3-540-72736-1_10},
	author = {Andr{\'a}s K{\"o}vi and D{\'a}niel Varr{\'o}},
	editor = {Malek, Miroslaw and Manfred Reitenspie{\ss} and Aad van Moorsel}
}
