uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
A formal model of service-oriented dynamic object groups
Univ Oslo, N-0316 Oslo, Norway..
Univ Oslo, N-0316 Oslo, Norway..
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. Katholieke Univ Leuven, Leuven, Belgium..
Univ Oslo, N-0316 Oslo, Norway..
2016 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 115, 3-22 p.Article in journal (Refereed) PublishedText
Abstract [en]

Services are autonomous, self-describing, technology-neutral software units that can be published, discovered, queried, and composed into software applications at runtime. Designing and composing software services to form applications or composite services, require 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 dynamic 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 dynamic object groups, and show that well-typed programs do not cause method-not-understood errors at runtime.

Place, publisher, year, edition, pages
2016. Vol. 115, 3-22 p.
Keyword [en]
Object orientation, Object groups, Service orientation, Multithreading, Concurrency, Types, Semantics, Type safety
National Category
Computer Science
URN: urn:nbn:se:uu:diva-274432DOI: 10.1016/j.scico.2014.11.014ISI: 000367122200002OAI: oai:DiVA.org:uu-274432DiVA: diva2:896510
EU, FP7, Seventh Framework Programme, FP7-610582EU, FP7, Seventh Framework Programme, FP7-612985
Available from: 2016-01-21 Created: 2016-01-21 Last updated: 2016-01-21Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Clarke, Dave
By organisation
Computing Science
In the same journal
Science of Computer Programming
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 35 hits
ReferencesLink to record
Permanent link

Direct link