An approach for activity-based DEVS model specification

Abdurrahman Alshareef, Hessam Sarjoughian, Bahram Zarrin

Research output: Contribution to conferencePaper

5 Citations (Scopus)

Abstract

Creation of DEVS models has been advanced through Model Driven Architecture and its frameworks. The overarching role of the frameworks has been to help develop model specifications in a disciplined fashion. Frameworks can provide intermediary layers between the higher level mathematical models and their corresponding software specifications from both structural and behavioral aspects. Unlike structural modeling, developing models to specify behavior of systems is known to be harder and more complex, particularly when operations with non-trivial control schemes are required. In this paper, we propose specifying activity-based behavior modeling of parallel DEVS atomic models. We consider UML activities and actions as fundamental units of behavior modeling, especially in the presence of recent advances in the UML 2.5 specifications. We describe in detail how to approach activity modeling with a set of elemental behavioral constructs for atomic DEVS model. We show how Activity models correspond to the atomic DEVS model using an exemplar. We also highlight the complementary roles of Activity and Statecharts models.

Original languageEnglish (US)
StatePublished - Jan 1 2016
Event2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016 - Pasadena, United States
Duration: Apr 3 2016Apr 6 2016

Other

Other2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016
CountryUnited States
CityPasadena
Period4/3/164/6/16

Fingerprint

Model Specification
Specifications
Behavior Modeling
Model
Specification
Fundamental Units
Structural Modeling
Statecharts
Model Driven Architecture
Mathematical Model
Software
Mathematical models
Modeling
Framework

Keywords

  • Activity modeling
  • Behavior modeling
  • Parallel DEVS
  • UML

ASJC Scopus subject areas

  • Modeling and Simulation

Cite this

Alshareef, A., Sarjoughian, H., & Zarrin, B. (2016). An approach for activity-based DEVS model specification. Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States.

An approach for activity-based DEVS model specification. / Alshareef, Abdurrahman; Sarjoughian, Hessam; Zarrin, Bahram.

2016. Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States.

Research output: Contribution to conferencePaper

Alshareef, A, Sarjoughian, H & Zarrin, B 2016, 'An approach for activity-based DEVS model specification' Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States, 4/3/16 - 4/6/16, .
Alshareef A, Sarjoughian H, Zarrin B. An approach for activity-based DEVS model specification. 2016. Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States.
Alshareef, Abdurrahman ; Sarjoughian, Hessam ; Zarrin, Bahram. / An approach for activity-based DEVS model specification. Paper presented at 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, United States.
@conference{6abbe570997d4dc7975482b4cd5290af,
title = "An approach for activity-based DEVS model specification",
abstract = "Creation of DEVS models has been advanced through Model Driven Architecture and its frameworks. The overarching role of the frameworks has been to help develop model specifications in a disciplined fashion. Frameworks can provide intermediary layers between the higher level mathematical models and their corresponding software specifications from both structural and behavioral aspects. Unlike structural modeling, developing models to specify behavior of systems is known to be harder and more complex, particularly when operations with non-trivial control schemes are required. In this paper, we propose specifying activity-based behavior modeling of parallel DEVS atomic models. We consider UML activities and actions as fundamental units of behavior modeling, especially in the presence of recent advances in the UML 2.5 specifications. We describe in detail how to approach activity modeling with a set of elemental behavioral constructs for atomic DEVS model. We show how Activity models correspond to the atomic DEVS model using an exemplar. We also highlight the complementary roles of Activity and Statecharts models.",
keywords = "Activity modeling, Behavior modeling, Parallel DEVS, UML",
author = "Abdurrahman Alshareef and Hessam Sarjoughian and Bahram Zarrin",
year = "2016",
month = "1",
day = "1",
language = "English (US)",
note = "2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016 ; Conference date: 03-04-2016 Through 06-04-2016",

}

TY - CONF

T1 - An approach for activity-based DEVS model specification

AU - Alshareef, Abdurrahman

AU - Sarjoughian, Hessam

AU - Zarrin, Bahram

PY - 2016/1/1

Y1 - 2016/1/1

N2 - Creation of DEVS models has been advanced through Model Driven Architecture and its frameworks. The overarching role of the frameworks has been to help develop model specifications in a disciplined fashion. Frameworks can provide intermediary layers between the higher level mathematical models and their corresponding software specifications from both structural and behavioral aspects. Unlike structural modeling, developing models to specify behavior of systems is known to be harder and more complex, particularly when operations with non-trivial control schemes are required. In this paper, we propose specifying activity-based behavior modeling of parallel DEVS atomic models. We consider UML activities and actions as fundamental units of behavior modeling, especially in the presence of recent advances in the UML 2.5 specifications. We describe in detail how to approach activity modeling with a set of elemental behavioral constructs for atomic DEVS model. We show how Activity models correspond to the atomic DEVS model using an exemplar. We also highlight the complementary roles of Activity and Statecharts models.

AB - Creation of DEVS models has been advanced through Model Driven Architecture and its frameworks. The overarching role of the frameworks has been to help develop model specifications in a disciplined fashion. Frameworks can provide intermediary layers between the higher level mathematical models and their corresponding software specifications from both structural and behavioral aspects. Unlike structural modeling, developing models to specify behavior of systems is known to be harder and more complex, particularly when operations with non-trivial control schemes are required. In this paper, we propose specifying activity-based behavior modeling of parallel DEVS atomic models. We consider UML activities and actions as fundamental units of behavior modeling, especially in the presence of recent advances in the UML 2.5 specifications. We describe in detail how to approach activity modeling with a set of elemental behavioral constructs for atomic DEVS model. We show how Activity models correspond to the atomic DEVS model using an exemplar. We also highlight the complementary roles of Activity and Statecharts models.

KW - Activity modeling

KW - Behavior modeling

KW - Parallel DEVS

KW - UML

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

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

M3 - Paper

ER -