Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Börger, E., Raschke, A. (2018). Modeling Concurrent Systems. In: Modeling Companion for Software Practitioners. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-56641-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-56641-1_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-56639-8
Online ISBN: 978-3-662-56641-1
eBook Packages: Computer ScienceComputer Science (R0)