, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) -Framework and Rules. IEEE Std, pp.1516-2010, 2010.
, ArchiMate 3.0.1 Specification. Open Group Standard, 2017.
, NATO Architecture Framework version 4.0. NATO Std. NAFv4, 2018.
Simulation of the efficiency of a system of drones in a mine warfare scenario, Undersea Defence Technology, pp.1-8, 2008. ,
A formal approach to modeling and verification of business process collaborations, Sci. Comput. Program, vol.166, pp.35-70, 2018. ,
Improving model checking with context modelling, Adv. Softw. Eng, vol.2012, p.9, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00738735
Engineering systems by combining BPMN and HLA-based distributed simulation, 2017 IEEE International Systems Engineering Symposium (ISSE), pp.1-6, 2017. ,
Process simulation support in BPM tools: the case of BPMN, 5th International Conference on Business Sustainability: Management, Technology and Learning for Individuals, 2015. ,
BPMN modeling for HLA based simulation and visualization, Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, p.11, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01809559
Can BPMN be used for making simulation models, EOMAS 2011. LNBIP, vol.88, pp.100-115 ,
, , 2011.
The model checker SPIN, IEEE Trans. Softw. Eng, vol.23, issue.5, pp.279-295, 1997. ,
Multidimensional detective, Proceedings of the 1997 IEEE Symposium on Information Visualization, 1997. ,
Agent-based simulation model representation using BPMN. In: Formal Languages for Computer Simulation: Transdisciplinary Models and Applications, pp.378-400, 2014. ,
Validating auction business processes using agent-based simulations, BPSC, vol.147, pp.95-109, 2009. ,
From contemporary workflow process automation to adaptive and dynamic work activity coordination and collaboration, International Conference of Database and Expert Systems Applications, DEXA 1997, pp.24-27, 1997. ,