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.


Operational Semantic Execution Order Link Semantic Emergency Worker Message Send 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Firlej, M. and Helens, D. Knowledge Elicitation: A Practical Handbook. Prentice-Hall, New York, 1991.Google Scholar

Copyright information

© Springer Science+Business Media New York 2016

Authors and Affiliations

  • Dov Dori
    • 1
    • 2
  1. 1.Technion, Israel Institute of TechnologyHaifaIsrael
  2. 2.Massachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations