Interfaces of active objects with internal concurrency

Authors:
Franz Puntigam
Affiliations:
Vienna University of Technology, Vienna, Austria
Venue:
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Year:
2009

Citing 10
Cited 0

Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Regular types for active objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Protocol specifications and component adaptors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Concepts and paradigms of object-oriented programming

ACM SIGPLAN OOPS Messenger
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Towards a Theory of Actor Computation

CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Abstract behavior types: a foundation model for components and their composition

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Types for hierarchic shapes

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-oriented techniques have been very successful so far. However, requirements on software development techniques are consistently changing together with software and hardware environments. Highly distributed and massively concurrent systems will soon be a normal case. To face the new requirements we propose to partially go back to the roots and use active objects (regarded as components) in addition to passive objects. We expect the specification of protocols in interfaces of active objects to be a crucial factor. In the envisioned systems, protocol specifications are a challenge because they can interfere with synchronization of internal concurrency. In this position paper we clarify some requirements and present raw ideas how to meet them in a programming language.