Written by the three pioneers behind the Unified Modeling Language (UML) standard, The Unified Modeling Language Reference Manual provides an excellent real-world guide to working with UML. This title provides expert knowledge on all facets of today's UML standard, helping developers who are encountering UML on the job for the first time to be more productive. The book begins with a history of UML, from structured design methods of the '60s and '70s to the competing object-oriented design standards that were unified in 1997 to create UML. For the novice, the authors illustrate key diagram types such as class, use case, state machine, activity, and implementation. (Of course, learning these basic diagram types is what UML is all about. The authors use an easy-to-understand ticket-booking system for many of their examples.) After a tour of basic document types, The Unified Modeling Language Reference Manual provides an alphabetical listing of more than 350 UML terms. Entries range from a sentence or two to several pages in length. (Class, operation, and use case are just a few of the important terms that are covered.) Though you will certainly need to be acquainted with software engineering principles, this reference will serve the working software developer well. As the authors note, this isn't UML for Dummies, but neither is it an arcane academic treatise. The authors succeed in delivering a readable reference that will answer any UML question, no matter how common or obscure. --Richard Dragan

The unified modelling language reference manual

The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.

On visual formalisms

http://www.workflowpatterns.com/documentation/documents/yawl_qut_report_FIT-TR-2002-06.pdf

YAWL: yet another workflow language

We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next one, this semantics adopts the latter approach.

/pdf/the-statemate-semantics-of-statecharts-2kkbikkfzk.pdf

The STATEMATE semantics of statecharts

The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. These less visible computers are called embedded systems, and the software they run is called embedded software. The principal challenges in designing and analyzing embedded systems stem from their interaction with physical processes. This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes. The second edition offers two new chapters, several new exercises, and other improvements. The book can be used as a textbook at the advanced undergraduate or introductory graduate level and as a professional reference for practicing engineers and computer scientists. Readers should have some familiarity with machine structures, computer programming, basic discrete mathematics and algorithms, and signals and systems.

Introduction to Embedded Systems - A Cyber-Physical Systems Approach

STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts, used to depict reactive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome. >

/pdf/statemate-a-working-environment-for-the-development-of-1w9uawvlqd.pdf

STATEMATE: a working environment for the development of complex reactive systems

From the Publisher:
The only in-depth guide to Statecharts,the most popular approach forthe development of real-time and reactive systems. For systems engineers,software engineers,and electrical engineers in all fields,here at last is complete information on the concepts behind the Statemate toolset developed by I-Logix,Inc.,the fullest and most powerful approach to the modeling of reactive systems. This guide first describes the dominant Statecharts,which are used to describe system behavior,and then explores the hierarchical language of Activity-charts,which describe the system's activities and the data that flows between them. It then shows how to use these two synergistic languages to develop a conceptual model of the system,which can then be combined with a physical or structural model using the third language of Module-charts. These languages and the subsequent Statemate toolset constitute a breakthrough approach in requirements analysis,specification,and high-level design. They also provide a powerful method for inspecting,testing,and analyzing models. Author David Harel invented Statecharts,and he and coauthor Michal Politi co-developed the other two languages in the set. Ms Politi also headed the Statemate development team for more than a decade. Their work has earned them the Most Influential Paper Award from the International Conference on Software Engineering,and Harel's work on the language of Statecharts has won him the Stevens Award in Software Development Methods in 1996 and the first Israel Prime Minister's Prize for Software in 1997. No authors are more highly qualified to describe the syntax and semantics of these intricate languages precisely and rigorouslyand withextensive examples based on a model early warning system. No book provides better guidance than Modeling Reactive Systems with Statecharts

Modeling Reactive Systems With Statecharts : The Statemate Approach

Provides a brief overview of the STATEMATE system. STATEMATE is a graphical working environment, intended for the specification, analysis, design and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software. It enables a user to prepare, analyze and debug diagrammatic, yet precise, descriptions of the system under development from three inter-related points of view, capturing, structure, functionality and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts used to depict reactive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it 'understands' the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome. >

/pdf/statemate-a-working-environment-for-the-development-of-29d06cnjpt.pdf

This paper provides a brief overview of the STATEMATE system, constructed over the past three years by i-Logix Inc., and Ad Cad Ltd. STATEMATE is a graphical working environment, intended for the specification, analysis, design and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software. It enables a user to prepare, analyze and debug diagrammatic, yet precise, descriptions of the system under development from three inter-related points of view, capturing, structure, functionality and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts used to depict reactive behavior over time. In addition to the use of state-charts, the main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.

Statemate: a working environment for the development of complex reactive systems

STATEMATE: A Working Environment for the Development of Complex Reactive Systems Manuscript received May 12, 1988; revised November 13, 1989. Recommended by L. A. Belady. This work was supported in part by the Bird Foundation and the Israel Ministry of Industry and Commerce. IEEE Log Number 8933740. STATEMATE is a registered trademark of i-Logix, Inc.

M. Politi

Papers

STATEMATE: a working environment for the development of complex reactive systems

Modeling Reactive Systems With Statecharts : The Statemate Approach

STATEMATE: a working environment for the development of complex reactive systems

Statemate: a working environment for the development of complex reactive systems