A discrete event simulation model for evaluating quality attributes, employing the software architecture, is proposed in this work. A metamodel of the software architecture domain that includes the concepts required for measuring quality attributes at runtime is specified. So, a simulation model is built from it, following the principles of hierarchy and modularity, assembling simple blocks to ...

Building Energy Management Systems (BEMS) are computer-based systems that aid in managing, controlling, and monitoring the building technical services energy consumption by equipment used building. The effectiveness of BEMS is dependent upon numerous factors, among which operational characteristics control parameters also play an essential role. This research develops a user-driven simulation t...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

We review and define the current state of art as relating to discrete event simulation in healthcare-related systems. A published literature over past five years (2017–2021) was conducted, building upon previously work. PubMed EBSCOhost were searched for journal articles on healthcare resulting identification 933 unique articles. Of these about half excluded at title/abstract level 154 full tex...