Abstract
UML is the first OO modeling language with a useful modularization and information hiding concept which supports nesting, import, and refinement. This paper translates UML’s informal package definition into predicate logic formulas and solves some open problems concerning the visibility of exported and imported elements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Booch G.: Object-Oriented Analysis and Design. Series in Object-Oriented Software Engineering. Benjamin Cummings, Redwood City, CA, 1994.
Börstler J.: Programmieren-im-Großen: Sprachen, Werkzeuge, Wiederverwendung. Dissertation (RWTH Aachen), TR UMINF 94.10, Department of Computer Science, Umeå University, Sweden, 1994.
Breu R.: Algebraic Specification Techniques in Object-Oriented Programming Environments, LNCS 562. Springer-Verlag, 1991.
Jacobson I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading, MA, fourth edition, 1994.
Nagl M.: Softwaretechnik: Methodisches Programmieren im Großen. Springer-Verlag, 1990.
Palsberg J., Schwartzbach M. I.: Object-Oriented Type Systems. John Wiley, New York, NY, 1994.
Rational Software Corporation: UML Semantics, Version 1.0. http://www.rational.com, 1997.
Robinson P. J.: Hierarchical Object-Oriented Design. Prentice Hall, Englewood Cliffs, MA, 1992.
Rumbaugh J., Blaha M., Eddy W. P. F., Lorensen W.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, NJ, 1991.
Schürr A.: Logic Based Programmed Structure Rewriting Systems. Fundamenta Informaticae, XXVI(3/4), 1996.
Schürr A., Winter A. J.: Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. TR AIB 97-3, RWTH Aachen, Germany, 1997.
Schürr A., Winter A. J., Zündorf A.: Graph Grammar Engineering with PROGRES. In Schäfer W., Botella P. (eds.): Proc. 5th European Software Engineering Conf. (ESEC’95), LNCS 989, pp. 219–234. Springer Verlag, Berlin, 1995.
Wirfs-Brock R., Wilkerson B., Wiener L.: Designing Object-Oriented Software. Prentice Hall, Englewood Cliffs, NJ, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schürr, A., Winter, A.J. (1998). Formal Definition and Refinement of UML’s Module/Package Concept. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_43
Download citation
DOI: https://doi.org/10.1007/3-540-69687-3_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64039-4
Online ISBN: 978-3-540-69687-2
eBook Packages: Springer Book Archive