Framework for enterprise systems engineering

This research aimed at developing a research framework for the emerging field of enterprise systems engineering (ESE). The framework consists of an ESE definition, an ESE classification scheme, and an ESE process. This study views an enterprise as a system that creates value for its customers. Thus, developing the framework made use of system theory and IDEF methodologies. This study defined ESE as an engineering discipline that develops and applies systems theory and engineering techniques to specification, analysis, design, and implementation of an enterprise for its life cycle. The proposed ESE classification scheme breaks down an enterprise system into four elements. They are work, resources, decision, and information. Each enterprise element is specified with four system facets: strategy, competency, capacity, and structure. Each element-facet combination is subject to the engineering process of specification, analysis, design, and implementation, to achieve its pre-specified performance with respect to cost, time, quality, and benefit to the enterprise. This framework is intended for identifying research voids in the ESE discipline. It also helps to apply engineering and systems tools to this emerging field. It harnesses the relationships among various enterprise aspects and bridges the gap between engineering and management practices in an enterprise. The proposed ESE process is generic. It consists of a hierarchy of engineering activities presented in an IDEF0 model. Each activity is defined with its input, output, constraints, and mechanisms. The output of an ESE effort can be a partial or whole enterprise system design for its physical, managerial, and/or informational layers. The proposed ESE process is applicable to a new enterprise system design or an engineering change in an existing system. The long-term goal of this study aims at development of a scientific foundation for ESE research and development.

Framework for Enterprise Systems Engineering

This research aimed at developing a research framework for the emerging field of enterprise systems engineering (ESE). The framework consists of an ESE definition, an ESE classification scheme, and an ESE process. This study views an enterprise as a system that creates value for its customers. Thus, developing the framework made use of system theory and IDEF methodologies. This study defined ESE as an engineering discipline that develops and applies systems theory and engineering techniques to specification, analysis, design, and implementation of an enterprise for its life cycle. The proposed ESE classification scheme breaks down an enterprise system into four elements. They are work, resources, decision, and information. Each enterprise element is specified with four system facets: strategy, competency, capacity, and structure. Each element-facet combination is subject to the engineering process of specification, analysis, design, and implementation, to achieve its pre-specified performance with respect to cost, time, quality, and benefit to the enterprise. This framework is intended for identifying research voids in the ESE discipline. It also helps to apply engineering and systems tools to this emerging field. It harnesses the relationships among various enterprise aspects and bridges the gap between engineering and management practices in an enterprise. The proposed ESE process is generic. It consists of a hierarchy of engineering activities presented in an IDEF0 model. Each activity is defined with its input, output, constraints, and mechanisms. The output of an ESE effort can be a partial or whole enterprise system design for its physical, managerial, and/or informational layers. The proposed ESE process is applicable to a new enterprise system design or an engineering change in an existing system. The long-term goal of this study aims at development of a scientific foundation for ESE research and development.

Global teacher für die Weltgesellschaft!? Theoretische Überlegungen zu den Kompetenzen von Lehrkräften, um Globales Lernen kompetenzorientiert zu unterrichten

In diesem Aufsatz werden historisch-systematische Anregungen zur Debatte um Kompetenz und Kompetenzen im Kontext bildungs- und professionstheoretischer Überlegungen angeboten. Dies ist der Ausgangspunkt für ein Nachdenken über angestrebte Kompetenzen Globalen Lernens sowie Kompetenzfelder des Global Teachers, um einen kompetenzorientierten Umgang damit zu ermöglichen. (DIPF/Orig.)

Lebenswelt und Lebensweltorientierung. Eine begriffliche Revision als Angebot an eine systemisch-konstruktivistische Sozialarbeitswissenschaft

Der Begriff der Lebenswelt ist im Diskurs der Sozialen Arbeit inzwischen ebenso geläufig wie die Forderung nach der Orientierung an eben dieser Lebenswelt. Der geradezu inflationäre Gebrauch des Begriffes geht jedoch mit einer nicht eben geringen begrifflichen „Unschärfe“, um nicht zu sagen Beliebigkeit einher. Angesichts dessen, erscheint mir schon alleine aus Gründen der innerdis-ziplinären Verständigung eine Präzisierung des Begriffs der Lebenswelt geboten. Dies soll nachfolgend zumindest in groben Zügen geleistet werden. Hierbei sollen zwar auch die phänomenologischen Wurzeln des Lebensweltbegriffes in den Blick genommen werden, vor allem aber soll eine systemisch-konstruktivistische Begriffsbestimmung vorgenommen werden. Hierzu wird, ausgehend von der Relevanz des Lebensweltkonzeptes für den Bereich der Sozialen Arbeit, zunächst die phänomenologische Herkunft des Lebensweltbegriffes zumindest skizziert. Daran anknüpfend wird eine systemisch-konstruktivistische Reformulierung des Lebensweltbegriffes vorgeschlagen, die einer systemisch-konstruktivistisch orientierten Wissenschaft der Sozialen Arbeit entspricht. (DIPF/Orig.)

Quality improvement within nonprofit social service providers

As a relatively new phenomenon in 2009, Swedish nonprofit social service providers proposed quality improvement as a way to reduce mistakes, use resources more effectively and meet the needs and expectations of clients in a better way. Although similar experiences have been studied in health care, the transfer of quality improvement to nonprofit social services gives a possibility for more knowledge on what enables, and constrains, systematic quality improvement in this specific context. This thesis is based on five years of supporting quality improvement in the Swedish nonprofit welfare sector. Specifically, it builds knowledge on which active mechanisms and enabling or constraining structures exist for nonprofit social service quality improvement. By studying quality improvement projects that have been conducted in the development program Forum for Values, critical cases and broad overviews are found valuable. These cases have resulted in four papers on quality improvement in nonprofit social services. The papers include: critical cases from a nursing home for elderly and a daycare for disabled children (Paper I); a critical case from a sheltered housing (Paper II); an overview of performance measurements in 127 quality improvement projects (Paper III); and an analytical model of how improvement policy and practice are bridged by intermediaries (Paper IV). In this thesis, enabled or constrained events and activities related to Deming's system of profound knowledge are identified from the papers and elaborated upon. As a basis for transforming practice into continuous improvement, profound knowledge includes the four knowledge domains: appreciation of a system, theory of knowledge, understanding of variation and psychology of change. From a realist perspective, the identified events are seen as enabled or constrained by mechanisms and underlying regularities, or structures, in the context of nonprofit social services. The emerging mechanisms found in this thesis are: describing and reflecting upon project relations; forming and testing a theory of action; collecting and displaying measurable results over time; and engaging and participating in a development program. The structures that enable these mechanisms are: connecting projects to shared values such as client needs; local ownership of what should be measured; and translating quality improvement into a single practice. Constraining structures identified are: a lack of generalizable scientific knowledge and inappropriate or missing infrastructure for measurements. Reflecting upon the emergent structures of nonprofit social services, the role of political macro structures, reflective practice, competence in statistical methods and areas of expertise becomes important. From this discussion and the findings some hypotheses for future work can be formulated. First, the identified mechanisms and structures form a framework that helps explain why intended actions of quality improvement occur or not. This frameworkcan be part of formulating a program theory of quality improvement in nonprofit social services. With this theory, quality improvement can be evaluated, reflected upon and further developed in future interventions. Second,new quality improvement interventions can be reproduced more regularly by active work with known enablers and constraints from this program theory. This means that long-lasting interventions can be performed and studied in a second generation of improvement efforts. Third, if organizations integrate quality improvement as a part of their everyday practice they also develop context-specific knowledge about their services. This context-specific knowledge can be adopted and further developed through dedicated management and understanding of variation. Thus, if enabling structures are invoked and constraining structures handled, systematic quality improvement could be one way to integrate generalizable scientific knowledge as part of an evidence-creating practice.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Relaxation times in a bistable system with parametric, white noise: Theory and experiment

We consider the effects of external, multiplicative white noise on the relaxation time of a general representation of a bistable system from the points of view provided by two, quite different, theoretical approaches: the classical Stratonovich decoupling of correlations and the new method due to Jung and Risken. Experimental results, obtained from a bistable electronic circuit, are compared to the theoretical predictions. We show that the phenomenon of critical slowing down appears as a function of the noise parameters, thereby providing a correct characterization of a noise-induced transition.

Statistical mechanical theory of an oscillating isolated system: The relaxation to equilibrium

In this Contribution we show that a suitably defined nonequilibrium entropy of an N-body isolated system is not a constant of the motion, in general, and its variation is bounded, the bounds determined by the thermodynamic entropy, i.e., the equilibrium entropy. We define the nonequilibrium entropy as a convex functional of the set of n-particle reduced distribution functions (n ? N) generalizing the Gibbs fine-grained entropy formula. Additionally, as a consequence of our microscopic analysis we find that this nonequilibrium entropy behaves as a free entropic oscillator. In the approach to the equilibrium regime, we find relaxation equations of the Fokker-Planck type, particularly for the one-particle distribution function.

Analyzing dynamic intellectual capital: System-based theory and application

This research report presents an application of systems theory to evaluating intellectual capital (IC) as organization's ability for self-renewal. As renewal ability is a dynamic capability of an organization as a whole, rather than a static asset or an atomistic competence of separate individuals within the organization, it needs to be understood systemically. Consequently, renewal ability has to be measured with systemic methods that are based on a thorough conceptual analysis of systemic characteristics of organizations. The aim of this report is to demonstrate the theory and analysis methodology for grasping companies' systemic efficiency and renewal ability. The volume is divided into three parts. The first deals with the theory of organizations as self-renewing systems. In the second part, the principles of quantitative analysis of organizations are laid down. Finally, the detailed mathematics of the renewal indices are presented. We also assert that the indices produced by the analysis are an effective tool for the management and valuation of knowledge-intensive companies.

Mapping and controlling molecular processes: The application of control theory and system identification algorithms to ASOPS and other fast pulse spectroscopies

Asynchronous Optical Sampling (ASOPS) [1,2] and frequency comb spectrometry [3] based on dual Ti:saphire resonators operated in a master/slave mode have the potential to improve signal to noise ratio in THz transient and IR sperctrometry. The multimode Brownian oscillator time-domain response function described by state-space models is a mathematically robust framework that can be used to describe the dispersive phenomena governed by Lorentzian, Debye and Drude responses. In addition, the optical properties of an arbitrary medium can be expressed as a linear combination of simple multimode Brownian oscillator functions. The suitability of a range of signal processing schemes adopted from the Systems Identification and Control Theory community for further processing the recorded THz transients in the time or frequency domain will be outlined [4,5]. Since a femtosecond duration pulse is capable of persistent excitation of the medium within which it propagates, such approach is perfectly justifiable. Several de-noising routines based on system identification will be shown. Furthermore, specifically developed apodization structures will be discussed. These are necessary because due to dispersion issues, the time-domain background and sample interferograms are non-symmetrical [6-8]. These procedures can lead to a more precise estimation of the complex insertion loss function. The algorithms are applicable to femtosecond spectroscopies across the EM spectrum. Finally, a methodology for femtosecond pulse shaping using genetic algorithms aiming to map and control molecular relaxation processes will be mentioned.

Formal theory building for the avalanche game: explaining counter-intuitive behaviour of a complex system using geometrical and human behavioural/physiological effects

In 'Avalanche', an object is lowered, players staying in contact throughout. Normally the task is easily accomplished. However, with larger groups counter-intuitive behaviours appear. The paper proposes a formal theory for the underlying causal mechanisms. The aim is to not only provide an explicit, testable hypothesis for the source of the observed modes of behaviour-but also to exemplify the contribution that formal theory building can make to understanding complex social phenomena. Mapping reveals the importance of geometry to the Avalanche game; each player has a pair of balancing loops, one involved in lowering the object, the other ensuring contact. For more players, sets of balancing loops interact and these can allow dominance by reinforcing loops, causing the system to chase upwards towards an ever-increasing goal. However, a series of other effects concerning human physiology and behaviour (HPB) is posited as playing a role. The hypothesis is therefore rigorously tested using simulation. For simplicity a 'One Degree of Freedom' case is examined, allowing all of the effects to be included whilst rendering the analysis more transparent. Formulation and experimentation with the model gives insight into the behaviours. Multi-dimensional rate/level analysis indicates that there is only a narrow region in which the system is able to move downwards. Model runs reproduce the single 'desired' mode of behaviour and all three of the observed 'problematic' ones. Sensitivity analysis gives further insight into the system's modes and their causes. Behaviour is seen to arise only when the geometric effects apply (number of players greater than degrees of freedom of object) in combination with a range of HPB effects. An analogy exists between the co-operative behaviour required here and various examples: conflicting strategic objectives in organizations; Prisoners' Dilemma and integrated bargaining situations. Additionally, the game may be relatable in more direct algebraic terms to situations involving companies in which the resulting behaviours are mediated by market regulations. Finally, comment is offered on the inadequacy of some forms of theory building and the case is made for formal theory building involving the use of models, analysis and plausible explanations to create deep understanding of social phenomena.

Theory building with system dynamics: topic and research contributions

The article discusses various reports published within the issue, including the articles "Closing the Loop: Promoting Synergies with other Theory Building Approaches to Improve System Dynamics Practice," by Birgit Kopainsky and Luis Luna-Reyes, and "On improving dynamic decision-making: Implications from multiple-process cognitive theory," by Bent Bakken.

Social theory and system dynamics practice

This paper explores the social theories implicit in system dynamics (SD) practice. Groupings of SD practice are observed in different parts of a framework for studying social theories. Most are seen to be located within `functionalist sociology'. To account for the remainder, two new forms of practice are discussed, each related to a different paradigm. Three competing conclusions are then offered: 1. The implicit assumption that SD is grounded in functionalist sociology is correct and should be made explicit. 2. Forrester's ideas operate at the level of method not social theory so SD, though not wedded to a particular social theoretic paradigm, can be re-crafted for use within different paradigms. 3. SD is consistent with social theories which dissolve the individual/society divide by taking a dialectical, or feedback, stance. It can therefore bring a formal modelling approach to the `agency/structure' debate within social theory and so bring SD into the heart of social science. The last conclusion is strongly recommended.