LEADER 05202oam 2200589 450 001 9910143641703321 005 20210715151929.0 010 $a3-540-46852-8 024 7 $a10.1007/3-540-46852-8 035 $a(CKB)1000000000211191 035 $a(SSID)ssj0000320739 035 $a(PQKBManifestationID)11235367 035 $a(PQKBTitleCode)TC0000320739 035 $a(PQKBWorkID)10268661 035 $a(PQKB)11482449 035 $a(DE-He213)978-3-540-46852-3 035 $a(MiAaPQ)EBC3072489 035 $a(MiAaPQ)EBC6485962 035 $a(PPN)155207873 035 $a(EXLCZ)991000000000211191 100 $a20210715d1999 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aUML'99 - the unified modeling language $ebeyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings /$fedited by Robert France, Bernhard Rumpe 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (XVII, 726 p.) 225 1 $aLecture Notes in Computer Science ;$v1723 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66712-1 327 $aInvited Talk 1 (Abstract) -- Architecting Web-Based Systems with the Unified Modeling Language -- Software Architecture -- Extending Architectural Representation in UML with View Integration -- Enabling the Refinement of a Software Architecture into a Design -- Using the UML for Architectural Description -- UML and Other Notations -- Viewing the OML as a Variant of the UML -- A Comparison of the Business Object Notation and the Unified Modeling Language -- Formalizing the UML Class Diagram Using Object-Z -- Formalizing Interactions -- A Formal Approach to Collaborations in the Unified Modeling Language -- A Formal Semantics for UML Interactions -- Panel 1 -- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? -- Meta-Modeling -- Core Meta-Modelling Semantics of UML: The pUML Approach -- A Metamodel for OCL -- Tools -- Tool-Supported Compression of UML Class Diagrams -- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository -- Components -- Modeling Dynamic Software Components in UML -- Extending UML for Modeling Reflective Software Components -- UML Extension Mechanisms -- Nine Suggestions for Improving UML Extensibility -- A Classification of Stereotypes for Object-Oriented Modeling Languages -- First-Class Extensibility for UML ? Packaging of Profiles, Stereotypes, Patterns -- Process Modeling -- UML-Based Fusion Analysis -- Using UML for Modelling the Static Part of a Software Process -- Framework for Describing UML Compatible Development Processes -- Invited Talk 2 -- On the Behavior of Complex Object-Oriented Systems -- Real-Time Systems -- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain -- Modeling Hard Real Time Systems with UML The OOHARTS Approach -- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems -- Constraint Languages -- Defining the Context of OCL Expressions -- Mixing Visual and Textual Constraint Languages -- Correct Realizations of Interface Constraints with OCL -- Analyzing UML Models 1 -- Generating Tests from UML Specifications -- Formalising UML State Machines for Model Checking -- Panel 2 -- SDL as UML: Why and What Panel -- Coding 1 -- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages -- UML Collaboration Diagrams and Their Transformation to Java -- Analyzing UML Models 2 -- Towards Three-Dimensional Representation and Animation of UML Diagrams -- Typechecking UML Static Models -- Precise Behavioral Modeling -- Analysing UML Use Cases as Contracts -- Closing the Gap between Object-Oriented Modeling of Structure and Behavior -- Static Modeling -- Black and White Diamonds -- Interconnecting Objects via Contracts -- How Can a Subsystem Be Both a Package and a Classifier? -- Applying the UML -- Using UML/OCL Constraints for Relational Database Design -- Towards a UML Extension for Hypermedia Design -- Why Unified Is not Universal -- Sequence Diagrams -- Timed Sequence Diagrams and Tool-Based Analysis ? A Case Study -- Timing Analysis of UML Sequence Diagrams -- Coding 2 -- The Normal Object Form: Bridging the Gap from Models to Code -- Modeling Exceptional Behavior -- Panel 3 -- Advanced Methods and Tools for a Precise UML. 410 0$aLecture notes in computer science ;$v1723. 606 $aUML (Computer science)$vCongresses 606 $aComputer software$xDevelopment$vCongresses 606 $aObject-oriented methods (Computer science)$vCongresses 615 0$aUML (Computer science) 615 0$aComputer software$xDevelopment 615 0$aObject-oriented methods (Computer science) 676 $a005.1 702 $aRumpe$b Bernhard 702 $aFrance$b Robert 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a9910143641703321 996 $aUML'99 - the unified modeling language$92087459 997 $aUNINA