LEADER 06488nam 22008295 450 001 9910143621203321 005 20200705091121.0 010 $a3-540-45441-1 024 7 $a10.1007/3-540-45441-1 035 $a(CKB)1000000000211582 035 $a(SSID)ssj0000320737 035 $a(PQKBManifestationID)11264085 035 $a(PQKBTitleCode)TC0000320737 035 $a(PQKBWorkID)10258147 035 $a(PQKB)11087687 035 $a(DE-He213)978-3-540-45441-0 035 $a(MiAaPQ)EBC3072894 035 $a(PPN)155166263 035 $a(EXLCZ)991000000000211582 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aUML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools $e4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings /$fedited by Martin Gogolla, Cris Kobryn 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XIV, 514 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2185 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42667-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talk -- The Preacher at Arrakeen -- Metamodeling -- An Action Semantics for MML -- The Essence of Multilevel Metamodeling -- Mapping between Levels in the Metamodel Architecture -- Activity Diagrams -- An Execution Algorithm for UML Activity Graphs -- Timing Analysis of UML Activity Diagrams -- UML Activity Diagrams as a Workflow Specification Language -- OCL -- On Querying UML Data Models with OCL -- OCL as a Specification Language for Business Rules in Database Applications -- A Formal Semantics for OCL 1.4 -- Architecture and Patterns -- Refactoring UML Models -- UML Support for Designing Software Systems as a Composition of Design Patterns -- Integrating the ConcernBASE Approach with SADL -- Analysis and Testing -- The Message Paradigm in Object-Oriented Analysis -- A UML-Based Approach to System Testing -- Performance and Databases -- UML Modelling and Performance Analysis of Mobile Software Architectures -- Extending UML for Object-Relational Database Design -- Invited Talk -- Understanding UML ? Pains and Rewards -- Graph Transformations -- A Formal Semantics of UML State Machines Based on Structured Graph Transformation -- A Visualization of OCL Using Collaborations -- Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model -- Real-Time and Embedded Systems -- A New UML Profile for Real-Time System Formal Design and Validation -- Representing Embedded System Sequence Diagrams as a Formal Language -- Scenario-Based Monitoring and Testing of Real-Time UML Models -- Associations and Ontology -- Semantics of the Minimum Multiplicity in Ternary Associations in UML -- Extending UML to Support Ontology Engineering for the Semantic Web -- On Associations in the Unified Modelling Language -- Statecharts -- iState: A Statechart Translator -- Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML -- Formalization of UML-Statecharts -- Invited Talk -- UML for Agent-Oriented Software Development: The Tropos Proposal -- Components -- A UML Meta-model for Contract Aware Components -- A Specification Model for Interface Suites -- Use Cases -- Against Use Case Interleaving -- Estimating Software Development Effort Based on Use Cases ? Experiences from Industry -- Workshops and Tutorials -- Workshops and Tutorials at the UML 2001 Conference. 330 $aThis book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2185 606 $aSoftware engineering 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aManagement information systems 606 $aComputer science 606 $aInformation technology 606 $aBusiness?Data processing 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aIT in Business$3https://scigraph.springernature.com/ontologies/product-market-codes/522000 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aInformation technology. 615 0$aBusiness?Data processing. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aManagement of Computing and Information Systems. 615 24$aIT in Business. 676 $a005.3 702 $aGogolla$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKobryn$b Cris$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143621203321 996 $aUML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools$91935962 997 $aUNINA