Parallelism semantics in modeling activities

Abdurrahman Alshareef, Hessam Sarjoughian

Research output: Contribution to journalConference article

2 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Pages (from-to)56-67
Number of pages12
JournalSimulation Series
Volume50
Issue number8
StatePublished - Jan 1 2018
EventTMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2018, Part of the 2018 Spring Simulation Multi-Conference, SpringSim 2018 - Baltimore, United States
Duration: Apr 15 2018Apr 18 2018

Fingerprint

Semantics

Keywords

  • Action
  • Activity
  • Behavioral specifications
  • Parallel DEVS
  • UML

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this

Parallelism semantics in modeling activities. / Alshareef, Abdurrahman; Sarjoughian, Hessam.

In: Simulation Series, Vol. 50, No. 8, 01.01.2018, p. 56-67.

Research output: Contribution to journalConference article

Alshareef, Abdurrahman ; Sarjoughian, Hessam. / Parallelism semantics in modeling activities. In: Simulation Series. 2018 ; Vol. 50, No. 8. pp. 56-67.
@article{1c9698cee03f42cf98b9fe057e82347f,
title = "Parallelism semantics in modeling activities",
abstract = "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.",
keywords = "Action, Activity, Behavioral specifications, Parallel DEVS, UML",
author = "Abdurrahman Alshareef and Hessam Sarjoughian",
year = "2018",
month = "1",
day = "1",
language = "English (US)",
volume = "50",
pages = "56--67",
journal = "Simulation Series",
issn = "0735-9276",
number = "8",

}

TY - JOUR

T1 - Parallelism semantics in modeling activities

AU - Alshareef, Abdurrahman

AU - Sarjoughian, Hessam

PY - 2018/1/1

Y1 - 2018/1/1

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=85055334973&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85055334973&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85055334973

VL - 50

SP - 56

EP - 67

JO - Simulation Series

JF - Simulation Series

SN - 0735-9276

IS - 8

ER -