We review Discrete-Event system Specification (DEVS) in the context of Model-based
Systems Engineering (MBSE) and discuss an application of DEVS methodology to MBSE …

Model-based systems engineering (MBSE) is considered an important approach for
understanding multidomain fields and is widely used in complex systems such as …

Abstract The Discrete Event System Specification (DEVS) is a modeling formalism that
supports a general methodology for describing discrete event systems with the capability to …

With Artificial Intelligence (AI) agents becoming more commonplace across the systems that
we use every day, it is becoming increasingly important to document and convey the …

As more AI agents are embedded in the interactive systems of daily life, it becomes
increasingly important to support both users and designers in their reasoning about how …

Purpose Model-based systems engineering (MBSE) is an important approach for the
transforming process from “document-centered” to “model centered” systems engineering …

This paper presents our findings for using activity modeling for simulation (validation), model
checking (verification), and execution purposes. Each is needed to tackle system complexity …

The smart systems known as Systems of Systems (SoS), are composed of autonomous
ConstituentSystems (CS) working towards a common mission. Formally founded software …

Perkembangan teknologi informasi masa ini sudah semakin canggih dan merambak ke
berbagai bidang, salah satu bidang yang berpengaruh yaitu pada pendidikan. Dalam dunia …