An asynchronous communication model for distributed concurrent objects

Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

Volumn , Issue , 2004, Pages 188-197

  Johnsen, Einar Broch ^a   Owe, Olaf ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS COMMUNICATION MODEL; ASYNCHRONOUS METHOD CALLS; EFFICIENCY CONTROL; REMOTE METHOD INVOCATION (RMI);

CONCURRENT ENGINEERING; INTERNET; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 16244380509     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2004.1347520     Document Type: Conference Paper

References (32)

1. E. Ábrahám-Mumm, F. S. de Boer, W.-P. de Roever, and M. Steffen. Verification for Java's reentrant multithreading concept. In Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS'02), LNCS 2303, pages 5-20. Springer, Apr. 2002.
2. G. A. Agha. Abstracting interaction patterns: A programming paradigm for open distributed systems. In E. Najm and J.-B. Stefani, editors, Proc. Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'96), pages 135-153, Paris, 1996. Chapman & Hall.
3. G. A. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1): 1-72, Jan. 1997.
4. P. America. POOL-T: A parallel object-oriented language. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming, pages 199-220. The MIT Press, Cambridge, Mass., 1987.
5. G. R. Andrews. Concurrent Programming: Principles and Practice. Addison-Wesley, Reading, Mass., 1991.
6. N. Benton, L. Cardelli, and C. Fouenet. Modern concurrency abstractions for C#. In B. Magnusson, editor, Proc. of 16th European Conf. on Object-Oriented Programming (ECOOP 2002), LNCS 2374, pages 415-440. Springer, June 2002.
7. P. Brinch Hansen. Java's insecure parallelism. ACM SIGPLAN Notices, 34(4):38-45, Apr. 1999.
8. D. Caromel and Y. Roudier. Reactive programming in Eiffel//. In J.-P. Briot, J. M. Geib, and A. Yonezawa, editors, Proc. of the Conf. on Object-Based Parallel and Distributed Computation, LNCS 1107, pages 125-147. Springer, 1996.
9. P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. An event-based structural operational semantics of multi-threaded Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, LNCS 1523, pages 157-200. Springer, 1999.
10. M. Clavel. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, Stanford, California, 2000.
11. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 285:187-243, Aug. 2002.
12. G. Cugola and C. Ghezzi. CJava: Introducing concurrent objects in Java. In M. E. Orlowska and R. Zicari, editors, 4th Intl. Conf. on Object Oriented Information Systems (OOIS'97), pages 504-514. Springer, 1997.
13. O.-J. Dahl. Monitors revisited. In A. W. Roscoe, editor, A Classical Mind, Essays in Honour of C.A.R. Hoare, pages 93-103. Prentice Hall, 1994.
14. Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO 2002, LNCS 2852, pages 71-98. Springer, 2003.
15. C. de Oliveira Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Pontifícia Univ. Católica do Rio de Janeiro, 2001.
16. C. Ghezzi and M. Jazayeri. Programming Language Concepts. John Wiley & Sons, 3rd edition, 1998.
17. J. Goguen and J. Tardo. An introduction to OBJ: A language for writing and testing formal algebraic program specifications. In N. Gehani and A. McGettrick, editors, Software Specification Techniques. Addison-Wesley, 1986.
18. J. Gosling, B. Joy, G. L. Steele, and G. Bracha. The Java language specification. Addison-Wesley, 2000.
19. International Telecommunication Union. Open Distributed Processing - Reference Model parts 1-4. Technical report, ISO/IEC, Geneva, July 1995.
20. E. B. Johnsen and O. Owe. A compositional formalism for object viewpoints. In B. Jacobs and A. Rensink, editors, Proc. 5th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02), pages 45-60. Kluwer Academic Publishers, Mar. 2002.
21. E. B. Johnsen and O. Owe. Object-oriented specification and open distributed systems. In O. Owe, S. Krogdahl, and T. Lyche, editors, From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, LNCS 2635, pages 137-164. Springer, 2004.
22. E. B. Johnsen, O. Owe, and E. W. Axelsen. A run-time environment for concurrent objects with asynchronous methods calls. In Proc. 5th Intl. Workshop on Rewriting Logic and its Applications (WRLA'04), Mar. 2004. To appear in Electronic Notes in Theoretical Computer Science. Elsevier.
23. C. B. Jones. Development Methods for Computer Programmes Including a Notion of Interference. PhD thesis, Oxford University, UK, June 1981.
24. B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, Nov. 1994.
25. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic Java classes. In E. Bertino, editor, 14th European Conf. on Object-Oriented Programming (ECOOP'00), LNCS 1850, pages 337-361. Springer, June 2000.
26. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theor. Comp. Science, 96:73-155, 1992.
27. R. Milner. Communication and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
28. E. Najm and J.-B. Stefani. A formal semantics for the ODP computational model. Computer Networks and ISDN Systems, 21:1305-1329, 1995.
29. O. Nierstrasz. A tour of Hybrid - A language for programming with active objects. In D. Mandrioli and B. Meyer, editors, Advances in Object-Oriented Software Engineering, pages 167-182. Prentice Hall, 1992.
30. O. Owe and I. Ryl. A notation for combining formal reasoning, object orientation and openness. Research Report 278, Dept. of informatics, Univ. of Oslo, Norway, Nov. 1999.
31. N. Soundarajan and S. Fridella. Inheritance: From code reuse to reasoning reuse. In P. Devanbu and J. Poulin, editors, Proc. 5th Intl. Conf. on Software Reuse (ICSR5), pages 206-215. IEEE CS Press, 1998.
32. A. Yonezawa. ABCL: An Object-Oriented Concurrent System. Series in Computer Systems. The MIT Press, 1990.