Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.

Kommissionierung par excellence

Der Kommissionierprozess stellt im Rahmen der innerbetrieblichen Logistik - gerade auch im Hinblick auf Just-In-Time-Lieferungen und Fragen der Produkthaftung - einen zentralen Baustein des Material- und Informationsflusses in Unternehmen dar. Dabei ist die Wahl des Kommissioniersystems ausschlaggebend für die Optimierung der personal- und zeitaufwendigen Kommissioniervorgänge und dient damit zur Leistungssteigerung unter gleichzeitiger Reduzierung der Fehlerquote.

Online social networks: why we disclose

On online social networks such as Facebook, massive self-disclosure by users has attracted the attention of industry players and policymakers worldwide. Despite the impressive scope of this phenomenon, very little is understood about what motivates users to disclose personal information. Integrating focus group results into a theoretical privacy calculus framework, we develop and empirically test a Structural Equation Model of self-disclosure with 259 subjects. We find that users are primarily motivated to disclose information because of the convenience of maintaining and developing relationships and platform enjoyment. Countervailing these benefits, privacy risks represent a critical barrier to information disclosure. However, users’ perception of risk can be mitigated by their trust in the network provider and availability of control options. Based on these findings, we offer recommendations for network providers.

Unified European Front: The Road towards a European Unitary Patent. EU Centre Singapore Working Paper No. 21, March 2014

For over forty years, European countries have held numerous conferences and signed multiple international agreements aimed at either creating a unitary patent which will be valid in all European countries upon issuance or establishing a specialized European court with jurisdiction over patents. This paper first outlines the need for a unitary patent in the European Union and then chronicles the measures taken to support and milestones toward the creation of a European-wide unitary patent system. The paper then discusses the few problems and pitfalls that have prevented European countries from coming to an agreement on such a patent system. Finally, the paper considers the closely related agreements of ‘Unitary Patent Package’, the challenges facing these agreements and examines if it would finally result in an EU Unitary patent system that benefits one and all.

World Class Manufacturing : approccio ad un sistema di manutenzione predittiva (CBM)

L’oggetto di analisi del presente lavoro di tesi è il modello di Operational Excellence noto come World Class Manufacturing in particolare l’approccio allo step 6 del pilastro Professional Maintenance, dove si richiede l’implementazione di un sistema di manutenzione PREDITTIVA, la cosiddetta CBM (Conditional Based Maintenance) . Il modello a cui si fa riferimento fu teorizzato dal professore giapponese H. Yamashina verso la metà degli anni 2000 e giunse in Italia attorno al 2005, quando Fiat Group (oggi FCA) lo adottò come approccio standard alla gestione della produzione. Questo tipo di analisi, orientata verso una prospettiva pratica più che teorica, deriva direttamente da un’esperienza sul campo che ho svolto all’interno di un’azienda che ha aderito al World Class Manufacturing (WCM). Nel capitolo 1 verrà proposto un excursus delle metodologie alla base del WCM e del percorso storico che ha portato alla formulazione del modello. Nel secondo capitolo verrà proposto un caso di applicazione del WCM all'interno di un Gruppo, nella fattispecie Ariston Thermo Group (ATG). Dopo un’overview sul Gruppo e sulla storia della sua adesione al programma di miglioramento, la trattazione si focalizza sull'approccio di ATG al WCM. Nel terzo capitolo verrà introdotta la Manutenzione Professionale secondo le principali politiche manutentive schematizzate dal WCM. Verranno presentate singolarmente per sottolineare i loro obiettivi seguiti dai vantaggi e svantaggi che si possono ottenere nell’implementare ogni singola politica. Nel quarto capitolo verranno specificate sotto un aspetto prettamente pratico le varie attività svolte dalla PM così da evidenziare lo sviluppo e il miglioramento continuo che essa sta ottenendo dall’introduzione del WCM; principalmente la presentazione delle varie attività si riferiscono al passaggio allo step 6 della PM, dove verrà presentata approfonditamente elencando e analizzando tutte le attività svolte per approcciarsi alla CBM.

Product variety and just-in-time conflict and challenge

This paper addresses the question of how just-in-time can be implemented within high variety manufacture. To illustrate some of the principles in relation to the high variety-low volume situation the case of a computer manufacturer is considered in detail. For contrast the paper also considers the case of the manufacture of highly-configured four wheel drive vehicles where both variety and volumes are high. The most important issue in high variety/low volume production is that JIT operation should be seen in terms of the tactical holding of inventory in upstream buffers within the supply chain so that value is not added to work in progress prematurely. Tactical buffers ensure that service levels are maintained and the risk of stock-outs is minimized. In high variety/high volume production schedule integrity is the key factor, unreliable schedules being a major inhibitor to the introduction of JIT.

Aspects of the design and control of manufacturing systems subject to demand uncertainty

The recent explosive growth in advanced manufacturing technology (AMT) and continued development of sophisticated information technologies (IT) is expected to have a profound effect on the way we design and operate manufacturing businesses. Furthermore, the escalating capital requirements associated with these developments have significantly increased the level of risk associated with initial design, ongoing development and operation. This dissertation has examined the integration of two key sub-elements of the Computer Integrated Manufacturing (CIM) system, namely the manufacturing facility and the production control system. This research has concentrated on the interactions between production control (MRP) and an AMT based production facility. The disappointing performance of such systems has been discussed in the context of a number of potential technological and performance incompatibilities between these two elements. It was argued that the design and selection of operating policies for both is the key to successful integration. Furthermore, policy decisions are shown to play an important role in matching the performance of the total system to the demands of the marketplace. It is demonstrated that a holistic approach to policy design must be adopted if successful integration is to be achieved. It is shown that the complexity of the issues resulting from such an approach required the formulation of a structured design methodology. Such a methodology was subsequently developed and discussed. This combined a first principles approach to the behaviour of system elements with the specification of a detailed holistic model for use in the policy design environment. The methodology aimed to make full use of the `low inertia' characteristics of AMT, whilst adopting a JIT configuration of MRP and re-coupling the total system to the market demands. This dissertation discussed the application of the methodology to an industrial case study and the subsequent design of operational policies. Consequently a novel approach to production control resulted. A central feature of which was a move toward reduced manual intervention in the MRP processing and scheduling logic with increased human involvement and motivation in the management of work-flow on the shopfloor. Experimental results indicated that significant performance advantages would result from the adoption of the recommended policy set.

Impact of just-in-time on job content, employee attitudes and well-being:a longitudinal study

Just-in-time (JIT) production systems are increasingly being seen as a vital way for manufacturing organizations to enhance their competitiveness. A number of commentators have suggested that this will simplify jobs and reduce employee well-being. This paper presents a conceptual framework for interpreting the effects of JIT and reports findings from a study of the impact of JIT on the content of workers'jobs and on job satisfaction and psychological strain. The introduction of JIT led to a reduction in control over work timing, an increase in production pressure, and a drop in job satisfaction. Contrary to claims in the literature, no changes were found in control over work methods, other aspects of cognitive demands and skill use, and in psychological strain. The study shows that JIT can be implemented without radical changes in job content or adverse impact in terms of employee strain, and the implications of these findings are discussed.

Introduction : the role of quality, production and technological innovation in improving competitive performance

Quality, production and technological innovation management rank among the most important matters of concern to modern manufacturing organisations. They can provide companies with the decisive means of gaining a competitive advantage, especially within industries where there is an increasing similarity in product design and manufacturing processes. The papers in this special issue of International Journal of Technology Management have all been selected as examples of how aspects of quality, production and technological innovation can help to improve competitive performance. Most are based on presentations made at the UK Operations Management Association's Sixth International Conference held at Aston University at which the theme was 'Getting Ahead Through Technology and People'. At the conference itself over 80 papers were presented by authors from 15 countries around the world. Among the many topics addressed within the conference theme, technological innovation, quality and production management emerged as attracting the greatest concern and interest of delegates, particularly those from industry. For any new initiative to be implemented successfully, it should be led from the top of the organization. Achieving the desired level of commitment from top management can, however, be a difficulty. In the first paper of this issue, Mackness investigates this question by explaining how systems thinking can help. In the systems approach, properties such as 'emergence', 'hierarchy', 'commnication' and 'control' are used to assist top managers in preparing for change. Mackness's paper is then complemented by Iijima and Hasegawa's contribution in which they investigate the development of Quality Information Management (QIM) in Japan. They present the idea of a Design Review and demonstrate how it can be used to trace and reduce quality-related losses. The next paper on the subject of quality is by Whittle and colleagues. It relates to total quality and the process of culture change within organisations. Using the findings of investigations carried out in a number of case study companies, they describe four generic models which have been identified as characterising methods of implementing total quality within existing organisation cultures. Boaden and Dale's paper also relates to the management of quality, but looks specifically at the construction industry where it has been found there is still some confusion over the role of Quality Assurance (QA) and Total Quality Management (TQM). They describe the results of a questionnaire survey of forty companies in the industry and compare them to similar work carried out in other industries. Szakonyi's contribution then completes this group of papers which all relate specifically to the question of quality. His concern is with the two ways in which R&D or engineering managers can work on improving quality. The first is by improving it in the laboratory, while the second is by working with other functions to improve quality in the company. The next group of papers in this issue all address aspects of production management. Umeda's paper proposes a new manufacturing-oriented simulation package for production management which provides important information for both design and operation of manufacturing systems. A simulation for production strategy in a Computer Integrated Manufacturing (CIM) environment is also discussed. This paper is then followed by a contribution by Tanaka and colleagues in which they consider loading schedules for manufacturing orders in a Material Requirements Planning (MRP) environment. They compare mathematical programming with a knowledge-based approach, and comment on their relative effectiveness for different practical situations. Engstrom and Medbo's paper then looks at a particular aspect of production system design, namely the question of devising group working arrangements for assembly with new product structures. Using the case of a Swedish vehicle assembly plant where long cycle assembly work has been adopted, they advocate the use of a generally applicable product structure which can be adapted to suit individual local conditions. In the last paper of this particular group, Tay considers how automation has affected the production efficiency in Singapore. Using data from ten major industries he identifies several factors which are positively correlated with efficiency, with capital intensity being of greatest interest to policy makers. The two following papers examine the case of electronic data interchange (EDI) as a means of improving the efficiency and quality of trading relationships. Banerjee and Banerjee consider a particular approach to material provisioning for production systems using orderless inventory replenishment. Using the example of a single supplier and multiple buyers they develop an analytical model which is applicable for the exchange of information between trading partners using EDI. They conclude that EDI-based inventory control can be attractive from economic as well as other standpoints and that the approach is consistent with and can be instrumental in moving towards just-in-time (JIT) inventory management. Slacker's complementary viewpoint on EDI is from the perspective of the quality relation-ship between the customer and supplier. Based on the experience of Lucas, a supplier within the automotive industry, he concludes that both banks and trading companies must take responsibility for the development of payment mechanisms which satisfy the requirements of quality trading. The three final papers of this issue relate to technological innovation and are all country based. Berman and Khalil report on a survey of US technological effectiveness in the global economy. The importance of education is supported in their conclusions, although it remains unclear to what extent the US government can play a wider role in promoting technological innovation and new industries. The role of technology in national development is taken up by Martinsons and Valdemars who examine the case of the former Soviet Union. The failure to successfully infuse technology into Soviet enterprises is seen as a factor in that country's demise, and it is anticipated that the newly liberalised economies will be able to encourage greater technological creativity. This point is then taken up in Perminov's concluding paper which looks in detail at Russia. Here a similar analysis is made of the concluding paper which looks in detail at Russia. Here a similar analysis is made of the Soviet Union's technological decline, but a development strategy is also presented within the context of the change from a centralised to a free market economy. The papers included in this special issue of the International Journal of Technology Management each represent a unique and particular contribution to their own specific area of concern. Together, however, they also argue or demonstrate the general improvements in competitive performance that can be achieved through the application of modern principles and practice to the management of quality, production and technological innovation.

Modular system design and control for flexible assembly

Flexible Assembly Systems (FASs) are normally associated with the automatic, or robotic, assembly of products, supported by automated material handling systems. However, manual assembly operations are still prevalent within many industries, where the complexity and variety of products prohibit the development of suitable automated assembly equipment. This article presents a generic model for incorporating flexibility into the design and control of assembly operations concerned with high variety/low volume manufacture, drawing on the principles for Flexible Manufacturing Systems (FMS) and Just-in-Time (JIT) delivery. It is based on work being undertaken in an electronics company where the assembly operations have been overhauled and restructured in response to a need for greater flexibility, shorter cycle times and reduced inventory levels. The principles employed are in themselves not original. However, the way they have been combined and tailored has created a total manufacturing control system which represents a new concept for responding to demands placed on market driven firms operating in an uncertain environment.

Stratégiai paradigmaváltás szervezeti verseny(képesség) és az Operations management központi szerepe (Central role of strategic paradigm change, corporate competitiveness and operations management)

Az elmúlt két évtized folyamán a menedzserek megtanultak a megújult szabályok szerint játszani. Tudatosították, hogy a vállalatuk eredményes navigálásához folyamatosan figyelniük és adaptálniuk kell a legújabb módszereket, elméleteket. Jelen tanulmányával a szerző ezt a folyamatot kívánja segíteni, valamint arra az alapvető kérdésre keresi a választ, hogy érdemes-e a rendkívül gyorsan változó világban hosszabb távú célok meghatározásával foglalkozni, és ha igen, akkor mire összpontosítsák a vállalatok erőfeszítéseiket. Milyen részletezettséggel, milyen módon határozzák meg az elképzeléseiket úgy, hogy közben megőrizzék a vállalat flexibilitását, a változások idején nélkülözhetetlen agilitást. A szerző arra vállalkozik, hogy feltárja a stratégiai paradigmaváltás fejlődését, a termelési stratégia, az operations management központi meghatározó szereppé válását, valamint áttekintse a termelési és szolgáltatási rendszervezetés (OM) elveinek, eszközeinek, módszereinek fejlődését, kölcsönhatását, összefüggéseit. _______ Change of paradigm has taken place in strategic planning. Fight for position turned into a fight of movement. Companies strive to achieve individual, not copyable organizational performance, as well as to realize their business strategies by means of value generating, proactive approach. Operative management now placed in the focus of production strategy is becoming the compass, the driving force of leadership. The management of production and service systems has grown into independent scientific disciplines. It yielded such principles, tools and methods which are present as world-renowned blueprints (scientific tools) in the field of maintaining and developing corporate performance. In the present study the author specifies and discusses the tools of operative management as criteria of value generation aiming at quality and cost efficiency. He analyses the backto- back character, interrelationship of quality, TQM (Total Quality Management), TPS (Toyota Production System) and JIT (Just in Time). He examines the effects thereof on corporate performance where significant and strong relationship can be demonstrated in case there is an ability to plan and develop new products. The current new OM (Operations Management) techniques increasingly rely upon the quality of human resources, the permanent improvement of procedures as well as focusing on tight cooperation with suppliers/customers. Supply chain management, core competence management, service management now represent a “new generation” of the OM methods, processes, serving at the same time as basis and starting point for expectable future techniques as well.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Research in information systems: A study of diversity and inter-disciplinary discourse in the AIS basket journals between 1995 and 2011

The paper investigates how Information Systems (IS) has emerged as the product of inter-disciplinary discourses. The research aim in this study is to better understand diversity in IS research, and the extent to which the diversity of discourse expanded and contracted from 1995 to 2011. Methodologically, we apply a combined citations/co-citations analysis based on the eight Association for Information Systems basket journals and the 22 subject-field classification framework provided by the Association of Business Schools. Our findings suggest that IS is in a state of continuous interaction and competition with other disciplines. General Management was reduced from a dominant position as a reference discipline in IS at the expense of a growing variety of other discourses including Business Strategy, Marketing, and Ethics and Governance, among others. Over time, IS as a field moved from the periphery to a central position during its discursive formation. This supports the notion of IS as a fluid discipline dynamically embracing a diverse range of adjacent reference disciplines, while keeping a degree of continuing interaction with them. Understanding where IS is currently at allows us to better understand and propose fruitful avenues for its development in both academia and practice. © 2013 JIT Palgrave Macmillan All rights reserved.

Highway Performance and Time-Sensitive Industries, 1998

This report addresses delays to freight shippers. Although the focus is on just-in-time (JIT) businesses, the authors also note that non JIT businesses also suffer delays that impact their productivity. The table of contents lists the following headings: chapter 1 - introduction - a trial application: the Des Moines metropolitan area; structure of the report; chapter 2 - reliability at the forefront of freight transport demand - manufacturing and inventory; just-in-time operations in the U.S.; transportation consequences; summary; chapter 3 - JIT operations in Iowa - survey and sample; trucking activity and service; just-in-time truck transportation in Iowa; assessment of factors affecting truck transportation service; summary and conclusions; chapter 4 - travel time uncertainty induced by incidents - a probabilistic model for incident occurrences and durations; calculation of delay; trial application; conclusions; and chapter 5 - conclusions and recommendations - conclusions; recommendations.