For manufacturing, management needs to make rapid, informed strategic decisions to react to changes in the market place. In many of these cases the decisions will give rise to a redesign of the manufacturing processes (layout, changes in product mix and volumes), which in turn changes the nature of the scheduling problems associated with the production facilities. However, the necessary skills ...

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

The study of creativity in design has tended to emphasize its value and location in the individual designer as part of a statistically outlying population rather than as a normal characteristic of an entire population. Theories of creativity have generally stressed either its mysterious, gift-like qualities to an individual or as a constructed relationship between consumer and designer. This ar...

Abstract. To enable the development of automated support for design, a challenge is to model and analyse dynamics of design processes in a formal manner. This paper contributes a declarative, logical approach for specification of dynamic properties of design processes, supported by a formal temporal language. This language is used to specify dynamic properties of a design process as a whole, or...

Rapid business change demands the ability to adapt, rearrange and reinvent business processes while keeping the alignment with supporting information systems. However, such tasks require a business process to be consistently specified and modelled. To address this issue, this paper describes an organizational taxonomy that defines a controlled vocabulary to design business processes using the c...

In this work we describe tools that can be used to extend the User-Centered Design (UCD) process in its individual phases, such as user research and analysis, ideation, prototyping and usability testing. Doing so can potentially result in the three key advantages of a) involving a broader audience in the design process, b) simplifying multidisciplinary team communication, and c) providing tools...

Collaborative design, i.e., design involving the participation of multiple specialists, is an inherently COml)lex activity. It can benefit greatly from computer-based pTvccss support in which the emphasis is oil addressing the generic needs of decision-making processes [Raggl]. I)roccss support as (h’fim’d in [Rag91] includes: SUl)l)orting tim i)lam~ing, organization, and ext’cution of complex ...

This paper reports an experience with the modeling, verification and concurrent implementation of a medium-sized process control problem. The case study was proposed by Forschungszentrum Informatik, Karlsruhe in 1993 in order to promote the usage of formal methods in industry. It concerns an industrial robotics application that processes metal plates. A top-down design approach is followed wher...

It is traditional to look to any engineering activity from both the product point of view and the process point of view. The product is the desired result, the process is the route followed to reach the result. Methods were classically focused on the product aspect of systems development and have paid less attention to the description of formally defined ways-of-working. Clearly, there is an im...

Business process modelling and analysis puts specific requirements on models used and the language for expressing those models. The models should be easily understandable and analysable. In this paper we study the requirements for such a language and introduce a language that satisfies those requirements to a large extent. It was developed in the Testbed project, which aims at developing a syst...