The simol modeling language for simulation and (re-)configuration

Authors:
Iulia Nica;Franz Wotawa
Affiliations:
Institute for Software Technology, Technische Universität Graz, Graz, Austria;Institute for Software Technology, Technische Universität Graz, Graz, Austria
Venue:
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Year:
2012

Citing 6
Cited 0

Solving large configuration problems efficiently by clustering the ConBaCon model

IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Configuring Large Systems Using Generative Constraint Satisfaction

IEEE Intelligent Systems
Semantic Configuration Web Services in the CAWICOMS Project

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
SICONFEX - ein Expertensystem für die Konfigurierung eines Betriebssystems

GI/OCG/ÖGI-Jahrestagung 1985, Wirtschaftsuniversität Wien, Übersichtsbeiträge und Fachgespräche zu den Themenschwerpunkten Softwaretechnologie / Standardsoftware / Bürokommunikation / Bildschirmtext
Handbook of Constraint Programming (Foundations of Artificial Intelligence)

Handbook of Constraint Programming (Foundations of Artificial Intelligence)
OPS: a domain-independent production system language

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

From automotive and up to telecommunication industry, configuration and simulation are used for solving complex problems connected to the ever growing number of components, which have to work together. To assist these needs, many tools are nowadays available. Modeling languages like Matlab/Simulink or Modelica are often used to model the dependencies between the components of physical systems. However these are less suitable for the area of knowledge-based systems. In this paper, we present a modeling language, which combines the two different directions. SiMoL is an object-oriented language that allows representing systems comprising basic and hierarchical components. We state the syntax and the semantics of the language, referring also to the implementation of SiMoL, which is based on the MINION constraint solver. Furthermore, we discuss how the obtained model can be used for simulation and re-configuration.