The SiMoL Modeling Language for Simulation and (Re-)Configuration

  • Iulia Nica
  • Franz Wotawa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7147)


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.


Modeling Language Description Logic Constraint Programming Communication Device Acceleration Sensor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    McDermott, J.: R1: An Expert in the Computer Systems Domain. In: Proceedings of First National Conference on Artificial Intelligence, AAAI 1980. Stanford University, Stanford (1980)Google Scholar
  2. 2.
    Forgy, C.L., McDermott, J.: OPS, A Domain-Independent Production System Language. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence, pp. 933–939. MIT (1977)Google Scholar
  3. 3.
    Lehmann, E., Enders, R., Haugeneder, H., Hunze, R., Johnson, C., Schmid, L., Struss, P.: SICONFEX - ein Expertensystem für die Konfigurierung eines Betriebssystems. In: Proceedings of GI Jahrestagung 1985, pp. 792–805 (1985)Google Scholar
  4. 4.
    John, U., Geske, U.: Reconfiguration of Technical Products Using ConBaCon. In: Proceedings of WS on Configuration at AAAI 1999, Orlando (1999)Google Scholar
  5. 5.
    Felfernig, A., Friedrich, G., Jannach, D., Zanker, M.: Semantic Configuration Web Services in the CAWICOMS Project. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 192–205. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    John, U.: Solving large configuration problems efficiently by clustering the ConBaCon model. In: Proceedings of the 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: Intelligent Problem Solving: Methodologies and Approaches. Springer-Verlag New York, Inc. (2000)Google Scholar
  7. 7.
    Fleischanderl, G., Friedrich, G.E., Haselböck, A., Schreiner, H., Stumptner, M.: Configuring large systems using generative constraint satisfaction. IEEE Intelligent Systems & their Applications, 59–68 (1998)Google Scholar
  8. 8.
    Stumptner, M., Haselböck, A., Friedrich, G.: COCOS - a tool for constraint-based, dynamic configuration. In: Proceedings of the 10th IEEE Conference on AI Applications (CAIA), San Antonio (1994)Google Scholar
  9. 9.
    Junker, U., Mailharro, D.: The logic of ILOG (J)Configurator: Combining Constraint Programming with a Description Logic. In: Proceedings of IJCAI 2003 Configuration WS, pp. 13–20 (2003)Google Scholar
  10. 10.
    Günter, A., Kreuz, I., Kühn, C.: Kommerzielle Software-Werkzeuge für die Konfigurierung von technischen Systemen. In: Proceedings of KI 1999, pp. 61–65 (1999)Google Scholar
  11. 11.
    Emde, W., Beilken, C., Bording, J., Orth, W., Petersen, U., Rahmer, J., Spenke, M., Voss, A., Wrobel, S., Birlinghoven, S.: Configuration of Telecommunication Systems in KIKon (1996)Google Scholar
  12. 12.
    Orsvärn, K., Axling, T.: The Tacton View of Configuration Tasks and Engines. In: AAAI 1999 Workshop on Configuration, the 16th National Conference on Artificial Intelligence, pp. 127–130 (1999)Google Scholar
  13. 13.
    Prolog, S.: SICStus Prolog 3.12.2 (2005),
  14. 14.
    Haag, A.: Experiences with Product Configuration (2010),
  15. 15.
    Henson, W.: Real time Control and Custom Components in the Matlab Environment. Technical reportGoogle Scholar
  16. 16.
    Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc., New York (2006)zbMATHGoogle Scholar
  17. 17.
    Jefferson, C., Kotthoff, L., Moore, N., Nightingale, P., Petrie, K.E., Rendl, A.: The Minion Manual, Minion Version 0.12 (2011),

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Iulia Nica
    • 1
  • Franz Wotawa
    • 1
  1. 1.Institute for Software TechnologyTechnische Universität GrazGrazAustria

Personalised recommendations