Abstract
Simulations can be represented in the form of a graph structure of components. Placeholders, where components can be added to the simulation, contain dependency constraint knowledge which is stored in a graph database. In this paper an application for automatic guided simulation creation is presented in the form of a three-step process to evaluate constraints of placeholders and therefore suggest suitable components.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Akerkar, R., Sajja, P.: Knowledge-Based Systems. Jones & Bartlett Publishers, Burlington (2009)
Dhungana, D., Grünbacher, P., Rabiser, R., Neumayer, T.: Structuring the modeling space and supporting evolution in software product line engineering. J. Syst. Softw. 83(7), 1108–1122 (2010)
Dhungana, D., Neumayer, T., Grunbacher, P., Rabiser, R.: Supporting evolution in model-based product line engineering. In: 2008 12th International Software Product Line Conference, pp. 319–328. IEEE (2008)
Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24605-3_37
Lee, S.U.J.: An effective methodology with automated product configuration for software product line development. Math. Probl. Eng. 2015 (2015)
de Marzi, M.: Building a Boolean logic rules engine in Neo4j (2017). https://maxdemarzi.com/2017/08/25/building-a-boolean-logic-rules-engine-in-neo4j/. Accessed 01 Apr 2021
Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient SAT solver. In: Proceedings of the 38th Annual Design Automation Conference, pp. 530–535 (2001)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach (2002)
Tamura, N., Tanjo, T., Banbara, M.: Solving constraint satisfaction problems with SAT technology. In: Blume, M., Kobayashi, N., Vidal, G. (eds.) FLOPS 2010. LNCS, vol. 6009, pp. 19–23. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-12251-4_3
Acknowledgements
This work has been supported by the FFG-COMET-K2 Center of the Linz Center of Mechatronics (LCM) funded by the Austrian federal government and the federal state of Upper Austria.
This work has been supported by the FFG-COMET-K1 Center “Pro2Future” (Products and Production Systems of the Future), Contract No. 881844.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Nadschläger, S., Jäger, M., Hofer, D., Küng, J. (2021). Placeholder Constraint Evaluation in Simulation Graphs. In: Kotsis, G., et al. Database and Expert Systems Applications - DEXA 2021 Workshops. DEXA 2021. Communications in Computer and Information Science, vol 1479. Springer, Cham. https://doi.org/10.1007/978-3-030-87101-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-87101-7_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-87100-0
Online ISBN: 978-3-030-87101-7
eBook Packages: Computer ScienceComputer Science (R0)