DEVS specification for modeling and simulation of the UML activities

Abdurrahman Alshareef, Hessam Sarjoughian

Research output: Contribution to journalArticle

Abstract

Recently, the existence of the foundational UML subset (fUML) has made a significant impact on driving the mainstream in behavioral modeling. Recent advances on concepts like UML actions and behavioral metamodeling promise better mechanisms in handling behavior. We argue that a greater potentiality can be achieved through establishing a rigorous mathematical grounding for the subset. We also argue that Parallel DEVS can be used as a suitable candidate. Thus, we propose formalizing the creation of UML activities as a set of atomic and coupled DEVS models. These abstractions have distinct structures and behaviors. That is to say, the foundational elements of UML activities and actions are modeled and mapped into a set of atomic as well as coupled models. Then, they can collectively serve as a basis for grounding different diagrams via coupling. We demonstrate the use of the formalism for the modeling and simulation of activities.

Original languageEnglish (US)
Pages (from-to)92-103
Number of pages12
JournalSimulation Series
Volume49
Issue number7
StatePublished - 2017

Fingerprint

Electric grounding
Specifications

Keywords

  • Behavioral Modeling
  • DEVS-Suite
  • Executable UML
  • Parallel DEVS
  • UML Activities

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this

DEVS specification for modeling and simulation of the UML activities. / Alshareef, Abdurrahman; Sarjoughian, Hessam.

In: Simulation Series, Vol. 49, No. 7, 2017, p. 92-103.

Research output: Contribution to journalArticle

@article{589873666ea04ba6a194e0a8062ee085,
title = "DEVS specification for modeling and simulation of the UML activities",
abstract = "Recently, the existence of the foundational UML subset (fUML) has made a significant impact on driving the mainstream in behavioral modeling. Recent advances on concepts like UML actions and behavioral metamodeling promise better mechanisms in handling behavior. We argue that a greater potentiality can be achieved through establishing a rigorous mathematical grounding for the subset. We also argue that Parallel DEVS can be used as a suitable candidate. Thus, we propose formalizing the creation of UML activities as a set of atomic and coupled DEVS models. These abstractions have distinct structures and behaviors. That is to say, the foundational elements of UML activities and actions are modeled and mapped into a set of atomic as well as coupled models. Then, they can collectively serve as a basis for grounding different diagrams via coupling. We demonstrate the use of the formalism for the modeling and simulation of activities.",
keywords = "Behavioral Modeling, DEVS-Suite, Executable UML, Parallel DEVS, UML Activities",
author = "Abdurrahman Alshareef and Hessam Sarjoughian",
year = "2017",
language = "English (US)",
volume = "49",
pages = "92--103",
journal = "Simulation Series",
issn = "0735-9276",
number = "7",

}

TY - JOUR

T1 - DEVS specification for modeling and simulation of the UML activities

AU - Alshareef, Abdurrahman

AU - Sarjoughian, Hessam

PY - 2017

Y1 - 2017

N2 - Recently, the existence of the foundational UML subset (fUML) has made a significant impact on driving the mainstream in behavioral modeling. Recent advances on concepts like UML actions and behavioral metamodeling promise better mechanisms in handling behavior. We argue that a greater potentiality can be achieved through establishing a rigorous mathematical grounding for the subset. We also argue that Parallel DEVS can be used as a suitable candidate. Thus, we propose formalizing the creation of UML activities as a set of atomic and coupled DEVS models. These abstractions have distinct structures and behaviors. That is to say, the foundational elements of UML activities and actions are modeled and mapped into a set of atomic as well as coupled models. Then, they can collectively serve as a basis for grounding different diagrams via coupling. We demonstrate the use of the formalism for the modeling and simulation of activities.

AB - Recently, the existence of the foundational UML subset (fUML) has made a significant impact on driving the mainstream in behavioral modeling. Recent advances on concepts like UML actions and behavioral metamodeling promise better mechanisms in handling behavior. We argue that a greater potentiality can be achieved through establishing a rigorous mathematical grounding for the subset. We also argue that Parallel DEVS can be used as a suitable candidate. Thus, we propose formalizing the creation of UML activities as a set of atomic and coupled DEVS models. These abstractions have distinct structures and behaviors. That is to say, the foundational elements of UML activities and actions are modeled and mapped into a set of atomic as well as coupled models. Then, they can collectively serve as a basis for grounding different diagrams via coupling. We demonstrate the use of the formalism for the modeling and simulation of activities.

KW - Behavioral Modeling

KW - DEVS-Suite

KW - Executable UML

KW - Parallel DEVS

KW - UML Activities

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

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

M3 - Article

AN - SCOPUS:85020657842

VL - 49

SP - 92

EP - 103

JO - Simulation Series

JF - Simulation Series

SN - 0735-9276

IS - 7

ER -