Modeling Concurrent Systems
Extends the language of single-agent Abstract State Machines (ASMs) for modeling concurrent and/or communicating processes. It explains how to pass from synchronous to asynchronous process models and illustrates the role of model validation for concurrent systems (exploiting the executability of ASMs). Monitoring of asynchronous process networks is used as example for the application of communicating ASMs as modeling instrument.
Unable to display preview. Download preview PDF.