The Dynamic Aspect of Systems
Continuing with modeling our case study, in this chapter we further discuss process issues, such as execution order and how to specify that processes are sequential, concurrent, or alternative. These issues are related to the system's dynamic aspect and to its operational semantics.
KeywordsOperational Semantic Execution Order Link Semantic Emergency Worker Message Send
- Firlej, M. and Helens, D. Knowledge Elicitation: A Practical Handbook. Prentice-Hall, New York, 1991.Google Scholar