An Introduction to Paradigm
By using Paradigm, it is possible to model cooperating processes and to make the communication between these processes very clear. This report gives a formal description of this modeling method using state-transition diagrams in order to model processes and homomorphismes and interleavings in order to model the cooperation and synchronization of the processes involved. Paradigm has been used succesfully as the modeling language of Socca, a software proces modeling method.
|Keywords||communication, coordination, modeling, processes, state-transition diagrams|
|Publisher||Erasmus Research Institute of Management (ERIM)|
van der Made-Potuijt, S.C., & de Bruin, A.. (2002). An Introduction to Paradigm (No. ERS-2002-09-LIS). Erasmus Research Institute of Management (ERIM). Retrieved from http://hdl.handle.net/1765/161