A Logical Theory of Design

Brazier, Frances M. T.; Langen, Pieter V An; Treur, Jan

doi:10.1007/978-0-387-34925-1_14

Cited by 19 publications

(12 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…transitions in the requirement qualification space and the domain object description space, and also transitions between the spaces [3]. Formal semantics of the dynamics can be used for the development of verification techniques [21].…”

Section: Discussionmentioning

confidence: 99%

“…In this paper, informal descriptions of these concepts are presented. The formal semantics of design processes (based on partial logic for the states and temporal partial logic [15] for the reasoning traces (sequences of states)) are discussed by Brazier, Langen, and Treur [3]. design object description is a conservative modification of the first, • design object description modification steps: a relation which holds between two design object descriptions if the second design object description is a modification of the first (allowing revision, for example).…”

Section: Characteristics Of Design Processesmentioning

confidence: 99%

“…This model is based on a logical analysis of design process [3] and on analyses of existing applications [4,5]. It provides not only an abstract description of a design process that is comparable with a design model [6] or a design theory [7], but also a generic structure which can be refined for specific design tasks in different domains of application.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Redesign and reuse in compositional knowledge-based systems

Brazier¹,

Langen²,

Treur³

et al. 1996

Knowledge-Based Systems

Self Cite

View full text Add to dashboard Cite

The paper introduces a task model for the redesign of compositional knowledge-based systems based on a generic task model of design. A generic task model of design provides an abstract description of a design task and a generic structure which can be refined for design tasks in specific domains of application. A generic task model of design, shown to incorporate redesign, is presented and refined to a task model for the redesign of compositional knowledge-based systems. The applicability of this task model is illustrated for the redesign of a diagnostic knowledge-based system.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Characteristics Of Design Processesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Redesign and reuse in compositional knowledge-based systems

Brazier¹,

Langen²,

Treur³

et al. 1996

Knowledge-Based Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…The approach we adopt uses logic as a tool in the analysis (see for example [2][5] [1]) and more specifically ordersorted predicate logic which employs sorts for naming sets of objects. Such an extension of first order logic by a sort hierarchy increases the clarity and intuitiveness in the description of the domain area.…”

Section: A Formal Specification Language For Performance Indicatorsmentioning

confidence: 99%

A Specification Language for Organisational Performance Indicators

Popova

Treur

2005

Innovations in Applied Artificial Intelligence

Self Cite

View full text Add to dashboard Cite

Abstract.A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in different forms, varying from informal, semiformal, graphical to formal. A software environment has been developed that supports the specification process and can be used to automatically check whether performance indicators or relations between them or certain requirements over them are satisfied in a given organisational process.

show abstract

“…Globally, the approach is based on the Global Design Model (GDM) by [4] (see for an example e.g. [3]).…”

mentioning

confidence: 99%

Specification of Adaptive Client-Tailored Product Models

Bosse

Both

Hoogendoorn

et al. 2007

2007 IEEE Congress on Services (Services 2007)

Self Cite

View full text Add to dashboard Cite

Nowadays, more and more products are being offered on the web in the form of web services. Financial institutions for example, also intend to offer their products in such a form in the near future. Within the area of web services, a lot of research has been conducted to compose such web services (see e.g. [9,10,11]). In order to maximise the probability that the product offered as a web service is indeed selected as part of such a composition, the company should offer the best product configuration it can. Such an offer can only be made if the product is fully tailored towards the desires and characteristics of the customer. Hence, a flexible and adaptive approach to obtain and maintain a product configuration is needed to maximise the success of offering a product as a web service.Traditionally, product models often have been forced in a static format, entailing rigidity of two types: (1) rigidity in the manner most products are initially fit to clients and (2) rigidity in the way they are maintained over time after a client has accepted them. When offering the product via an interactive medium like Internet, as a Web service, solving such rigidity problems increases the service's success probability. To cope with these problems, this paper proposes a dynamic approach to product models. This approach supports an ongoing interaction process between the designer and the client. During such an interaction process, the background and the desires of the client may change continuously, which will lead to continuous adaptation of the product.Globally, the approach is based on the Global Design Model (GDM) by [4] (see for an example e.g. [3]). It involves four important types of dynamical relations, i.e., (1) to identify requirements and to refine them into more specific requirements, (2) to relate specific requirements to basic design object attributes, (3) to determine derivable design object attributes from basic design object attributes, and (4) to evaluate a design object with respect to requirements. The approach has been formalised in the high-level executable language LEADSTO [1], which is a sublanguage of the predicate logical language TTL [2]. TTL can be classified as a predicate-logic-based reified temporal language; see [6,7]. The resulting (generic) specification has been tested in a case study in the domain of car insurances.In the domain of web services, extensive research has been conducted focusing on the composition of web services. Furthermore, the specification of the precise services offered has been investigated as well, proposing for instance semantic web technology (see e.g. [8]). An additional important aspect for businesses wanting to offer a service on the web is to make this service as attractive as possible for a client, which is addressed in this paper. In [5] such tailoring is also addressed; that paper introduces a language that allows for the specification of service level agreements in a flexible, individual way. The approach also introduces a way to manage such service levels througho...

show abstract

A Logical Theory of Design

Cited by 19 publications

References 11 publications

Redesign and reuse in compositional knowledge-based systems

Redesign and reuse in compositional knowledge-based systems

A Specification Language for Organisational Performance Indicators

Specification of Adaptive Client-Tailored Product Models

Contact Info

Product

Resources

About