Abstract. Current techniques for modelling software architecture do not support the modelling of architectural design rules, which are recognized as important design artefacts by current research in software architecture. This is a problem in the context of Model-Driven Development in which it is assumed that major design artefacts are represented as formal or semi-formal models. This paper addresses this problem by proposing how architectural design rules could be expressed in UML in a meta-model for the system model

intent (ADI) was held jointly with ICSE 2007 in Minneapolis. This report presents the themes of the workshop, summarizes the results of the discussions held, and suggests some topics for future research.

Much of the work within the information systems discipline has an implied focus on the science aspect of the area of research known as design science. However, the design aspect is often regarded as an obvious and straightforward activity. To the contrary, design is a complex and creative human activity that arises in many different disciplines, including architecture and engineering. This research focuses on articulating the significance of “design ” in design science research. It proposes a 3-layer framework that clarifies the relationship between design and research. This framework provides the basis for developing a set of guidelines that helps distinguish different levels of design and research and highlights the knowledge goals for each level. Doing so unpacks the dual notions of design and science in a way that illuminates the design aspect within design science research, leading to a deeper understanding of how to conduct and apply such research.

Abstract. Business information systems and enterprise applications have continuously evolved into Business-IT systems over the last decades, directly linking and integrating Business Process Management with recent technology evolutions such as Web services and Service-Oriented Architectures. Many of these technological evolutions include areas of past academic research: Business rules closely relate to expert systems, Semantic Web technology uses results from description logics, attempts have been made to compose Web services using intelligent planning techniques, and the analysis of business processes and Web service choreographies often relies on model checking. As such, many of the problems that arise with these new technologies have been solved at least in principle. However, if we try to apply these “in principle ” solutions, we are confronted with the failure of these solutions in practice: many proposed solution techniques do not scale to the real-world requirements or they rely on assumptions that are not satisfied by Business-IT systems. As has been observed previously, research in this area is fragmented and does not follow a truly interdisciplinary approach. To overcome this fragmentation, we propose the vision of a compiler for Business-IT systems that takes business process specifications described at various degrees of detail as input and compiles them into executable IT systems. As any classical compiler, the parsing, analysis, optimization, code generation and linking phases are supported. We describe a set of ten research problems that we see as critical to bring our compiler vision to reality. 1