Skip to main content
SpringerLink
Log in

Configuration Knowledge Representation Using UML/OCL

  • Conference paper
  • First Online:
≪UML≫ 2002 — The Unified Modeling Language (UML 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2460))

Included in the following conference series:

Abstract

Today’s economy is exhibiting a growing trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers. In this context, knowledge based configurators which support the configuration of complex products and services, must be enhanced with capabilities of knowledge sharing and distributed configuration problem solving. In this paper we demonstrate how UML/OCL can be used as knowledge representation language supporting standardized knowledge interchange thus enabling cooperative problem solving by different configuration environments. We show the representation of configuration domain specific types of constraints in OCL and present an OCL based knowledge acquisition workbench which enables configuration knowledge base development, maintenance and interchange.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Baar, R. Hähnle, T. Sattler, and T. H. Schmitt. Entwurfsmustergesteuerte Erzeugung von OCL Constraints. In K. Mehrhorn and G. Snelting, editors, Informatik 2000, 30. Jahrestagung der Gesellschaft für Informatik, pages 389–404. Springer-Verlag, 2000.

    Google Scholar 

  2. V.E. Barker, D. E. O’Connor, J.D. Bachant, and E. Soloway. Expert systems for configuration at Digital: XCON and beyond. Communications of the ACM, 32(3):298–318, 1989.

    Article  Google Scholar 

  3. T. Berners-Lee. Weaving the Web. Harper Business, 2000.

    Google Scholar 

  4. T. Clark, E. Evans, St. Kent, and P. Sammut. The MMF Approach to Engineering Object-Oriented Design Languages. In Workshop on Language Descriptions, Tools and Applications, 2001.

    Google Scholar 

  5. A. Evans. Reasoning with UML class diagrams. In Proceedings of the Workshop on Industrial Strength Formal Methods(WIFT’98), Florida, USA, 1998. IEEE Press.

    Google Scholar 

  6. A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner. Consistency-Based Diagnosis of Configuration Knowledge Bases. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), pages 146–150, Berlin, Germany, 2000.

    Google Scholar 

  7. A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker. Semantic Configuration Web Services in the CAWICOMS project. Proceedings of 1st International Semantic Web Conference, pages 192–205, 2002.

    Google Scholar 

  8. D. Fensel, F. vanHarmelen, I. Horrocks, D. McGuinness, and P. F. Patel-Schneider. OIL: An Ontology Infrastructure for the SemanticWeb. IEEE Intelligent Systems, 16(2):38–45, 2001.

    Article  Google Scholar 

  9. G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner. Configuring Large Systems Using Generative Constraint Satisfaction. IEEE Intelligent Systems, 13(4):59–68, 1998.

    Article  Google Scholar 

  10. P. Gray, K. Hui, and A. Preece. An Expressive Constraint Language for Semantic Web Applications. In Proceedings of the IJCAI 2001 Workshop on E-Business and the Intelligent Web, pages 46–53, Seattle, WA, 2001.

    Google Scholar 

  11. B.N. Grosof. Standardizing XML Rules. In Proceedings of the IJCAI 2001 Workshop on E-Business and the Intelligent Web, pages 2–3, Seattle, WA, 2001.

    Google Scholar 

  12. U. Junker. Preference programming for configuration. In Proceedings of Workshop on Configuration (IJCAI’01), Seattle, WA, USA, 2001.

    Google Scholar 

  13. E.W. Jüngst M. Heinrich. A resource-based paradigm for the con.guring of technical systems from modular components. In Proceedings of the 7th IEEE Conference on AI applciations (CAIA), pages 257–264, Miami, FL, USA, 1991.

    Google Scholar 

  14. D. Mailharro. A classification and constraint-based framework for configuration. Artificial Intelligence for Engineering, Design, Analysis and Manufacturing Journal, Special Issue: Configuration Design, 12(4):383–397, 1998.

    Google Scholar 

  15. Sh. McIlraith, T. C. Son, and H. Zeng. Mobilizing the Semantic Web with DAMLEnabledWeb Services. In Proceedings of the IJCAI 2001 Workshop on E-Business and the Intelligent Web, pages 29–39, Seattle, WA, 2001.

    Google Scholar 

  16. S. Mittal and B. Falkenhainer. Dynamic Constraint Satisfaction Problems. In Proceedings of the National Conference on Artificial Intelligence (AAAI 90), pages 25–32, Boston, MA, 1990.

    Google Scholar 

  17. S. Mittal and F. Frayman. Towards a Generic Model of Configuration Tasks. In Proceedings 11th International Joint Conf. on Artificial Intelligence, pages 1395–1401, Detroit, MI, 1989.

    Google Scholar 

  18. E. Motta, D. Fensel, M. Gaspari, and V.R. Benjamins. Specifications of Knowledge Components for Reuse. In Proceedings of 11th International Conference on Software Engineering and Knowledge Engineering, pages 36–43, Kaiserslautern, Germany, 1999.

    Google Scholar 

  19. J. D. Poole. Model-Driven Architecture: Vision, Standards And Emerging Technologies. In Workshop on Metamodeling and Adaptive Object Models, ECOOP 2001, 2001.

    Google Scholar 

  20. M. Richters and M. Gogolla. Validating UML Models and OCL Constraints. In Proceedings of the 3rd International Conference on the Unified Modeling Language (UML’2000), volume 1939, pages 265–277, York, UK, 2000. Springer Lecture Notes in Computer Science.

    Google Scholar 

  21. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.

    Google Scholar 

  22. D. Sabin and R. Weigel. Product Con.guration Frameworks—A Survey. In B. Faltings and E. Freuder, editors, IEEE Intelligent Systems, Special Issue on Configuration, volume 13,4, pages 50–58. IEEE, 1998.

    Google Scholar 

  23. M. C. Silaghi, D. Sam-Haroud, and B. Faltings. Asynchronous search with aggregations. In Proceedings of 17th National Conference on Artificial Intelligence (AAAI), pages 917–922, Austin, TX, USA, 2000.

    Google Scholar 

  24. F. vanHarmelen, P. F. Patel-Schneider, and I. Horrocks. A Model-Theoretic Semantics for DAML+OIL. http://www.daml.org , March 2001.

  25. W3C. Simple Object Access Protocol (SOAP), ver. 1.2. http://www.w3c.org , 2001.

  26. J. Warmer and A. Kleppe. The Object Constraint Language—Precise Modeling with UML. Addison Wesley Object Technology Series, 1999.

    Google Scholar 

  27. M. Yokoo, E. H. Durfee, T. Ishida, and K. Kuwabara. The distributed constraint satisfaction problem. IEEE Transactions on Knowledge and Data Engineering, 10(5):673–685, 1998.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Produktionsinformatik, Institut für Wirtschaftsinformatik und Anwendungssysteme, Universitätsstrasse 65-67, A-9020, Klagenfurt, Austria

    Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach & Markus Zanker

Authors
  1. Alexander Felfernig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerhard Friedrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dietmar Jannach
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Markus Zanker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Irisa - Univesité de Rennes 1, Campus de Beaulieu, 35042, Rennes cedex, France

    Jean-Marc Jézéquel

  2. Fakultät Informatik, Technische Universität Dresden, Mommsenstr. 13, 01062, Dresden, Germany

    Heinrich Hussmann

  3. IBM United Kingdom Ltd, Sunbury House, 79 Staines Road West Sunbury-on-Thames, TW16 7AN, Middlesex, UK

    Stephen Cook

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. (2002). Configuration Knowledge Representation Using UML/OCL. In: Jézéquel, JM., Hussmann, H., Cook, S. (eds) ≪UML≫ 2002 — The Unified Modeling Language. UML 2002. Lecture Notes in Computer Science, vol 2460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45800-X_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-45800-X_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44254-7

  • Online ISBN: 978-3-540-45800-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation