Formal Definition of UML's Package Concept

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.

[1]  Ruth Breu,et al.  Algebraic Specification Techniques in Object Oriented Programming Environments , 1991, Lecture Notes in Computer Science.

[2]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[3]  Andy Schürr.  Logic Based Programmed Structure Rewriting Systems , 1996, Fundam. Informaticae.

[4]  Cornelis Pronk,et al.  ISO/IEC 10514–1, the standard for Modula-2: changes, clarifications and additions , 1996, SIGP.

[5]  Andy Schürr,et al.  Graph Grammar Engineering with PROGRES , 1995, ESEC.

[6]  Rebecca Wirfs-Brock,et al.  Designing object-oriented software , 1990 .

[7]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.

[8]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975 .

[9]  Richard Wiener,et al.  Software Engineering with MODULA-2 and ADA , 1984 .

[10]  Michael D. Rice,et al.  A Formal Model for Module Interconnection Languages , 1994, IEEE Trans. Software Eng..

[11]  Robert B. France,et al.  Guidelines for Formalizing Fusion Object-Oriented Analysis Methods , 1996, CAiSE.

[12]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[13]  Peter J. Robinson.  Hierarchical object-oriented design , 1992 .

[14]  B. W. Bates,et al.  Guidelines for Formalizing Fusion Object-Oriented AnalysisModels ? , 1996 .

[15]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[16]  Gregory D. Abowd,et al.  Formalizing style to understand descriptions of software architecture , 1995, TSEM.

[17]  Andy Schürr,et al.  Formal Definition and Refinement of UML's Module/Package Concept , 1997, ECOOP Workshops.

[18]  Viviane Jonckers,et al.  OMT*, Bridging the Gap between Analysis and Design , 1995, FORTE.

[19]  James Martin,et al.  Object-oriented analysis and design , 1992 .

[20]  Bjarne Stroustrup,et al.  The Annotated C++ Reference Manual , 1990 .

[21]  Andreas J. Winter,et al.  Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems , 1997 .

[22]  Jens Palsberg,et al.  Object-oriented type systems , 1994, Wiley professional computing.

[23]  Donald Firesmith.  Object-oriented requirements analysis and logical design - a software engineering approach , 1993, Wiley professional computing.