A Type-Safe Model of Adaptive Object Groups
| Autor: | Olaf Owe, Dave Clarke, Joakim Bjørk, Einar Broch Johnsen |
|---|---|
| Přispěvatelé: | Kokash, Natallia, Ravara, António |
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Computer science Service discovery adaptation 02 engineering and technology Structuring lcsh:QA75.5-76.95 Operational semantics Software 0202 electrical engineering electronic engineering information engineering Code (cryptography) Adaptation (computer science) Computer Science - Programming Languages business.industry lcsh:Mathematics 020206 networking & telecommunications 020207 software engineering lcsh:QA1-939 Object (computer science) Logic in Computer Science (cs.LO) Identity (object-oriented programming) lcsh:Electronic computers. Computer science Software engineering business Programming Languages (cs.PL) |
| Zdroj: | FOCLASA Electronic Proceedings in Theoretical Computer Science, Vol 91, Iss Proc. FOCLASA 2012, Pp 1-15 (2012) |
| Popis: | Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications or composite services requires abstractions beyond those found in typical object-oriented programming languages. This paper explores service-oriented abstractions such as service adaptation, discovery, and querying in an object-oriented setting. We develop a formal model of adaptive object-oriented groups which offer services to their environment. These groups fit directly into the object-oriented paradigm in the sense that they can be dynamically created, they have an identity, and they can receive method calls. In contrast to objects, groups are not used for structuring code. A group exports its services through interfaces and relies on objects to implement these services. Objects may join or leave different groups. Groups may dynamically export new interfaces, they support service discovery, and they can be queried at runtime for the interfaces they support. We define an operational semantics and a static type system for this model of adaptive object groups, and show that well-typed programs do not cause method-not-understood errors at runtime. In Proceedings FOCLASA 2012, arXiv:1208.4327 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|