A compositional formalism for object viewpoints

IFIP Advances in Information and Communication Technology

Volumn 81, Issue , 2002, Pages 45-60

  Johnsen, Einar Broch ^a   Owe, Olaf ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

Formal specification; Interfaces; Object orientation; Refinement; Viewpoints

Indexed keywords

INFORMATION TECHNOLOGY; INTERFACES (MATERIALS);

ASPECT-ORIENTED; COMPOSITIONAL REASONING; EXCHANGE OF OBJECTS; OBJECT INTERFACES; OBJECT ORIENTATION; OBSERVABLE BEHAVIOR; REFINEMENT; VIEWPOINTS;

FORMAL SPECIFICATION;

EID: 84891316113     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35496-5_5     Document Type: Article

References (25)

1. Abadi, M. and Lamport, L. (1991). The existence of refinement mappings. Theoretical Computer Science, 82(2):253-284.
2. Agha, G. A., Mason, I. A., Smith, S. F. and Talcott, C. L. (1997). A foundation for actor computation. Journal of Functional Programming, 7(1): 1-72.
3. Alpern, B. and Schneider, F. B. (1985). Defining liveness. Information Processing Letters, 21(4):181-185.
4. Andrews, J. H. (2001). Process-algebraic foundations of aspect-oriented programming. In A. Yonezawa and S. Matsouka, editors, Proceedings of Reflection 2001, volume 2192 of Lecture Notes in Computer Science, pages 187-209, Springer-Verlag.
5. Apt, K. R. and Olderog, E.-R. (1991). Verification of Sequential and Concurrent Systems. Texts and Monographs in Computer Science. Springer-Verlag, Berlin.
6. Back, R. J. R. and Von Wright, J. (1994). Trace refinement of action systems. In B. Jonsson and J. Parrow, editors, Proceedings ofCONCUR'94, volume 836 of Lecture Notes in Computer Science, pages 367-384. Springer, Uppsala, Sweden.
7. Blair, L. and Blair, G. (1999). Composition in multi-paradigm specification techniques. In R. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proceedings of FMOODS'99, pages 401-418. Kluwer Academic Publishers.
8. Boiten, E., Derrick, J., Bowman, H. and Steen, M. (1996). Consistency and refinement for partial specification inZ. In M.-C. Gaudel and J. Woodcock, editors, Proceedings ofFME'96, volume 1051 of Lecture Notes in Computer Science, pages 287-306. Springer.
9. Broy, M. and Stolen, K. (2001). Specification and Development of Interactive Systems. Monographs in Computer Science. Springer.
10. Gavel, M, Duran, R, Eker, S., Lincoln, R, Marti-Oliet, N., Meseguer, J. and Quesada, J. R (2001). Maude: Specification and programming in rewriting logic. Theoretical Computer Science. To appear.
11. The component object model specification. (1995). http: //www. microsoft.com/ com.
12. Hoare, C. A. R. (1985). Communicating Sequential Processes. Prentice Hall.
13. ITU Recommendation X.901-904 ISO/IEC 10746. (1995). Open Distributed Processing - Reference Model parts 1-4. ISO/IEC.
14. Johnsen, E. B. and Owe, O. (2001). A PVS proof environment for OUN. Research Report 295, Department of informatics, University of Oslo.
15. Jones, C. B. (1981). Development Methods for Computer Programmes Including a Notion of Interference. PhD thesis, Oxford University, UK.
16. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C, Lopes, C, Loingtier, J.-M. and Irwin, J. (1997). Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, Proceedings ofECOOP'97, volume 1241 of Lecture Notes in Computer Science. Springer.
17. Milner, R. (1999). Communicating and Mobile Systems: the n-Calculus. Prentice Hall.
18. Nelson, T., Cowan, D. and Alencar, P. (2000). A model for dsecribing object-oriented systems from multiple perspectives. In Proceedings ofFASE 2000, volume 1783 of Lecture Notes in Computer Science, pages 237-248. Springer.
19. Object Management Group. (2001). UML Language Specification, version 1.4.
20. Owe, O. and Ryl, I. (1999). A notation for combining formal reasoning, object orientation and openness. Research Report 278, Department of informatics, University of Oslo.
21. Owre, S., Rushby, J., Shankar, N. and Von Henke, F. (1995). Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering, 21(2):107-125.
22. Roscoe, W. A. (1997). Theory and Practice of Concurrency. Prentice Hall.
23. Smith, G. (2000). The Object-Z Specification Language. Kluwer Academic Publishers.
24. Tarr, P., Ossher, H. L., Harrison, W. H. and Sutton, S. M. Jr. (1999). N degrees of separation: Multi-dimentional separation of concerns. In Proceedings of the 21st International Conference on Software Engineering, pages 107-119. IEEE/ACM Press.
25. Warmer, J. and Kleppe, A. (1999). The Object Constraint Language: Precise Modeling with UML. Object Technology Series. Addison-Wesley.