Abstract
The OO-action systems formalism is a recent extension of action systems towards object-orientation. An OO-action system models an object-oriented system with active objects. In this paper we make the notion of a distributed object clear within this framework. Moreover, we show how object-based distributed systems are designed stepwise within a formal framework, the refinement calculus.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
G. Agha.. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
M. Abadi and K.R.M. Leino. A logic of object-oriented programs. In Theory and Practice of Software Development, TAPSOFT’97, LNCS 1214, Springer-Verlag, 1997.
R.M. Amadio. An asynchronous model of locality, failure, and process mobility. In Coordination Languages and Models, LNCS 1282, pages 374391, Springer-Verlag, 1997.
P. America, J. W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Operational semantics of a parallel object-oriented language. In Proc. 13th ACM Symposium on Principles of Programming Languages, pages 194–208, 1986.
R.J.R. Back. Procedural abstraction in the refinement calculus. Technical report A-55, Department of Computer Science, Abo Akademi Univeristy, Turku, Finland, 1987.
R.J.R. Back. Refinement calculus, part II: parallel and reactive programs. In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, LNCS 430, pages 67–93, Springer-Verlag, 1990.
R.J.R. Back, M. Büchi, and E. Sekerinski. Action-based concurrence and synchronization for objects. In Proc. 4th AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, Springer-Verlag, 1997.
R.J.R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. Distributed Computing, 3 (2): 73–87, 1983.
R.J.R. Back and K. Sere. From action systems to modular systems. Software - Concepts and Tools 17, Springer Verlag, 1996.
M.M. Bonsangue, J.N. Kok, and K. Sere. An approach to object-orientation in action systems. In Proc. 4th Mathematics of Program Construction, LNCS 1422, pages 68–95, Springer-Verlag, 1998.
M.H. Brown and M.A. Najork. Distributed active objects. SRC Research Report 141a, DEC Palo Alto CA, 1996.
L. Cardelli. A language with distributed scope. Computing Systems 8 (1): 27–29, 1995.
E.W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
U. Hensel, M. Huisman, B. Jacobs, and H. Tews. Reasoning about classes in object-oriented languages: logical models and tools. In European Symposium on Programming, LNCS 1381, pages 105–121, Springer-Verlag, 1998.
C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence 8 (3), 1997.
H.-H. Järvinen and R. Kurki-Suonio. DisCo specification language: marriage of actions and objects. In Proc. of the 11th International Conference on Distributed Computing Systems, IEEE Computer Society Press, pages 142–151, 1991.
C.B. Jones. A 7r-calculus semantics for an object-based design notation. In Proc. of CONCUR’93, LNCS 715, Springer-Verlag, 1993.
L. Lamport. The temporal logic of actions. Research report 79, DEC Systems research Center. To appear in ACM Transactions on Programming Languages and Systems, 1991.
K. Lano and H. Haughton. Reasoning and refinement in object-oriented specification languages. In European Conference on Object-Oriented Programming ‘92, LNCS 615, Springer-Verlag, 1992.
P.J. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering 242, pages 97–110, 1998.
A. Mikhajlova and E. Sekerinski. Class refinement and interface refinement in object-oriented programs. In Proc. 4th Formal Methods Europe Symposium, LNCS 1313, Springer-Verlag, 1997.
R. Milner, J. Parrow, and D.J. Walker. A calculus of mobile processes. Information and Computation 100 1, pages 1–40, 1992.
C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems10: 3, pages 403–419, 1988.
J.M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9: 287–306, 1987.
R. Orfali, D. Harkey, and J. Edwards. Distributed Objects: Survival Guide. John Wiley and Sons, Inc., 1996.
K. Sere and M. Waldén. Data refinement of remote procedures. In Proc. of the Symposium on Theoretical Aspects of Computer Software, LNCS 1281, pages 267–294, Springer-Verlag, 1997.
D.J. Walker. Objects in the 7r-calculus. Information and Computation, 116 (2): 253–271, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
Bonsangue, M.M., Kok, J.N., Sere, K. (1999). Developing Object-Based Distributed Systems. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive