Information Technology as Coordination Infrastructure

Business information technology is traditionally viewed as information provision technology. In this view, organizations use their IT to implement databases that provide people with information when they want it. This view is persistent even though information provision is never an end in itself but always has the further purpose to support the coordination of activities of people. The role if IT as coordination technology became more prominent in the 1980s with the advent of network technology, that allowed activities across different businesses to be coordinated. This trend has accellerated since the growth of Internet usage, and today IT is used to support an increasingly varied range of processes performed by a variety of partners that do not all have a hierarchical relation to each other. This makes it difficult to analyze requirements for IT support and specify IT solutions: Business processes may not be well-defined, and interests of different businesses may clash. This report argues that to deal with this in requirements engineering and IT solution specification, business information technology should not be viewed as IT support for business processes but as IT support for the coordination of activities in one or more businesses. We will identify three basic coordination mechanisms, namely coordination by price, by management, and by shared norms, and for each of these mechanisms, we will identify requirements for IT support. The advent of flexible and standardized networking technology has facilitated the creation of novel coordination mechanisms within these three general paradigms, and we will give an inventory of generalized coordination mechanisms made possible by current IT. Finally, we will draw conclusions for requirements engineering methods for IT support for each of the coordination mechanisms identified by the framework

LCM and MCM: specification of a control system using dynamic logic and process algebra

LCM 3.0 is a specification language based on dynamic logic and process algebra, and can be used to specify systems of dynamic objects that communicate synchronously. LCM 3.0 was developed for the specification of object-oriented information systems, but contains sufficient facilities for the specification of control to apply it to the specification of control-intensive systems as well. In this paper, the results of such an application are reported. The paper concludes with a discussion of the need for theorem-proving support and of the extensions that would be needed to be able to specify real-time properties

Steps Towards a Method for the Formal Modeling of Dynamic Objects

Fragments of a method to formally specify object-oriented models of a universe of discourse are presented. The task of finding such models is divided into three subtasks, object classification, event specification, and the specification of the life cycle of an object. Each of these subtasks is further subdivided, and for each of the subtasks heuristics are given that can aid the analyst in deciding how to represent a particular aspect of the real world. The main sources of inspiration are Jackson System Development, algebraic specification of data- and object types, and algebraic specification of processes

A Unified Checklist for Observational and Experimental Research in Software Engineering (Version 1)

Current checklists for empirical software engineering cover either experimental research or case study research but ignore the many commonalities that exist across all kinds of empirical research. Identifying these commonalities, and explaining why they exist, would enhance our understanding of empirical research in general and of the differences between experimental and case study research in particular. In this report we design a unified checklist for empirical research, and identify commonalities and differences between experimental and case study research. We design the unified checklist as a specialization of the general engineering cycle, which itself is a special case of the rational choice cycle. We then compare the resulting empirical research cycle with two checklists for experimental research, and with one checklist for case study research. The resulting checklist identifies important questions to be answered in experimental and case study research design and reports. The checklist provides insights in two different types of empirical research design and their relationships. Its limitations are that it ignores other research methods such as meta-research or surveys. It has been tested so far only in our own research designs and in teaching empirical methods. Future work includes expanding the comparison with other methods and application in more cases, by others than ourselves

The case of tin-plating of surface mounted glass diodes

New product development is one of the most powerful but difficult activities in business. It is also a very important factor affecting final product quality. There are many techniques available for new product development. Experimental design is now regarded as one of the most significant techniques. In this article, we will discuss how to use the technique of experimental design in developing a new product - an extrusion press. In order to provide a better understanding of this specific process, a brief description of the extrusion press is presented. To ensure the successful development of the extrusion press, customer requirements and expectations were obtained by detailed market research. The critical and non-critical factors affecting the performance of the extrusion press were identified in preliminary experiments. Through conducting single factorial experiments, the critical factorial levels were determined. The relationships between the performance indexes of the extrusion press and the four critical factors were determined on the basis of multi-factorial experiments. The mathematical models for the performance of the extrusion press were established according to a central composite rotatable design. The best combination of the four critical factors and the optimum performance indexes were determined by optimum design. The results were verified by conducting a confirmatory experiment. Finally, a number of conclusions became evident.

Control charts for monitoring the mean of AR(1) data

New product development is one of the most powerful but difficult activities in business. It is also a very important factor affecting final product quality. There are many techniques available for new product development. Experimental design is now regarded as one of the most significant techniques. In this article, we will discuss how to use the technique of experimental design in developing a new product - an extrusion press. In order to provide a better understanding of this specific process, a brief description of the extrusion press is presented. To ensure the successful development of the extrusion press, customer requirements and expectations were obtained by detailed market research. The critical and non-critical factors affecting the performance of the extrusion press were identified in preliminary experiments. Through conducting single factorial experiments, the critical factorial levels were determined. The relationships between the performance indexes of the extrusion press and the four critical factors were determined on the basis of multi-factorial experiments. The mathematical models for the performance of the extrusion press were established according to a central composite rotatable design. The best combination of the four critical factors and the optimum performance indexes were determined by optimum design. The results were verified by conducting a confirmatory experiment. Finally, a number of conclusions became evident.

On the occurrence of growth inhibiting substances in rye

The cause of the decreased food intake and lower growth rate of animals fed on rye was investigated. With rats it was proved that the causative agent was soluble in petroleum ether and acetone. The growth inhibitor was identified as a mixture of 5-n-alkyl resorcinols with odd numbered side-chains of 15-23 C atoms, and of smaller amounts of 5-alkenyl resorcinols.No difference in growth inhibition could be detected from the wheat resorcinols found by Wenckert et al. But the effect of synthetic 5-n-pentadecyl resorcinol was only 50-60 % of that of the grain resorcinols, however. This could not be due to alkenyl resorcinols in wheat and rye, because hydrogenation of the grain resorcinols did not alter the growth inhibition.A fluorometric method for the analysis of 5-alkyl resorcinols was developed. By this method and thin-layer chromatography the alkyl resorcinols could be found in the pericarp. So the resorcinol content of rye proved to be proportional to the surface area of the grain and thus dependent on grain size.Young rats were more susceptible to grain resorcinols than older ones. The decreased food consumption of resorcinol-fed rats was not caused by any unappetizing taste of rye oil or rye resorcinols.The growth of pigs on rations containing 50 % rye oil or an equivalent amount of rye oil, was 11-12% lower than on a 50% barley ration. No differences in harmfulness could be detected between fresh rye and rye stored for a year

Surveying the factors that influence maintainability: research design

We want to explore and analyse design decisions that influence maintainability of software. Software maintainability is important because the effort expended on changes and fixes in software is a major cost driver. We take an empirical, qualitative approach, by investigating cases where a change has cost more or less than comparable changes, and analysing the causes for those differences. We will use this analysis of causes as input to following research in which the individual contributions of a selection of those causes will be quantitatively analysed