Abstract
We present work on a formal model for the composition of object-oriented modules, or hyperslices, which represent different perspectives on the system being built. With the model, we should be able to study existing approaches such as subject-oriented programming, as well as extend other object-oriented languages, such as the UML, to accommodate the use of hyperslices. We show here a sample of the specification language that accompanies the formal model, and a small example of its use.
Chapter PDF
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
Martin Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.
Paulo Alencar, Donald Cowan, Carlos Lucena, and Torsten Nelson. Viewpoints as an evolutionary approach to software system maintenance. In Proceedings of IEEE International Conference on Software Maintenance, October 1997.
Grady Booch, James Rumbaugh, and Ivar Jacobson. Unified Modeling Language User Guide. Addison-Wesley, 1998.
E. J. Cameron, N. Griffeth, Y.-J. Lin, M. Nilson, and W. Schnure. A feature interaction benchmark for IN and Beyond. In W. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 1–23. IOS Press, 1994.
P. Coad and E. Yourdon. Object-Oriented Analysis. Prentice Hall, 1989.
Steve Easterbrook and Bashar Nuseibeh. Using ViewPoints for inconsistency management. Software Engineering Journal, 11(1):31–43, January 1996.
A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: a framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31–57, 1992.
C. Gane and T. Sarson. Structured Systems Analysis: Tools and Techniques. Prentice Hall, 1979.
William Harrison and Harold Ossher. Subject-oriented programming (a critique of pure objects). In Proceedings of OOPSLA’ 93, pages 411–428. ACM, 1993.
I. M. Holland. Specifying reusable components using contracts. In Proceedings of ECOOP’ 92, 1992. Lecture Notes in Computer Science no. 615.
ISO. ITU Recommendation X.901-904 — ISO/IEC 10746 1–4: Open Distributed Processing — Reference Model — Parts 1–4. ISO, 1995.
Daniel Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology, 4(4):365–389, October 1995.
Michael Jackson. Software Requirements and Specifications: a lexicon of principles, practices and prejudices. Addison-Wesley, 1995.
Gregor Kiczales, J. Lamping, A. Mendhekar, C. Lopes, J. Loingtier, and J. Irwin. Aspectoriented programming. In Proceedings of ECOOP’ 97, 1997.
Bent Bruun Kristensen. Roles: Conceptual abstraction theory and practical language issues. Special Issue of Theory and Practice of Object Systems (TAPOS) on Subjectivity on Object-Oriented Systems, 1996.
Harold Ossher and Peri Tarr. Operation-level composition: a case in (join) point. In Proceedings of the 1998 ECOOP Workshop on Aspect-Oriented Programming, 1998.
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748–752, Saratoga, NY, June 1992. Springer-Verlag.
James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
Mark Skipper and Sophia Drossopoulou. Formalising composition-oriented programming. In Proceedings of the 1999 ECOOP Workshop on Aspect-Oriented Programming, 1999.
Peri Tarr, Harold Ossher, William Harrison, and S. Sutton. N degrees of separation: Multidimensional separation of concerns. In Proceedings of the 21st International Conference on Software Engineering, pages 107–119, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nelson, T., Cowan, D., Alencar, P. (2000). A Model for Describing Object-Oriented Systems from Multiple Perspectives. In: Maibaum, T. (eds) Fundamental Approaches to Software Engineering. FASE 2000. Lecture Notes in Computer Science, vol 1783. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46428-X_17
Download citation
DOI: https://doi.org/10.1007/3-540-46428-X_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67261-6
Online ISBN: 978-3-540-46428-0
eBook Packages: Springer Book Archive