On Behavioral Types for OSGi: From Theory to Implementation
Software Engineering
2013-06-27 v1
Abstract
This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been published. In particular, we cover a discussion on behavioral types in general, and Eclipse based implementation work on behavioral types . The implementation work covers: editors, means for comparing types at development and runtime, a tool connection to resolve incompatibilities, and an AspectJ based infrastructure to ensure behavioral type correctness at runtime of a system. Furthermore, the implementation comprises various auxiliary operations. We present some evaluation work based on examples.
Cite
@article{arxiv.1306.6115,
title = {On Behavioral Types for OSGi: From Theory to Implementation},
author = {Jan Olaf Blech and Harald Rueß and Bernhard Schätz},
journal= {arXiv preprint arXiv:1306.6115},
year = {2013}
}
Comments
arXiv admin note: text overlap with arXiv:1302.5175