Abstract
Reusing a simulation or parts of a simulation is difficult as often simulations are tightly coupled to a specific domain or even to the system analysed by the simulation. In this paper, we introduce a specification approach that allows simulation developers to model the structure and behaviour of a simulation with a domain-specific modelling language. The specification is used to compare a simulation or parts of a simulation to identify features that can be reused. The results show that our approach can find similar features based on their architectural structure and behaviour. Our approach enables developers to identify and then reuse simulation features.
This work was supported by the Federal Ministry of Education and Research (BMBF) under the funding number 01IS18067D, and the KASTEL institutional funding.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Basili, V., Caldiera, G., Rombach, D.: The goal question metric approach. In: Encyclopedia of Software Engineering, pp. 528–532 (1994)
Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244–263 (1983)
Heinrich, R., Strittmatter, M., Reussner, R.: A layered reference architecture for metamodels to tailor quality modeling and analysis. IEEE Trans. Softw. Eng. 47, 26 (2019)
Maoz, S., et al.: OCL framework to verify extra-functional properties in component and connector models. In: 3rd International Workshop on Executable Modeling, Austin, p. 7. CEUR, RWTH Aachen (2017)
Richters, M., Gogolla, M.: Validating UML models and OCL constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 265–277. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-40011-7_19
Ringert, J.O., Rumpe, B.: A little synopsis on streams, stream processing functions, and state-based stream processing. Int. J. Softw. Inform. 5, 29–53 (2011)
Talcott, C., et al.: Composition of languages, models, and analyses. In: Heinrich, R., Durán, F., Talcott, C., Zschaler, S. (eds.) Composing Model-Based Analysis Tools, pp. 45–70. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-81915-6_4
Tomassi, P.: An introduction to first order predicate logic. In: Logic, pp. 189–264. Routledge (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Koch, S., Hamann, E., Heinrich, R., Reussner, R. (2022). Feature-Based Investigation of Simulation Structure and Behaviour. In: Gerostathopoulos, I., Lewis, G., Batista, T., Bureš, T. (eds) Software Architecture. ECSA 2022. Lecture Notes in Computer Science, vol 13444. Springer, Cham. https://doi.org/10.1007/978-3-031-16697-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-16697-6_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-16696-9
Online ISBN: 978-3-031-16697-6
eBook Packages: Computer ScienceComputer Science (R0)