UML 2 Semantics and Applications
By Kevin Lano
()
About this ebook
With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of:
-
The role of semantics
-
Considerations and rationale for a UML system model
-
Definition of the UML system model
-
UML descriptive semantics
-
Axiomatic semantics of UML class diagrams
-
The object constraint language
-
Axiomatic semantics of state machines
-
A coalgebraic semantic framework for reasoning about interaction designs
-
Semantics of activity diagrams
-
Verification of UML models
-
State invariants
-
Model transformation specification and verification
Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.
Related to UML 2 Semantics and Applications
Related ebooks
Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms Rating: 5 out of 5 stars5/5Students' Guide to Program Design Rating: 0 out of 5 stars0 ratingsObject-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems Rating: 1 out of 5 stars1/5Robotics: Designing the Mechanisms for Automated Machinery Rating: 4 out of 5 stars4/5The Spectral Analysis of Time Series Rating: 0 out of 5 stars0 ratingsAn Introduction to Linear Programming and Game Theory Rating: 0 out of 5 stars0 ratingsParallel Computing on Heterogeneous Networks Rating: 0 out of 5 stars0 ratingsScientific Parallel Computing Rating: 0 out of 5 stars0 ratingsA Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics Rating: 0 out of 5 stars0 ratingsThe Spectral Analysis of Time Series: Probability and Mathematical Statistics, Vol. 22 Rating: 0 out of 5 stars0 ratingsThe Mathematica® Programmer Rating: 4 out of 5 stars4/5Running an Agile Software Development Project Rating: 0 out of 5 stars0 ratingsNetwork Modeling and Simulation: A Practical Perspective Rating: 0 out of 5 stars0 ratingsMultidimensional Liquid Chromatography: Theory and Applications in Industrial Chemistry and the Life Sciences Rating: 0 out of 5 stars0 ratingsFormal Verification of Control System Software Rating: 0 out of 5 stars0 ratingsModeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation Rating: 0 out of 5 stars0 ratingsStatistical Methods for Social Scientists Rating: 0 out of 5 stars0 ratingsHigh-Performance Computing: Paradigm and Infrastructure Rating: 2 out of 5 stars2/5Forecasting Economic Time Series Rating: 5 out of 5 stars5/5Operating Systems Rating: 5 out of 5 stars5/5Introduction to Algebraic System Theory Rating: 0 out of 5 stars0 ratingsAspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers Rating: 0 out of 5 stars0 ratingsSmartphone Operating System Concepts with Symbian OS: A Tutorial Guide Rating: 0 out of 5 stars0 ratingsApplied Groundwater Modeling: Simulation of Flow and Advective Transport Rating: 3 out of 5 stars3/5Practical Programmable Circuits: A Guide to PLDs, State Machines, and Microcontrollers Rating: 0 out of 5 stars0 ratingsParallel Processing from Applications to Systems Rating: 0 out of 5 stars0 ratingsDecomposability: Queueing and Computer System Applications Rating: 0 out of 5 stars0 ratingsSymbian OS C++ for Mobile Phones: Programming with Extended Functionality and Advanced Features Rating: 0 out of 5 stars0 ratingsTiming Analysis of Real-Time Software Rating: 1 out of 5 stars1/5
Programming For You
Python: For Beginners A Crash Course Guide To Learn Python in 1 Week Rating: 4 out of 5 stars4/5Python Programming : How to Code Python Fast In Just 24 Hours With 7 Simple Steps Rating: 4 out of 5 stars4/5HTML & CSS: Learn the Fundaments in 7 Days Rating: 4 out of 5 stars4/5Java for Beginners: A Crash Course to Learn Java Programming in 1 Week Rating: 5 out of 5 stars5/5SQL: For Beginners: Your Guide To Easily Learn SQL Programming in 7 Days Rating: 5 out of 5 stars5/5SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL Rating: 4 out of 5 stars4/5Learn to Code. Get a Job. The Ultimate Guide to Learning and Getting Hired as a Developer. Rating: 5 out of 5 stars5/5Coding All-in-One For Dummies Rating: 4 out of 5 stars4/5Python Machine Learning By Example Rating: 4 out of 5 stars4/5101 Amazing Nintendo NES Facts: Includes facts about the Famicom Rating: 4 out of 5 stars4/5Pokemon Go: Guide + 20 Tips and Tricks You Must Read Hints, Tricks, Tips, Secrets, Android, iOS Rating: 5 out of 5 stars5/5Linux: Learn in 24 Hours Rating: 5 out of 5 stars5/5Grokking Algorithms: An illustrated guide for programmers and other curious people Rating: 4 out of 5 stars4/5Learn SQL in 24 Hours Rating: 5 out of 5 stars5/5SQL All-in-One For Dummies Rating: 3 out of 5 stars3/5Excel : The Ultimate Comprehensive Step-By-Step Guide to the Basics of Excel Programming: 1 Rating: 5 out of 5 stars5/5PYTHON: Practical Python Programming For Beginners & Experts With Hands-on Project Rating: 5 out of 5 stars5/5Modern C++ for Absolute Beginners: A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards Rating: 0 out of 5 stars0 ratingsPython Projects for Beginners: A Ten-Week Bootcamp Approach to Python Programming Rating: 0 out of 5 stars0 ratings
Reviews for UML 2 Semantics and Applications
0 ratings0 reviews