TY - GEN
T1 - Parallelism semantics in modeling activities
AU - Alshareef, Abdurrahman
AU - Sarjoughian, Hessam S.
N1 - Publisher Copyright:
© 2018 Society for Modeling & Simulation International (SCS).
PY - 2018/7/6
Y1 - 2018/7/6
N2 - In previous work, we proposed modeling and simulation of UML activities in Parallel DEVS. With respect to parallelism, either one of the following statements holds true about the semantics of activities in order to attain a valid execution. A time base, regardless of its granularity, shall be explicitly defined in order to account for parallelism in a simulation environment with sequential execution. Or, the environment shall be physically parallel in multiple processes. We examine the former by dissecting into some of its properties that are related to control constructs within activity modeling in the viewpoint of Parallel DEVS formalism.
AB - In previous work, we proposed modeling and simulation of UML activities in Parallel DEVS. With respect to parallelism, either one of the following statements holds true about the semantics of activities in order to attain a valid execution. A time base, regardless of its granularity, shall be explicitly defined in order to account for parallelism in a simulation environment with sequential execution. Or, the environment shall be physically parallel in multiple processes. We examine the former by dissecting into some of its properties that are related to control constructs within activity modeling in the viewpoint of Parallel DEVS formalism.
KW - Action
KW - Activity
KW - Behavioral specifications
KW - Parallel DEVS
KW - UML
UR - http://www.scopus.com/inward/record.url?scp=85088073479&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85088073479&partnerID=8YFLogxK
U2 - 10.1145/3213187.3213193
DO - 10.1145/3213187.3213193
M3 - Conference contribution
AN - SCOPUS:85088073479
SN - 9781450364478
T3 - ACM International Conference Proceeding Series
BT - Proceedings - 4th International Conference of Computing for Engineering and Sciences, ICCES 2018
PB - Association for Computing Machinery
T2 - 4th International Conference of Computing for Engineering and Sciences, ICCES 2018
Y2 - 14 July 2018 through 16 July 2018
ER -