Configuring large systems using generative constraint satisfaction

Fleishanderl, G.; Friedrich, Gerhard; Haselböck, Alois; Schreiner, Herwig; Stumptner, Markus

doi:10.1109/5254.708434

Cited by 149 publications

(132 citation statements)

References 4 publications

Supporting

Mentioning

131

Contrasting

Unclassified

Order By: Relevance

“…Technically solving the associated enumeration problem can be made using various formalisms or technical approaches: extensions of the CSP paradigm [9,10], knowledge based approaches [11], terminological logics [12], logic programming (using forward or backward chaining, and non standard semantics) [13], object-oriented approaches [14,11]. Our experiments were conducted using the object-oriented configurator Ilog JConfigurator [14].…”

Section: Brief Introduction To Configurationmentioning

confidence: 99%

A Constrained Object Model for Configuration Based Workflow Composition

Albert¹,

Henocque²,

Kleiner³

2006

Business Process Management Workshops

View full text Add to dashboard Cite

Abstract. Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research [1] observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels [2,3]. This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language, and more precisely using some of the definitions in [4].

show abstract

Section: Brief Introduction To Configurationmentioning

confidence: 99%

A Constrained Object Model for Configuration Based Workflow Composition

Albert¹,

Henocque²,

Kleiner³

2006

Business Process Management Workshops

View full text Add to dashboard Cite

show abstract

“…Current systems exploiting problem solving techniques (e.g., configuration systems [1,2]) are typically designed for expert users, and they are based on an implementationoriented representation of the domain. However, when these services are offered on the Web, the interaction needs of typical Web surfers, which include a large number of non-expert users requiring a natural and user-friendly interaction, cannot be ignored.…”

Section: Introductionmentioning

confidence: 99%

Designing a Tool for Configuring an Intelligent and Flexible Web-Based System

Magro

Goy

2005

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Several intelligent Web-based systems need complex reasoning mechanisms and problem solving capabilities in order to perform their tasks. These systems should protect their users against the complexity of their inference engine. Such a protection should be offered both to the final users and to the domain experts that instantiate the Web systems on the different particular domains. We claim that to this purpose an intermediate representation layer, with the role of filling the gap between the implementation-oriented view of the domain (needed by the reasoning module) and the human-oriented view of the same domain (suitable both for the final users and for the domain experts), is required. This intermediate layer also provides a representation which is independent from the specific reasoning approach adopted. In the paper we discuss these issues by referring to a specific example, i.e. the STAR system (a Web-based system which exploits a configuration engine to support the user in organizing a personalized tour) together with STAR-IT, a tool that supports the instantiation of STAR on different domains.

show abstract

“…telecommunications industry, automotive industry, or financial services) resulting in a set of corresponding configurator implementations (e.g. [2,11,13,22]). Informally, configuration can be seen as a special kind of design activity [16], where the configured product is built from a predefined set of component types and attributes, which are composed conforming to a set of corresponding constraints.…”

Section: Introductionmentioning

confidence: 99%

Acquiring Configuration Knowledge Bases in the Semantic Web Using UML

Felfernig¹,

Friedrich²,

Jannach³

et al. 2002

Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web

View full text Add to dashboard Cite

Abstract. The Semantic Web will provide the conceptual infrastructure to allow new forms of business application integration. This paper outlines our approach for integrating Web-based sales systems for highly complex customizable products and services (configuration systems) making use of descriptive representation formalisms of the Semantic Web. The evolving trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone) configuration technology with capabilities of knowledge sharing and distributed configuration problem solving. On the one hand, a standardized representation language is needed in order to tackle the challenges imposed by heterogeneous representation formalisms of state-of-the-art configuration environments (e.g. description logic or predicate logic based configurators), on the other hand it is important to integrate the development and maintenance of configuration systems into industrial software development processes. We show how to support both goals by demonstrating the applicability of the Unified Modeling Language (UML) for configuration knowledge acquisition and by providing a set of rules for transforming UML models into configuration knowledge bases specified by languages such as OIL or DAML+OIL which represent the foundation for potential future description standards for Web services.

show abstract

Configuring large systems using generative constraint satisfaction

Cited by 149 publications

References 4 publications

A Constrained Object Model for Configuration Based Workflow Composition

A Constrained Object Model for Configuration Based Workflow Composition

Designing a Tool for Configuring an Intelligent and Flexible Web-Based System

Acquiring Configuration Knowledge Bases in the Semantic Web Using UML

Contact Info

Product

Resources

About