Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Development of guidelines for microbiological control in microbrewery

Over the past 15 years the Italian brewing scene showed interesting changes, especially with regard to the creation of many breweries with an annual production of less than 10,000 hectoliters. The beers produced by microbreweries are very susceptible to attack by spoilage micro-organisms that cause the deterioration of beer quality characteristics. In addition, most of the microbreweries do not practice heat treatments of stabilization and do not carry out quality checks on the product. The high presence of beer spoilage bacteria is an economic problem for the brewing industry because it can damage the brand and it causes high costs of product retrieval. This thesis project was aimed to study the management of the production process in the Italian microbreweries within a production less than 10,000 hl. In particular, the annual production, type of plant, yeast management, process management, cleaning and sanitizing of a representative sample of microbreweries were investigated. Furthermore was made a collection of samples in order to identify, with simple methods, what are spoilage bacteria more present in the Italian craft beers. 21% of the beers analysed were positive at the presence of lactic acid bacteria. These analytical data show the importance of understanding what are the weak points of the production process that cause the development of spoilage bacteria. Finally, the thesis examined the actual production of two microbreweries in order to understand the process management that can promote the growth of spoilage bacteria in beer and production plant. The analysis of the data for the two case studies was helpful to understand what are the critical points where the microorganisms are most frequently in contact with the product. The hygiene practices are crucial to ensure the quality of the finished product, especially in the case of non-pasteurized beer.

Strategic decision making in international firms: effect of top management team internationalization on international strategic decision process

In this research project, I have integrated two research streams on international strategic decisions making in international firms: upper echelons or top management teams (TMT) internationalization research and international strategic decision making process research. Both research streams in international business literature have evolved independently, but there is a potential in combining these two streams of research. The first empirical paper “TMT internationalization and international strategic decision making process: a decision level analysis of rationality, speed, and performance” explores the influence of TMT internationalization on strategic decision rationality and speed and, subsequently, their effect on international strategic decision effectiveness (performance). The results show that the internationalization of TMT is positively related to decision effectiveness and this relationship is mediated by decision rationality while the hypotheses regarding the association between TMT internationalization and decision speed, and the mediating effect of speed were not supported. The second paper “TMT internationalization and international strategic decision rationality: the mediating role of international information” of my thesis is a simple but logical extension of first paper. The first paper showed that TMT Internationalization has a significant positive effect on international strategic decision rationality. The second paper explicitly showed that TMT internationalization affect on international strategic decision rationality comes from two sources: international experience (personal international knowledge and information) and international information collected from managerial international contacts. For this research project, I have collected data from international software firms in Pakistan. My research contributes to the literature on upper echelons theory and strategic decision making in context of international business and international firms by explicitly examining the link between TMT internationalization and characteristics of strategic decisions making process (i.e. rationality and speed) in international firms and their possible mediating effect on performance.