Abstract
We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Gul Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366–411, 1989.
R. Back. Refinement calculus, part II: Parallel and reactive programs. In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. LNCS 430, Springer Verlag, 1990.
R. Back. Refinement of parallel and reactive programs. In M. Broy, editor, Program Design Calculi, NATO ASI Series, pages 73–92. Springer-Verlag, 1993.
R. Back and M. Butler. Exploring summation and product operators in the refinement calculus. Technical Report on Computer Science & Mathematics, Ser. A. No 152, Åbo Akademi, 1994.
R. Back and R. Kurki-Suonio. Distributed co-operation with action systems. ACM Transactions on Programming Languages and Systems 10:513–554, 1988.
R. Back and K. Sere. Action systems with synchronous communication. In IFIP TC 2 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), pages 107–126. Elsevier, 1994.
R. Back and K. Sere. From action systems to modular systems. In Proceeding of Formal Methods Europe '94. LNCS 873, Springer Verlag, 1994.
R. Back and J. von Wright. Trace refinement of action systems. In CONCUR 94, pages 367–384. LNCS 836, Springer Verlag, 1994.
Craig Chambers and Gary T. Leavens. Type checking and modules for multi-methods. Technical Report #95-19, Iowa State University, August 1995.
K. M. Chandy and J. Misra. Parallel Program Design—A Foundation. Addison Wesley, 1988.
K.M. Chandy. A discipline of multiprogramming. Available from the PSP group's ftp site ftp://ftp.cs.utexas.edu/pub/psp/seuss/discipline.ps.Z, June 1996.
N. Francez and I. Forman. Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming. ACM Press, 1996.
Eric J. Hedman. Action-Oberon. Master's thesis, Åbo Akademi University, 1995.
Carl Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3), 1977.
H.-M. Järvinen and R. Kurki-Suonio. DisCo specification language: Marriage of action and objects. In Proceedings of 11th International Conference on Distributed Computing Systems, pages 142–151, Arlington, Texas, 1991. IEEE Computer Society Press.
R.E. Johnson and B. Foote. Designing reusable classes. Journal of Object-Oriented Programming, June 1:2 1988.
Cliff B. Jones. A π-calculus semantics for an object-based design notation. In Proceedings of CONCUR 93, pages 158–172. LNCS 715, Springer Verlag, 1993.
C.E. Martin. Preordered Categories and Predicate Transformers. PhD thesis. Programming Research Group, Oxford University, 1991.
D.A. Naumann. Two-Categories and Program Structure: Data Types, Refinement Calculi, and Predicate Transformers. PhD thesis, University of Texas at Austin, 1992.
Oberon microsystems, Inc. Oberon/F. http://www.oberon.ch, 1995.
P. Mössenböck and N. Wirth. The programming language Oberon-2. Structured Programming 12:179–195, 1991.
Clemens A. Szyperski. Import is not inheritance — Why we need both: Modules and classes. In Proceedings of ECOOP 92, pages 19–32. LNCS 615, Springer Verlag, 1992.
Clemens A. Szyperski. Independently extensible systems — software engineering potential and challenges. In Proceedings of the 19th Austalasian Computer Science Conference, Melbourne, 1996.
D.J. Walker. Objects in the π-calculus. Information and Computation, 116(2):253–271, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Back, R., Büchi, M., Sekerinski, E. (1997). Action-based concurrency and synchronization for objects. In: Bertran, M., Rus, T. (eds) Transformation-Based Reactive Systems Development. ARTS 1997. Lecture Notes in Computer Science, vol 1231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63010-4_17
Download citation
DOI: https://doi.org/10.1007/3-540-63010-4_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63010-4
Online ISBN: 978-3-540-69058-0
eBook Packages: Springer Book Archive