Paper Info
Title
A formal model of service-oriented dynamic object groups.
Abstract
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.
Year
DOI
Venue
2016
10.1016/j.scico.2014.11.014
Science of Computer Programming
Keywords
Field
DocType
Object orientation,Object groups,Service orientation,Multithreading,Concurrency,Types,Semantics,Type safety
Operational semantics,Programming language,Effect system,Concurrency,Computer science,Service-orientation,Software,Service discovery,Type safety,Semantics
Journal
Volume
Issue
ISSN
115
C
0167-6423
Citations 
PageRank 
References 
1
0.37
21
Authors
4
Name
Order
Citations
PageRank
Einar Broch Johnsen1107169.56
Olaf Owe260448.17
Dave Clarke341626.19
Joakim Bjørk4402.40