LEADER 07012nam 22008055 450 001 9910144031403321 005 20230829231133.0 010 $a3-540-45221-4 024 7 $a10.1007/b14063 035 $a(CKB)1000000000212219 035 $a(SSID)ssj0000320731 035 $a(PQKBManifestationID)11230054 035 $a(PQKBTitleCode)TC0000320731 035 $a(PQKBWorkID)10259110 035 $a(PQKB)11434802 035 $a(DE-He213)978-3-540-45221-8 035 $a(MiAaPQ)EBC3089090 035 $a(PPN)155205676 035 $a(EXLCZ)991000000000212219 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aUML 2003 -- The Unified Modeling Language, Modeling Languages and Applications$b[electronic resource] $e6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings /$fedited by Perdita Stevens, Jon Whittle, Grady Booch 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XIV, 418 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2863 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20243-9 320 $aIncludes bibliographical references and index. 327 $aInvited Talk 1 -- Agile Processes: Developing Your Own ?Secret Recipes? -- Practical Model Management -- Difference and Union of Models -- GREAT: UML Transformation Tool for Porting Middleware Applications -- Model-Centric Engineering with the Evolution and Validation Environment -- Time and Quality of Service -- Representing Temporal Information in UML -- Formal Semantics of UML with Real-Time Constructs -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications -- ProGUM-Web: Tool Support for Model-Based Development of Web Applications -- Composition and Architecture -- On the Key Role of Composition in Object-Oriented Modelling -- Compositional and Relational Reasoning During Class Abstraction -- Encoding Informal Architectural Descriptions with UML: An Experience Report -- Invited Talk 2 -- UML/MDA Reality Check: Heterogenous Architecture Style -- Transformation -- Towards Automating Source-Consistent UML Refactorings -- Model Refactorings as Rule-Based Update Transformations -- Reflective Model Driven Engineering -- The Web -- A Model-Driven Runtime Environment for Web Applications -- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems -- Platform Independent Web Application Modeling -- Testing and Validation -- Rigorous Testing by Merging Structural and Behavioral UML Representations -- Towards Automated Support for Deriving Test Data from UML Statecharts -- Validation of UML and OCL Models by Automatic Snapshot Generation -- Improving UML/OCL -- A Critique of UML?s Definition of the Use-Case Class -- Modelling Database Views with Derived Classes in the UML/OCL-framework -- An OCL Extension for Low-Coupling Preserving Contracts -- Invited Talk 3 -- What Is the Point of the UML? -- Consistency -- Using Description Logic to Maintain Consistency between UML Models -- Modeling and Testing Legacy Data Consistency Requirements -- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development -- Methodology -- Developing Safety-Critical Systems with UML -- Consistent and Complete Access Control Policies in Use Cases -- STAIRS ? Steps To Analyze Interactions with Refinement Semantics -- Workshops and Tutorials -- Workshops at the UML 2003 Conference -- Tutorials at the UML 2003 Conference. 330 $aThe past year has been an eventful one for those interested in software modeling. The first major revision of the Unified Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners and researchers is to help smooth the adoption of this new language. Increasingly, attention is being paid to the use of specialized languages, often profiles of UML, appropriate for different purposes; this is one way to make UML less overwhelming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of increasing the benefits from modeling throughout the software development process. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting benefits of higher-level thinking. Much work remains to be done. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2863 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer simulation 606 $aManagement information systems 606 $aComputer science 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer simulation. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSimulation and Modeling. 615 24$aManagement of Computing and Information Systems. 676 $a005.1/17 702 $aStevens$b Perdita$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWhittle$b Jon$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBooch$b Grady$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aUML 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144031403321 996 $aUML 2003 -- The Unified Modeling Language, Modeling Languages and Applications$92204560 997 $aUNINA