Skip header Section
Skip Bibliometrics Section
Unified Modeling Language Reference Manual, The (2nd Edition)July 2004
- Authors:
- James Rumbaugh,
- Ivar Jacobson,
- Grady Booch
Skip Abstract Section
Abstract
“If you are a serious user of UML, there is no other book quite like this one. I have been involved with the UML specification process for some time, but I still found myself learning things while reading through this book-especially on the changes and new capabilities that have come with UML.” ï ï ï ï ï ï ï ï ï -Ed Seidewitz, Chief Architect, IntelliData Technologies CorporationThe latest version of the Unified Modeling Language-UML 2.0-has increased its capabilities as the standard notation for modeling software-intensive systems. Like most standards documents, however, the official UML specification is difficult to read and navigate. In addition, UML 2.0 is far more complex than previous versions, making a thorough reference book more essential than ever.In this significantly updated and expanded edition of the definitive reference to the standard, James Rumbaugh, Ivar Jacobson, and Grady Booch-the UML's creators-clearly and completely describe UML concepts, including major revisions to sequence diagrams, activity models, state machines, components, internal structure of classes and components, and profiles. Whether you are capturing requirements, developing software architectures, designing implementations, or trying to understand existing systems, this is the book for you.Highlights include: Alphabetical dictionary of articles covering every UML concept Integrated summary of UML concepts by diagram type Two-color diagrams with extensive annotations in blue Thorough coverage of both semantics and notation, separated in each article for easy reference Further explanations of concepts whose meaning or purpose is obscure in the original specifications Discussion sections offering usage advice and additional insight into tricky concepts Notation summary, with references to individual articles A hyperlinked version of the book in Adobe Reader format on CD-ROM, an excellent resource for browsing or searching the text for specific information An enhanced online index available on the book's web site allowing readers to quickly and easily search the entire text for specific topicsThe result is an indispensable resource for anyone who needs to understand the inner workings of the industry standard modeling language.
Cited By
Amrani M, Ouared A and Schobbens P Towards the systematic design of model animation Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (755-765)- Nicacio J and Petrillo F An approach to build consistent software architecture diagrams using devops system descriptors Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (312-321)
- Dobrean D and Dioşan L (2022). Pathways for statically mining the Model-View-Controller software architecture on mobile applications, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 26:19, (10493-10511), Online publication date: 1-Oct-2022.
- Al-Safi N, Al-Asiri R, Al-Malki M and Abar S (2022). Fostering Childcare E-Service, International Journal of Interdisciplinary Telecommunications and Networking, 14:1, (1-21), Online publication date: 22-Sep-2022.
- Blas M, Leone H and Gonnet S (2022). DEVS-based formalism for the modeling of routing processes, Software and Systems Modeling (SoSyM), 21:3, (1179-1208), Online publication date: 1-Jun-2022.
- Bhering F, Passos D, Ochi L, Obraczka K and Albuquerque C (2022). Wireless multipath video transmission: when IoT video applications meet networking—a survey, Multimedia Systems, 28:3, (831-850), Online publication date: 1-Jun-2022.
- Sequeiros J, Chimuco F, Samaila M, Freire M and Inácio P (2020). Attack and System Modeling Applied to IoT, Cloud, and Mobile Ecosystems, ACM Computing Surveys, 53:2, (1-32), Online publication date: 31-Mar-2021.
- Gogolla M Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models Distributed Computing and Internet Technology, (24-43)
- Ferraris D, Fernandez-Gago C and Lopez J (2020). A model-driven approach to ensure trust in the IoT, Human-centric Computing and Information Sciences, 10:1, Online publication date: 14-Dec-2020.
- Servadei L, Mosca E, Devarajegowda K, Werner M, Ecker W and Wille R Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning Proceedings of the 2020 on Great Lakes Symposium on VLSI, (405-410)
- Zhu X, Nacenta M, Akgün Ö and Nightingale P (2020). How People Visually Represent Discrete Constraint Problems, IEEE Transactions on Visualization and Computer Graphics, 26:8, (2603-2619), Online publication date: 1-Aug-2020.
- Koné Y, Maïga O and Traoré M Using hills as a common concrete syntax for ses and devs Proceedings of the 2020 Summer Simulation Conference, (1-11)
- Webber T, Santana J, Vermeulen A and Bowles J Designing a Patient-Centric System for Secure Exchanges of Medical Data Computational Science and Its Applications – ICCSA 2020, (598-614)
- Majthoub M, Odeh Y and Hijjawi M Non-Functional Requirements Classification for Aligning Business with Information Systems Proceedings of the 2020 International Conference on Big Data in Management, (84-89)
- Mogul J, Goricanec D, Pool M, Shaikh A, Turk D, Koley B and Zhao X Experiences with modeling network topologies at multiple levels of abstraction Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation, (403-418)
- Bonfanti S, Gargantini A and Mashkoor A (2019). Design and validation of a C++ code generator from Abstract State Machines specifications, Journal of Software: Evolution and Process, 32:2, Online publication date: 3-Feb-2020.
- Hasegawa I and Yokogawa T Automatic Verification for Node-Based Visual Script Notation Using Model Checking Formal Methods and Software Engineering, (52-68)
- Holubová I, Svoboda M and Lu J Unified Management of Multi-model Data Conceptual Modeling, (439-447)
- Marmsoler D and Gidey H (2019). Interactive verification of architectural design patterns in FACTum, Formal Aspects of Computing, 31:5, (541-610), Online publication date: 1-Nov-2019.
- Simon A, Geldreich K and Hubwieser P How to Transform Programming Processes in Scratch to Graphical Visualizations Proceedings of the 14th Workshop in Primary and Secondary Computing Education, (1-9)
- Gomes D, Campos-Rebelo R and Moutinho F Web-based Editor for Signal Interpretation Models IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, (5892-5897)
- Maltesque G, Catolino G and Ferrucci F (2019). An extensive evaluation of ensemble techniques for software change prediction, Journal of Software: Evolution and Process, 31:9, Online publication date: 13-Oct-2019.
- Rodrigues V, Donetti S and Damiani F (2019). Certifying delta-oriented programs, Software and Systems Modeling (SoSyM), 18:5, (2875-2906), Online publication date: 1-Oct-2019.
- Westman J and Nyberg M (2019). Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions, Requirements Engineering, 24:2, (231-256), Online publication date: 1-Jun-2019.
- Ivie P and Thain D (2018). Reproducibility in Scientific Computing, ACM Computing Surveys, 51:3, (1-36), Online publication date: 31-May-2019.
- Chren S, Buhnova B, Macak M, Daubner L and Rossi B Mistakes in UML diagrams Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, (100-109)
- Fontana E and Petrillo F Visualizing sequences of debugging sessions using swarm debugging Proceedings of the 27th International Conference on Program Comprehension, (139-143)
- Tateishi T, Yoshihama S, Sato N and Saito S (2019). Automatic smart contract generation using controlled natural language and template, IBM Journal of Research and Development, 63:2-3, (6:1-6:12), Online publication date: 1-Mar-2019.
- Tianual P and Pohthong A Defects Detection Technique of Use Case Views during Requirements Engineering Proceedings of the 2019 8th International Conference on Software and Computer Applications, (277-281)
- Sanfilippo F, Stavdahl Ø and Liljebäck P (2018). SnakeSIM, Artificial Life and Robotics, 23:4, (449-458), Online publication date: 1-Dec-2018.
- Kakarontzas G and Pardalidou C Improving component coupling information with dynamic profiling Proceedings of the 22nd Pan-Hellenic Conference on Informatics, (156-161)
- Marcondes F, Almeida J and Novais P Chatbot Theory Intelligent Data Engineering and Automated Learning – IDEAL 2018, (374-384)
- Cleaveland R Programming Is Modeling Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (150-161)
- Seo M and Lysecky R (2018). Non-Intrusive In-Situ Requirements Monitoring of Embedded System, ACM Transactions on Design Automation of Electronic Systems, 23:5, (1-27), Online publication date: 18-Oct-2018.
- Miranda G, Bernabé C, Santos L and Barcellos M Where Enterprise Architecture and Early Software Engineering Meet Proceedings of the XVII Brazilian Symposium on Software Quality, (240-249)
- Pourali P Tooling advances inspired to address observed challenges of developing UML-like models when using modelling tools Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (168-173)
- Kästner A, Gogolla M and Selic B From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (13-22)
- Grgurina N, Barendsen E, Suhre C, Zwaneveld B and van Veen K Assessment of modeling and simulation in secondary computing science education Proceedings of the 13th Workshop in Primary and Secondary Computing Education, (1-10)
- Ermel G, Farias K, Gonçales L and Bischoff V Supporting the Composition of UML Component Diagrams Proceedings of the XIV Brazilian Symposium on Information Systems, (1-9)
- Torchiano M and Bruno G Integrating software engineering key practices into an OOP massive in-classroom course Proceedings of the 2nd International Workshop on Software Engineering Education for Millennials, (64-71)
- Naujokat S, Lybecait M, Kopetzki D and Steffen B (2018). CINCO, International Journal on Software Tools for Technology Transfer (STTT), 20:3, (327-354), Online publication date: 1-Jun-2018.
- Dósea M, Sant'Anna C and da Silva B How do design decisions affect the distribution of software metrics? Proceedings of the 26th Conference on Program Comprehension, (74-85)
- Kielar P and Borrmann A (2018). Spice, Autonomous Agents and Multi-Agent Systems, 32:3, (387-416), Online publication date: 1-May-2018.
- Tran-JØrgensen P, Larsen P and Leavens G (2018). Automated translation of VDM to JML-annotated Java, International Journal on Software Tools for Technology Transfer (STTT), 20:2, (211-235), Online publication date: 1-Apr-2018.
- (Weber) Dupree J, Lank E and Berry D (2018). A case study of using grounded analysis as a requirement engineering method, Science of Computer Programming, 152:C, (1-37), Online publication date: 15-Jan-2018.
- Ali S and Wrembel R (2017). From conceptual design to performance optimization of ETL workflows, The VLDB Journal — The International Journal on Very Large Data Bases, 26:6, (777-801), Online publication date: 1-Dec-2017.
- Burgueño L and Gogolla M Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL Service-Oriented Computing, (113-122)
- Funke A and Geldreich K Measurement and Visualization of Programming Processes of Primary School Students in Scratch Proceedings of the 12th Workshop on Primary and Secondary Computing Education, (101-102)
- Dantas C and de A. Maia M On the actual use of inheritance and interface in Java projects Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, (151-160)
- Vlasov A and Demin A Visual methods of formalization of knowledge in the conditions of the synchronous technologies of system engineering Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia, (1-7)
- Luque L, de Oliveira Brandão L, Kira E, Alves A and Brandão F Inclusion in computing and engineering education: Perceptions and learning in diagram-based e-learning classes with blind and sighted learners 2017 IEEE Frontiers in Education Conference (FIE), (1-8)
- Farzaneh M, Kugele S and Knoll A A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (1-8)
- Mubarak O, Bihanic D, Cubaud P and Bianchini S Art installations Proceedings of the 8th International Conference on Digital Arts, (23-30)
- Abushark Y, Thangarajah J, Harland J and Miller T (2017). A framework for automatically ensuring the conformance of agent designs, Journal of Systems and Software, 131:C, (266-310), Online publication date: 1-Sep-2017.
- Degueule T, Combemale B, Blouin A, Barais O and Jzquel J (2017). Safe model polymorphism for flexible modeling, Computer Languages, Systems and Structures, 49:C, (176-195), Online publication date: 1-Sep-2017.
- Krleža D and Fertalj K (2017). Graph Matching Using Hierarchical Fuzzy Graph Neural Networks, IEEE Transactions on Fuzzy Systems, 25:4, (892-904), Online publication date: 1-Aug-2017.
- Overton M (2017). The IDAR graph, Communications of the ACM, 60:7, (40-45), Online publication date: 26-Jun-2017.
- Herbold S and Hoffmann A (2017). Model-based testing as a service, International Journal on Software Tools for Technology Transfer (STTT), 19:3, (271-279), Online publication date: 1-Jun-2017.
- Herbold S, Harms P and Grabowski J (2017). Combining usage-based and model-based testing for service-oriented architectures in the industrial practice, International Journal on Software Tools for Technology Transfer (STTT), 19:3, (309-324), Online publication date: 1-Jun-2017.
- Faitelson D and Tyszberowicz S UML diagram refinement (focusing on class- and use case diagrams) Proceedings of the 39th International Conference on Software Engineering, (735-745)
- Catolino G, Palomba F, De Lucia A, Ferrucci F and Zaidman A Developer-related factors in change prediction Proceedings of the 25th International Conference on Program Comprehension, (186-195)
- Chondrogiannis E, Andronikou V, Tagaris A, Karanastasis E, Varvarigou T and Tsuji M (2017). A novel semantic representation for eligibility criteria in clinical trials, Journal of Biomedical Informatics, 69:C, (10-23), Online publication date: 1-May-2017.
- Sabegh M and Recker J (2017). Combined Use of Conceptual Models in Practice, Journal of Database Management, 28:2, (56-88), Online publication date: 1-Apr-2017.
- Overton M (2017). The IDAR Graph, Queue, 15:2, (29-48), Online publication date: 1-Apr-2017.
- Polani G and Cegnar B (2017). Complexity metrics for process models A systematic literature review, Computer Standards & Interfaces, 51:C, (104-117), Online publication date: 1-Mar-2017.
- Jiang J, Zhu H, Li Q, Zhao Y, Zhao L, Zhang S, Gong P, Hong Z and Chen D (2017). Event-Based Mobility Modeling and Analysis, ACM Transactions on Cyber-Physical Systems, 1:2, (1-32), Online publication date: 28-Feb-2017.
- Cañizares P, Merayo M, Vara J, Nguyen N, Núñez M and Trawiński B (2017). LAnt, Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 32:2, (1343-1354), Online publication date: 1-Jan-2017.
- Bell D, Cordeaux C, Stephenson T, Dawe H, Lacey P and O'Leary L Designing effective hybridization for whole system modeling and simulation in healthcare Proceedings of the 2016 Winter Simulation Conference, (1511-1522)
- Dumont C, Mourlin F and Nel L A mobile distributed system for remote resource access Proceedings of the 14th International Conference on Advances in Mobile Computing and Multi Media, (154-163)
- Martin-Rodilla P and Gonzalez-Perez C Extracting static and dynamic model elements from textual specifications in humanities Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality, (949-955)
- Ben Abdessalem Karaa W, Ben Azzouz Z, Singh A, Dey N, S. Ashour A and Ben Ghazala H (2016). Automatic builder of class diagram ABCD, Software—Practice & Experience, 46:11, (1443-1458), Online publication date: 1-Nov-2016.
- Burnay C (2016). Are Stakeholders the Only Source of Information for Requirements Engineers? Toward a Taxonomy of Elicitation Information Sources, ACM Transactions on Management Information Systems, 7:3, (1-29), Online publication date: 18-Oct-2016.
- Golra F, Beugnard A, Dagnat F, Guerin S and Guychard C Using free modeling as an agile method for developing domain specific modeling languages Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (24-34)
- (2016). A multidimensional data model design for building energy management, Advanced Engineering Informatics, 30:4, (619-632), Online publication date: 1-Oct-2016.
- Ovatman T, Aral A, Polat D and Ünver A (2016). An overview of model checking practices on verification of PLC software, Software and Systems Modeling (SoSyM), 15:4, (937-960), Online publication date: 1-Oct-2016.
- Fronza I, El Ioini N and Corral L Teaching Software Design Engineering Across the K-12 Curriculum Proceedings of the 17th Annual Conference on Information Technology Education, (97-101)
- Chen C and Xing Z Mining Technology Landscape from Stack Overflow Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, (1-10)
- Anurag , Arora D and Kumar U Protecting Sensitive Warehouse Data through UML based Modeling Proceedings of the International Conference on Informatics and Analytics, (1-6)
- Lenartowicz S and Wineberg M mpEAd Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion, (93-94)
- Esayas S, Mahler T and Mcgillivray K Is a Picture Worth a Thousand Terms? Visualising Contract Terms and Data Protection Requirements for Cloud Computing Users ICWE 2016 International Workshops on Current Trends in Web Engineering - Volume 9881, (39-56)
- Jacobson I, Spence I and Kerr B (2016). Use-case 2.0, Communications of the ACM, 59:5, (61-69), Online publication date: 26-Apr-2016.
- Malik M, Pfeffer J, Ferreira G and Kästner C Visualizing the variational callgraph of the Linux kernel Proceedings of the Symposium and Bootcamp on the Science of Security, (93-94)
- Ed-douibi H, Izquierdo J, Gómez A, Tisi M and Cabot J EMF-REST Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1446-1453)
- Botella J, Delahaye J, Jaffuel E, Legeard B and Peureux F (2016). Achieving SCA Conformance Testing with Model-Based Testing, Journal of Signal Processing Systems, 83:1, (113-128), Online publication date: 1-Apr-2016.
- Singh M, Sharma A and Saxena R A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System Proceedings of the Second International Conference on Information and Communication Technology for Competitive Strategies, (1-8)
- Dhukaram A and Baber C (2016). A Systematic Approach for Developing Decision Aids, Systems Engineering, 19:2, (79-100), Online publication date: 1-Mar-2016.
- Mijumbi R, Serrat J, Gorricho J, Bouten N, De Turck F and Boutaba R (2016). Network Function Virtualization: State-of-the-Art and Research Challenges, IEEE Communications Surveys & Tutorials, 18:1, (236-262), Online publication date: 1-Jan-2016.
- Westman J and Nyberg M Formal Architecture Modeling of Sequential C-Programs Revised Selected Papers of the 12th International Conference on Formal Aspects of Component Software - Volume 9539, (312-329)
- Dranidis D, Stamatopoulou I and Ntika M Learning and Practicing Systems Analysis and Design with StudentUML Proceedings of the 7th Balkan Conference on Informatics Conference, (1-8)
- Motii A, Hamid B, Lanusse A and Bruel J Guiding the selection of security patterns based on security requirements and pattern classification Proceedings of the 20th European Conference on Pattern Languages of Programs, (1-17)
- Gogolla M, Hamann L, Hilken F and Sedlmeier M Modeling Behavior with Interaction Diagrams in a UML and OCL Tool Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (31-58)
- Confort V, Revoredo K, Baiao F and Santoro F Ontology Extraction from Stories Proceedings of the annual conference on Brazilian Symposium on Information Systems: Information Systems: A Computer Socio-Technical Perspective - Volume 1, (243-250)
- Beidu S, Atlee J and Shaker P Incremental and commutative composition of state-machine models of features Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (13-18)
- Siavashi F and Truscan D Environment modeling in model-based testing Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, (1-6)
- Aseniero B, Wun T, Ledo D, Ruhe G, Tang A and Carpendale S STRATOS Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, (1479-1488)
- Fähnrich C, Schapranow M and Plattner H Facing the genome data deluge Proceedings of the 30th Annual ACM Symposium on Applied Computing, (18-25)
- Denil J, Meyers B, De Meulenaere P and Vangheluwe H Explicit semantic adaptation of hybrid formalisms for FMI co-simulation Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (99-106)
- Belli F and Beyazit M (2015). Exploiting Model Morphology for Event-Based Testing, IEEE Transactions on Software Engineering, 41:2, (113-134), Online publication date: 1-Feb-2015.
- Sanchez A, Oliveira N, Barbosa L and Henriques P (2015). A perspective on architectural re-engineering, Science of Computer Programming, 98:P4, (764-784), Online publication date: 1-Feb-2015.
- Hiremath D, Misra H, Chaudhary S and Hiremath B Assessment of Village Level Demand on e-Governance Services Using Participatory Rural Appraisal Proceedings of the 2014 International Conference on Information and Communication Technology for Competitive Strategies, (1-7)
- Wu N and Simpson A (2014). Formal relational database design: an exercise in extending the formal template language, Formal Aspects of Computing, 26:6, (1231-1269), Online publication date: 1-Nov-2014.
- Berger T, Stănciulescu Ş, Øgård O, Haugen Ø, Larsen B and Wąsowski A To connect or not to connect Proceedings of the 18th International Software Product Line Conference - Volume 1, (330-339)
- Exman I A bootstrap theory: the SEMAT kernel itself as runnable software Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering, (9-12)
- El-Fakih K, Yevtushenko N and Simao A (2014). A practical approach for testing timed deterministic finite state machines with single clock, Science of Computer Programming, 80:PB, (343-355), Online publication date: 1-Feb-2014.
- Neto M and Leite J Análise das dimensões cognitivas de ALaDIM Proceedings of the 12th Brazilian Symposium on Human Factors in Computing Systems, (52-61)
- Hamann L and Gogolla M Endogenous Metamodeling Semantics for Structural UML 2 Concepts Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (488-504)
- Jiang J, Zhang S, Gong P and Hong Z (2013). Configuring business process models, ACM SIGSOFT Software Engineering Notes, 38:4, (1-10), Online publication date: 12-Jul-2013.
- Ambert F, Bouquet F, Lasalle J, Legeard B and Peureux F Applying a def-use approach on signal exchange to implement SysML model-based testing Proceedings of the 9th European conference on Modelling Foundations and Applications, (134-151)
- Aguilera D, Gómez C and Olivé A Enforcement of conceptual schema quality issues in current integrated development environments Proceedings of the 25th international conference on Advanced Information Systems Engineering, (626-640)
- Heß M Towards a domain-specific method for multi-perspective hospital modelling Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design, (369-385)
- Kulesza U, Soares S, Chavez C, Castor F, Borba P, Lucena C, Masiero P, Sant'Anna C, Ferrari F, Alves V, Coelho R, Figueiredo E, Pires P, Delicato F, Piveta E, Silva C, Camargo V, Braga R, Leite J, Lemos O, MendonçA N, Batista T, BonifáCio R, Cacho N, Silva L, Von Staa A, Silveira F, Valente M, Alencar F, Castro J, Ramos R, Penteado R and Rubira C (2013). The crosscutting impact of the AOSD Brazilian research community, Journal of Systems and Software, 86:4, (905-933), Online publication date: 1-Apr-2013.
- Casini G, Gerber A and Meyer T A note on the translation of conceptual data models into description logics Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (10-20)
- Francisco M and Castro L Automatic generation of test models and properties from UML models with OCL constraints Proceedings of the 12th Workshop on OCL and Textual Modelling, (49-54)
- Kuhlmann M and Gogolla M From UML and OCL to relational logic and back Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (415-431)
- Maraee A and Balaban M Inter-association constraints in UML2 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (302-318)
- Davies J, Gibbons J, Milward D and Welch J Compositionality and refinement in model-driven engineering Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications, (99-114)
- Lin L, Yang W and Lin J (2012). A layer-based method for rapid software development, Computers & Mathematics with Applications, 64:5, (1364-1375), Online publication date: 1-Sep-2012.
- Müller K How to make unified modeling language diagrams accessible for blind students Proceedings of the 13th international conference on Computers Helping People with Special Needs - Volume Part I, (186-190)
- Fant J, Gomaa H and Pettit R A comparison of executable model based approaches for embedded systems Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, (16-22)
- Bavota G, De Lucia A, Fasano F, Oliveto R and Zottoli C Teaching software engineering and software project management: an integrated and practical approach Proceedings of the 34th International Conference on Software Engineering, (1155-1164)
- Konstantinidis G, Anastassopoulos G, Karakos A, Anagnostou E and Danielides V (2012). A User-Centered, Object-Oriented Methodology for Developing Health Information Systems, Journal of Medical Systems, 36:2, (437-450), Online publication date: 1-Apr-2012.
- Cunha J, Fernandes J and Saraiva J From relational ClassSheets to UML+OCL Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1151-1158)
- Chen J and Kulkarni S Application of automated revision for UML models Proceedings of the 13th international conference on Distributed Computing and Networking, (31-45)
- Costal D, Gómez C and Guizzardi G Formal semantics and ontological analysis for understanding subsetting, specialization and redefinition of associations in UML Proceedings of the 30th international conference on Conceptual modeling, (189-203)
- Maraee A and Balaban M On the interaction of inter-relationship constraints Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, (1-8)
- Demuth A, Lopez-Herrejon R and Egyed A Cross-layer modeler Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, (452-455)
- Löwe M (2011). Refactoring information systems, ACM SIGSOFT Software Engineering Notes, 36:4, (1-7), Online publication date: 4-Aug-2011.
- Lasalle J, Peureux F and Guillet J Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems Proceedings of the First International Workshop on End-to-End Test Script Engineering, (16-23)
- Stappers F, Weber S, Reniers M, Andova S and Nagy I Formalizing a domain specific language using SOS Proceedings of the 4th international conference on Software Language Engineering, (223-242)
- Reder A Inconsistency management framework for model-based development Proceedings of the 33rd International Conference on Software Engineering, (1098-1101)
- da Mota Silveira Neto P, Carmo Machado I, McGregor J, de Almeida E and de Lemos Meira S (2011). A systematic mapping study of software product lines testing, Information and Software Technology, 53:5, (407-423), Online publication date: 1-May-2011.
- Xu J, Houssin R, Caillaud E and Gardoni M (2011). Fostering continuous innovation in design with an integrated knowledge management approach, Computers in Industry, 62:4, (423-436), Online publication date: 1-May-2011.
- Ortiz A Teaching concurrency-oriented programming with Erlang Proceedings of the 42nd ACM technical symposium on Computer science education, (195-200)
- Haxthausen A, Peleska J and Kinder S (2011). A formal approach for the construction and verification of railway control systems, Formal Aspects of Computing, 23:2, (191-219), Online publication date: 1-Mar-2011.
- Lasalle J, Bouquet F, Legeard B and Peureux F (2011). SysML to UML model transformation for test generation purpose, ACM SIGSOFT Software Engineering Notes, 36:1, (1-8), Online publication date: 24-Jan-2011.
- Snook C, Savicks V and Butler M Verification of UML models by translation to UML-B Proceedings of the 9th international conference on Formal Methods for Components and Objects, (251-266)
- DeLoach S and Garcia-Ojeda J (2010). O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems, International Journal of Agent-Oriented Software Engineering, 4:3, (244-280), Online publication date: 1-Nov-2010.
- Sturm A, Balaban M and Maraee A (2010). Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach, International Journal of Information System Modeling and Design, 1:4, (24-47), Online publication date: 1-Oct-2010.
- Pérez-Sanagustín M, Hernández-Leo D, Nieves R and Blat J Representing the spaces when planning learning flows Proceedings of the 5th European conference on Technology enhanced learning conference on Sustaining TEL: from innovation to learning and practice, (276-291)
- Dang D, Truong A and Gogolla M On scenario synchronization Proceedings of the 8th international conference on Automated technology for verification and analysis, (97-111)
- Henderson-Sellers B Consolidating diagram types from several agent-oriented methodologies Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (293-345)
- Laguna M, Marqués J and Crespo Y On the semantics of the extend relationship in use case models Proceedings of the 22nd international conference on Advanced information systems engineering, (409-423)
- Rodríguez-Domínguez C, Benghazi K, Noguera M and Garrido J Redefinable events for dynamic reconfiguration of communications in ubiquitous computing Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures, (17-22)
- Scanniello G, D'Amico A, D'Amico C and D'Amico T An approach for architectural layer recovery Proceedings of the 2010 ACM Symposium on Applied Computing, (2198-2202)
- Soeken M, Wille R, Kuhlmann M, Gogolla M and Drechsler R Verifying UML/OCL models using Boolean satisfiability Proceedings of the Conference on Design, Automation and Test in Europe, (1341-1344)
- Ahmad A and Basson H Software evolution modelling Proceedings of the 7th International Conference on Frontiers of Information Technology, (1-4)
- Ling L and Palaniappan S Online CASE tool for collaborative software modelling Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services, (452-456)
- Fernández R, Lizcano D, Ortega S and Soriano J Towards a user-centered composition system for service-based composite applications Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services, (321-330)
- La H and Kim S Adapter patterns for resolving mismatches in service discovery Proceedings of the 2009 international conference on Service-oriented computing, (498-508)
- La H and Kim S A Systematic Process for Developing High Quality SaaS Cloud Services Proceedings of the 1st International Conference on Cloud Computing, (278-289)
- Moisan S and Rigault J Teaching object-oriented modeling and UML to various audiences Proceedings of the 2009 international conference on Models in Software Engineering, (40-54)
- Lima V, Talhi C, Mouheb D, Debbabi M, Wang L and Pourzandi M (2009). Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages, Electronic Notes in Theoretical Computer Science (ENTCS), 254, (143-160), Online publication date: 1-Oct-2009.
- Zanni-Merk C, Cavallucci D and Rousselot F (2009). An ontological basis for computer aided innovation, Computers in Industry, 60:8, (563-574), Online publication date: 1-Oct-2009.
- Donins U Software development with the emphasis on topology Proceedings of the 13th East European conference on Advances in Databases and Information Systems, (220-228)
- Gomaa H and Shin M Separating application and security concerns in use case models Proceedings of the 15th workshop on Early aspects, (1-6)
- Lin J An architecture for consumer support systems Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems, (98-105)
- Muhairat M and Al-Qutaish R An approach to derive the use case diagrams from an event table Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems, (33-38)
- Bubak O and Gomaa H (2008). Applying software product line concepts in service orientation, International Journal of Intelligent Information and Database Systems, 2:4, (383-396), Online publication date: 1-Nov-2008.
- Huang Y, Dillon L and Stirewalt R On Mechanisms for Deadlock Avoidance in SIP Servlet Containers Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks, (196-216)
- Astesiano E and Reggio G Revising the UML collaborations Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development, (1-23)
- Xie S, Kraemer E, Stirewalt R, Dillon L and Fleming S Assessing the benefits of synchronization-adorned sequence diagrams Proceedings of the 4th ACM symposium on Software visualization, (9-18)
- Castro M, Niño A and Muñoz-Caro C Accurate Numerical Computation of Rovibrational G Matrices in Molecules of Arbitrary Size Proceeding sof the international conference on Computational Science and Its Applications, Part I, (1011-1025)
- Vincent M Communicating requirements for business Proceedings of the 3rd international workshop on Applications and advances of problem frames, (16-22)
- Olszewski M and Cyra L An integrated framework for security protocol analysis Proceedings of the 2008 ACM symposium on Information, computer and communications security, (77-86)
- Lê D and Janicki R A categorical approach to mereology and its application to modelling software components Transactions on rough sets VIII, (146-174)
- Stefanov V and List B A UML profile for representing business object states in a data warehouse Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery, (209-220)
- Boella G and Steimann F Roles and relationships in object-oriented programming, multiagent systems and ontologies Proceedings of the 2007 conference on Object-oriented technology, (108-122)
- Ahn G and Hu H Towards realizing a formal RBAC model in real systems Proceedings of the 12th ACM symposium on Access control models and technologies, (215-224)
- Ricca F, Di Penta M, Torchiano M, Tonella P and Ceccato M The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes Proceedings of the 29th international conference on Software Engineering, (375-384)
- Wang K and Shen W Runtime Checking of UML Association-Related Constraints Proceedings of the 5th International Workshop on Dynamic Analysis
- Zhu L and Gorton I UML Profiles for Design Decisions and Non-Functional Requirements Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
- Avila-García O, García A and Rebull E Using software product lines to manage model families in model-driven engineering Proceedings of the 2007 ACM symposium on Applied computing, (1006-1011)
- Haxthausen A and Peleska J A domain-oriented, model-based approach for construction and verification of railway control systems Formal methods and hybrid real-time systems, (320-348)
- Costal D and Gómez C On the use of association redefinition in UML class diagrams Proceedings of the 25th international conference on Conceptual Modeling, (513-527)
- Fries T A framework for transforming structured analysis and design artifacts to UML Proceedings of the 24th annual ACM international conference on Design of communication, (105-112)
- Baar T Correctly defined concrete syntax for visual modeling languages Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (111-125)
- Bézivin J, Büttner F, Gogolla M, Jouault F, Kurtev I and Lindow A Model transformations? transformation models! Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (440-453)
- Costal D, Gómez C, Queralt A, Raventós R and Teniente E Facilitating the definition of general constraints in UML Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (260-274)
- Diskin Z and Dingel J Mappings, maps and tables Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (230-244)
- Zito A, Diskin Z and Dingel J Package merge in UML 2 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (185-199)
- Gomaa H A software modeling odyssey Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (1-15)
- Berkenkötter K and Hannemann U Modeling the railway control domain rigorously with a UML 2.0 profile Proceedings of the 25th international conference on Computer Safety, Reliability, and Security, (398-411)
- Santos R, Roberto P, Gonçalves M and Laender A Design, implementation, and evaluation of a wizard tool for setting up component-based digital libraries Proceedings of the 10th European conference on Research and Advanced Technology for Digital Libraries, (135-146)
- Büttner F and Gogolla M Realizing graph transformations by pre- and postconditions and command sequences Proceedings of the Third international conference on Graph Transformations, (398-413)
- Grossmann G, Schrefl M and Stumptner M Verification of business process integration options Proceedings of the 4th international conference on Business Process Management, (432-438)
- Haydarlou A, Overeinder B, Oey M and Brazier F Multi-level model-based self-diagnosis of distributed object-oriented systems Proceedings of the Third international conference on Autonomic and Trusted Computing, (67-77)
- Ye Y, Yang D, Jiang Z and Tong L A knowledge- and workflow-based system for supporting order fulfillment process in the build-to-order supply chains Proceedings of the First Asian conference on The Semantic Web, (711-724)
- Francopoulo G, Bel N, George M, Calzolari N, Monachini M, Pet M and Soria C Lexical Markup Framework (LMF) for NLP multilingual resources Proceedings of the Workshop on Multilingual Language Resources and Interoperability, (1-8)
- Kopeček I and Ošlejšek R Creating pictures by dialogue Proceedings of the 10th international conference on Computers Helping People with Special Needs, (61-68)
- Balaban M and Maraee A Consistency of UML class diagrams with hierarchy constraints Proceedings of the 6th international conference on Next Generation Information Technologies and Systems, (71-82)
- Gomaa H and Saleh M Feature driven dynamic customization of software product lines Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components, (58-72)
- Liu H, Lu Y and Yang Q XML conceptual modeling with XUML Proceedings of the 28th international conference on Software engineering, (973-976)
- Paula Filho W Quality gates in use-case driven development Proceedings of the 2006 international workshop on Software quality, (33-38)
- Svetinovic D, Berry D and Godfrey M Increasing quality of conceptual models Proceedings of the 2006 international workshop on Role of abstraction in software engineering, (19-22)
- Chatzigeorgiou A, Tsantalis N and Stephanides G Application of graph theory to OO software engineering Proceedings of the 2006 international workshop on Workshop on interdisciplinary software engineering research, (29-36)
- Min H and Kim S A technique to represent and generate components in MDA/PIM for automation Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering, (293-307)
- Baar T, Marković S, Fondement F and Strohmeier A Definition and correct refinement of operation specifications Dependable Systems, (127-144)
- Riehle R (2006). Linguistic continuity in software engineering, ACM SIGSOFT Software Engineering Notes, 31:1, (1-5), Online publication date: 1-Jan-2006.
- Milanova A Precise identification of composition relationships for UML class diagrams Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, (76-85)
- Hilsbos M, Song I and Choi Y A comparative analysis of use case relationships Proceedings of the 24th international conference on Perspectives in Conceptual Modeling, (53-62)
- Ibarra-Alvarado I, Stobart R and Lutz R Software hazard analysis for x-by-wire applications Proceedings of the 2005 international conference on Satellite Events at the MoDELS, (341-342)
- Cruz-Lemus J, Genero M, Manso M and Piattini M Evaluating the effect of composite states on the understandability of UML statechart diagrams Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (113-125)
- Sanders R, Castejón H, Kraemer F and Bræk R Using UML 2.0 collaborations for compositional service specification Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (460-475)
- Street J and Pettit R The impact of UML 2.0 on existing UML 1.4 models Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (431-444)
- Sohr K, Ahn G, Gogolla M and Migge L Specification and validation of authorisation constraints using UML and OCL Proceedings of the 10th European conference on Research in Computer Security, (64-79)
- Min H and Kim S A technique to represent product line core assets in MDA/PIM for automation Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, (66-80)
- Grossmann G, Ren Y, Schrefl M and Stumptner M Behavior based integration of composite business processes Proceedings of the 3rd international conference on Business Process Management, (186-204)
- Schmit B and Dustdar S Systematic design of web service transactions Proceedings of the 6th international conference on Technologies for E-Services, (23-33)
- Stefanov V, List B and Korherr B Extending UML 2 activity diagrams with business intelligence objects Proceedings of the 7th international conference on Data Warehousing and Knowledge Discovery, (53-63)
- Otero M and Dolado J (2005). An empirical comparison of the dynamic modeling in OML and UML, Journal of Systems and Software, 77:2, (91-102), Online publication date: 1-Aug-2005.
- Katz E and Katz S Verifying scenario-based aspect specifications Proceedings of the 2005 international conference on Formal Methods, (432-447)
- Sohr K, Ahn G and Migge L (2005). Articulating and enforcing authorisation policies with UML and OCL, ACM SIGSOFT Software Engineering Notes, 30:4, (1-7), Online publication date: 1-Jul-2005.
- Saleh M and Gomaa H (2005). Separation of concerns in software product line engineering, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
- Martínez H Synthesizing state-machine behaviour from UML collaborations and use case maps Proceedings of the 12th international conference on Model Driven, (339-359)
- Sohr K, Ahn G and Migge L Articulating and enforcing authorisation policies with UML and OCL Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications, (1-7)
- Saleh M and Gomaa H Separation of concerns in software product line engineering Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, (1-5)
- Marlowe T, Ku C and Benham J Design patterns for database pedagogy Proceedings of the 36th SIGCSE technical symposium on Computer science education, (48-52)
- Marlowe T, Ku C and Benham J (2005). Design patterns for database pedagogy, ACM SIGCSE Bulletin, 37:1, (48-52), Online publication date: 23-Feb-2005.
- Machado J and Menezes P Composing transitions into transactions in UML diagrams Proceedings of the 10th international conference on Computer Aided Systems Theory, (50-55)
- Queralt A and Teniente E Specifying the semantics of operation contracts in conceptual modeling Journal on Data Semantics VII, (33-56)
- Dahchour M, Pirotte A and Zimányi E Generic relationships in information modeling Journal on Data Semantics IV, (1-34)
- Chung L and Supakkul S Representing NFRs and FRs Proceedings of the Second international conference on Software Engineering Research, Management and Applications, (29-41)
- Papakonstantinou N, Porthin M, O'Halloran M and Van Bossuyt L A model-driven approach for incorporating human reliability analysis in early emergency operating procedure development 2016 Annual Reliability and Maintainability Symposium (RAMS), (1-6)
Index Terms
- Unified Modeling Language Reference Manual, The (2nd Edition)
Recommendations
Modeling software architectures in the Unified Modeling Language
The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of useful capabilities to the software designer, including multiple, interrelated design ...
Reviews
Claudiu Popescu
This book represents the best effort so far to produce a clear and comprehensive description of unified modeling language (UML) 2.0 concepts and terms. It is addressed to experienced UML users, not beginners. The authors are the three famous founders of the UML technology, making this an authoritative reference book. There are three parts, which combine a high-level view of the technology with a dictionary of UML terms. Part 1 provides a brief presentation of modeling and an overview of UML. Part 2 presents UML concepts, organized as a set of views. Part 3, covering 80 percent of the book, is a dictionary of UML terms. There are hundreds of terms presented; the description of each spans anywhere from two lines to eight pages. The use of two colors (blue and black) for the graphical images makes reading the book much easier. I found Appendix B, a 12-page notation summary, to be very useful as a quick reference. A CD with a portable document format (PDF) version of the book, with hyperlinks, comes with the book. This allows for easier browsing and searching. While this book is the best UML reference to date, it is not perfect. And this is not the fault of the book, but of the topic: "UML is messy, imprecise, complex, and sprawling. This is both a fault and a virtue. Anything intended for such widespread usage is going to be messy" (page 12). Based on this evaluation, it is very difficult to produce the much-needed book that clearly explains the technology. Therefore, the effort should instead be directed toward making UML easier to understand, in order to help and captivate UML users. I could not find in the book any critical opinions about why UML is in its current state, or any recommendations about how to improve it. Any history of terms is avoided in the dictionary. This is a drawback for people with experience with older, similar concepts who are trying to become knowledgeable about UML. I would have liked to see, for example, a comparison between current UML constructions and pre-UML basic concepts, such as the object-oriented modeling technique (OMT), real-time capsule, and so on. In conclusion, this is a great book, explaining, as well as possible, the current status of UML 2.0. Because UML is ubiquitous, readers will benefit from owning this reference book. Online Computing Reviews Service
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.