Abstract
UML is the first OO modeling language with a useful modularization and information hiding concept. It supports nesting, import, and refinement of so-called packages. This paper translates UML’s informal package definition into predicate logic formulas and solves some open problems concerning the visibility of exported and imported modeling elements.
Furthermore, the formulas will be transformed into a specification based on PROgrammed Graph REwriting Systems. We will very briefly sketch how a graphical UML editor can be generated from this PROGRES specification.
This work has been supported by APPLIGRAPH.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ABOWD, G. and GARLAN, D. (1995): Formalizing Style to Understand Descriptions of Software Architecture. ACM Transactions on Software Engineering and Methodology, 4(4), 319–364.
BATES, B., BRUEL, J., FRANCE, R., and LARRONDO-PETRIE, M. (1996): Guidelines for Formalizing Fusion Object-Oriented Analysis Models. In Proc. CAiSE’96, LNCS 1080, Springer Verlag, Berlin, 222–233.
BOOCH, G. (1994): Object-Oriented Analysis and Design. Benjamin Cummings Series in Object-Oriented Software Engineering. Benjamin Cummings, Redwood City, CA.
BÖRSTLER, J. (1994): Programming-in-the-Large: Languages, Tools, Reusability. Dissertation (RWTH Aachen), TR UMINF 94. 10, Department of Computer Science, Umeâ University, Sweden (in German).
BREU, R. (1991): Algebraic Specification Techniques in Object-Oriented Programming Environments. LNCS 562, Springer Verlag, Berlin.
DEREMER, F and KRON, H. (1976): Programming-in-the-large versus Programmingin-the-small. IEEE Transactions on Software Engineering, 2(2), 80–86.
ELLIS, M. and STROUSTRUP, B. (1994): The Annotated C++ Reference Manual. Addison-Wesley, Reading, MA.
FIRESMITH, D.G. (1993): Object-Oriented Requirements Analysis and Logical Design: A Software Engineering Approach. John Wiley, New York.
JACOBSON, I. (1994): Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading, MA, fourth edition.
JONCKERS, V., VERSCHAEVE, K., WYDAEGHE, B., CUYPERS, L., and HEIR-BAUT, J. (1996): OMT*, Bridging the Gap between Analysis and Design. In Proc. FORTE ‘85. Chapman & Hall, 39–55.
NAGL, M. (1990): Software Engineering: Methodological Programming-in-the-Large. Springer Verlag (in German).
PALSBERG, J. and SCHWARTZBACH, M. (1994): Object-Oriented Type Systems. John Wiley, New York.
PARNAS, D. (1972): A Technique for Software Module Specifications with Examples. Communications of the ACM, 15, 330–336.
RATIONAL ROSE SOFTWARE CORPORATION (1997): UML Semantics, Version 1.1, September 1, URL:http://www.rational.com
RICE, M. and SEIDMAN, S. (1994): A Formal Model for Module Interconnection Languages. IEEE Transactions on Software Engineering, 20(1), 88–101.
ROBINSON, P.J. (1992): Hierarchical Object-Oriented Design. Prentice Hall, Englewood Cliffs, MA.
RUMBAUGH, J., BLAHA, M., EDDY, W, and LORENSEN, W. (1991): Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, NJ.
SCHOENHACKER, M. and PRONK, C. (1996): ISO/IEC 10514–1, The Modula-2 standard: Changes, Clarifications, and Additions. ACM SIPGPLAN notices, 31(8), 84–95.
SCHÜRR, A. (1996): Logic Based Programmed Structure Rewriting Systems. Fundamenta Informaticae, XXVI(3/4).
SCHÜRR, A. and WINTER, A. (1997a): Formal Definition and Refinement of UML’s Module/Package Concept. In Kilov H., Rumpe B. (eds.): Proc. ECOOP ‘87 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, TR TUM-I9725, Technical University Munich, also to be published in LNCS, Springer Verlag.
SCHÜRR, A. and WINTER, A. (1997b): Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Technical Report AIB 97–3, RWTH Aachen, Germany.
SCHÜRR, A., WINTER, A., and ZÜNDORF A. (1995): Graph Grammar Engineering with PROGRES. In Schäfer W., Botella P. (eds.): Proc. 5th European Software Engineering Conf (ESEC ‘85), LNCS 989. Springer Verlag, Berlin, 219–234.
WIENER, R. and SINCOVEC, R. (1984): Software Engineering with Modula-2 and Ada. John Wiley, New York, NY.
WIRFS-BROCK, R., WILKERSON, B., and WIENER, L. (1990): Designing Object-Oriented Software. Prentice Hall, Englewood Cliffs, NJ.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Physica-Verlag Heidelberg
About this paper
Cite this paper
Schürr, A., Winter, A. (1998). Formal Definition of UML’s Package Concept. In: Schader, M., Korthaus, A. (eds) The Unified Modeling Language. Physica-Verlag HD. https://doi.org/10.1007/978-3-642-48673-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-48673-9_10
Publisher Name: Physica-Verlag HD
Print ISBN: 978-3-7908-1105-6
Online ISBN: 978-3-642-48673-9
eBook Packages: Springer Book Archive