Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006

This booklet contains the proceedings of the Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0

Elektroninių paslaugų įgyvendinimo sprendimai

Monografijoje nagrinėjamos elektroninių paslaugų (toliau tekste – ir e. paslaugos) plėtros tendencijos, apžvelgiamos įvairios temos – nuo paprastųjų e. paslaugų infrastruktūros kūrimo iki sudėtingų išmaniųjų paslaugų technologinių sprendimų. Kuriant šiuolaikines dirbtinio intelekto sistemas svarbu, kad jos būtų naudingos vartotojams ir pritaikomos kintančiai aplinkai. Ypač daug dėmesio skiriama išmaniųjų paslaugų kūrimui ir vartotojų įpročių analizei, gyventojų gebėjimams įsisavinti teikiamas paslaugas. Svarbu, kad išmaniosios sistemos leistų daugelį paslaugų valdyti automatiškai, pritaikant jas konkretiems poreikiams. Viena iš tokių sistemų kūrimo sričių – adaptuotosios paslaugos ir nuolat kintantis jų pateikimas. Taip pat aktualu mažinti išteklių sąnaudas, teikti paslaugas tiesioginės kreipties režimu ir reikiamu laiku, kartu siekiant paslaugų kokybės ir kuo mažesnės paklaidų rizikos. Dirbtinio intelekto sistemose, adekvačiai įvertinant paklausą ir gebėjimus valdyti paslaugų teikimo procesus, siūlomos įvairias dalykines sritis siejančios kompiuterinės technologijos. Tai mokslai, susiję su biomedicina, psichologija, kompiuterių inžinerija, lingvistika ir kt

Framework for Automated Functional Tests within Value-Added Service Environments

Full version unavailable due to 3rd party copyright restrictions.Recent years have witnessed that standard telecommunication services evolved more and more to next generation value-added services. This fact is accompanied by a change of service characteristics as new services are designed to fulfil the customer’s demands instead of just focussing on technologies and protocols. These demands can be very specific and, therefore, diverse potential service functionalities have to be considered by the service providers. To make matters worse for service providers, a fast transition from concept to market product and low price of a new service is required due to the increasing competition in the telecommunication industry. Therefore, effective test solutions need to be developed that can be integrated in current value-added service development life-cycles. Besides, these solutions should support the involvement of all participating stakeholders such as the service provider, the test developers as well as the service developers, and, in order to consider an agile approach, also the service customer. This thesis proposes a novel framework for functional testing that is based on a new sort of description language for value-added services (Service Test Description). Based on instances of the Service Test Description, sets of reusable test components described by means of an applied Statecharts notation are automatically selected and composed to so-called behaviour models. From the behaviour models, abstract test cases can be automatically generated which are then transformed to TTCN-3 test cases and then assembled to an Executable Test Suite. Within a TTCN-3 test system, the Executable Test Suite can be executed against the corresponding value-added service referred to as System Under Test. One benefit of the proposed framework is its application within standard development life-cycles. Therefore, the thesis presents a methodology that considers both service development and test development as parallel tasks and foresees procedures to synchronise the tasks and to allow an agile approach with customer involvement. The novel framework is validated through a proof-of-concept working prototype. Example value-added services have been chosen to illustrate the whole process from compiling instances of the Service Test Description until the execution of automated tests. Overall, this thesis presents a novel solution for service providers to improve the quality of their provided value-added services through automated functional testing procedures. It enables the early involvement of the customers into the service development life-cycle and also helps test developers and service developers to collaborate

The coevolution of AEC professional work practices with technology: collaborative delivery framework modelling for BIM projects

A thesis submitted to the Faculty of Engineering and the Built Environment, University of the Witwatersrand, Johannesburg, in fulfillment of the requirements for the degree of Doctor of Philosophy (PhD). Johannesburg, 2018Despite BIM’s potential to alleviate persistent construction industry challenges, its use does not guarantee results. Therefore, it was argued and established from a theoretical and practical standpoint that the implementation of BIM, an evolving technology, within pre-BIM organisational and project team work practices (as activity systems), induces their evolution through dysfunctions created in the systems and their resolution. A multi-stage\multi-method research design involving a study of BIM implementation cases, documents analysis, swimlane modelling and multi-domain-mapping (MDM) of pre-BIM and BIM-enabled project delivery processes was employed. This was to develop an understanding of how construction professional work practices evolve with the implementation of BIM. The findings show that evolutionary change of work practices within organisations precedes that of project teams. The findings further suggest a link between organisational attitude towards BIM as a method of working and success at implementing it. Using activity theory, a novel conceptual analysis of BIM induced change in professional work practices aided a theoretical understanding of the implications of implementing BIM on construction professional work practices. The theory provided a basis for analysing historical and future change patterns in professional work practices with BIM and indeed similar work mediating tools. An in-depth conceptualisation and new theoretical insight were developed on the phenomenon of new role legitimation, establishing that new BIM role takers are legitimated to exercise authority within project teams and organisations mainly because they leverage knowledge as a strategic resource. By implication, they will remain legitimate only as long as the constraint or dysfunction prompting their creation subsists. Furthermore, using swimlane and MDM modelling methods in complement, the BIM change impact on pre-BIM workflows was modelled. An objective evaluation of the BIM change impact at the pre-construction phase showed that the BIM-enabled project delivery workflows structure, compared to the pre-BIM is more connected and integrated.MT 201

An analytical framework for workflow technology adoption in local government authorities

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.The focus of the study is to develop a novel framework of workflow technology adoption (WAF) for public policy making. Workflow technology (WfT) has emerged to support both technological and economic importance for private and public organisations to meet competitive business and computational environment. Despite all the benefits of WfT, there has been limited adoption by policy makers. One of the reasons for this is the lack of a theoretical framework for researchers and a tool for decision makers that help in evaluating WfT adoption. Due to the limited knowledge on workflow adoption, from the socio-technical and organisational side, an academic challenge is to identify the key factors that influence adoption. To overcome these limitations, the proposed workflow adoption framework is based on the amalgamation of Technology, Organisation, Environment and Task Technology Fit theories that is evaluated and extended by using a qualitative multiple case study approach. Qualitative content analysis of the empirical data collected from three UK local government authorities resulted in a novel framework for WfT adoption, particularly for the policy making context, that has 17 factors, which influence adoption decisions. Findings revealed that attitude, organisation structure and competition did not have any influential role due to immense managerial support, constructive communication and thorough training provided to employees. Also, competition as an environmental factor had no influence over the adoption of WfT, since public services do not compete like in the private sector over market share, instead imitative pressure emerged due to close collaboration with neighbouring LGAs. It was also found that stakeholders and timescale had influence on the decisions and collection proved to be an important task characteristic of the LGAs. The major contribution of the framework is that it provides an understanding of the phenomenon by identifying key factors from the contextual perspective (i) technological set (complexity, relative advantage, compatibility and timescale), (ii) organisational set (managerial support, cost, information intensity and stakeholders), (iii) environmental set (government regulations and imitative pressure). In addition, it identifies functional fit of WfT with the task requirements by classifying functions (communication, information processing and process structuring) and policy making task characteristics (generation, choice, collection and combination) and then analysing the fit. Together it provides a holistic understanding of the phenomenon that aids informed decision making relevant to WfT adoption. Although, the literature has emphasised the technical aspects so far, this study contributes to future studies through organisational and managerial knowledge, classifying WfT’s functions and policy making task characteristics. Practical implications exist for the policy makers who can adopt the WAF as a recommendation tool to make informed decisions and achieve competitive advantage. Keywords: Workflow technology, IT adoption, decision making, policy making process and e-government

Behavioural Types

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers

Behavioural Types: from Theory to Tools

This book presents research produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY), a European research network that was funded from October 2012 to October 2016. The technical theme of BETTY was the use of behavioural type systems in programming languages, to specify and verify properties of programs beyond the traditional use of type systems to describe data processing. A significant area within behavioural types is session types, which concerns the use of type-theoretic techniques to describe communication protocols so that static typechecking or dynamic monitoring can verify that protocols are implemented correctly. This is closely related to the topic of choreography, in which system design starts from a description of the overall communication flows. Another area is behavioural contracts, which describe the obligations of interacting agents in a way that enables blame to be attributed to the agent responsible for failed interaction. Type-theoretic techniques can also be used to analyse potential deadlocks due to cyclic dependencies between inter-process interactions. BETTY was organised into four Working Groups: (1) Foundations; (2) Security; (3) Programming Languages; (4) Tools and Applications. Working Groups 1–3 produced “state-of-the-art reports”, which originally intended to take snapshots of the field at the time the network started, but grew into substantial survey articles including much research carried out during the network [1–3]. The situation for Working Group 4 was different. When the network started, the community had produced relatively few implementations of programming languages or tools. One of the aims of the network was to encourage more implementation work, and this was a great success. The community as a whole has developed a greater interest in putting theoretical ideas into practice. The sixteen chapters in this book describe systems that were either completely developed, or substantially extended, during BETTY. The total of 41 co-authors represents a significant proportion of the active participants in the network (around 120 people who attended at least one meeting). The book is a report on the new state of the art created by BETTY in xv xvi Preface the area of Working Group 4, and the title “Behavioural Types: from Theory to Tools” summarises the trajectory of the community during the last four years. The book begins with two tutorials by Atzei et al. on contract-oriented design of distributed systems. Chapter 1 introduces the CO2 contract specifi- cation language and the Diogenes toolchain. Chapter 2 describes how timing constraints can be incorporated into the framework and checked with the CO2 middleware. Part of the CO2 middleware is a monitoring system, and the theme of monitoring continues in the next two chapters. In Chapter 3, Attard et al. present detectEr, a runtime monitoring tool for Erlang programs that allows correctness properties to be expressed in Hennessy-Milner logic. In Chapter 4, which is the first chapter about session types, Neykova and Yoshida describe a runtime verification framework for Python programs. Communication protocols are specified in the Scribble language, which is based on multiparty session types. The next three chapters deal with choreographic programming. In Chap- ter 5, Debois and Hildebrandt present a toolset for working with dynamic condition response (DCR) graphs, which are a graphical formalism for choreography. Chapter 6, by Lange et al., continues the graphical theme with ChorGram, a tool for synthesising global graphical choreographies from collections of communicating finite-state automata. Giallorenzo et al., in Chapter 7, consider runtime adaptation. They describe AIOCJ, a choreographic programming language in which runtime adaptation is supported with a guarantee that it doesn’t introduce deadlocks or races. Deadlock analysis is important in other settings too, and there are two more chapters about it. In Chapter 8, Padovani describes the Hypha tool, which uses a type-based approach to check deadlock-freedom and lock-freedom of systems modelled in a form of pi-calculus. In Chapter 9, Garcia and Laneve present a tool for analysing deadlocks in Java programs; this tool, called JaDA, is based on a behavioural type system. The next three chapters report on projects that have added session types to functional programming languages in order to support typechecking of communication-based code. In Chapter 10, Orchard and Yoshida describe an implementation of session types in Haskell, and survey several approaches to typechecking the linearity conditions required for safe session implemen- tation. In Chapter 11, Melgratti and Padovani describe an implementation of session types in OCaml. Their system uses runtime linearity checking. In Chapter 12, Lindley and Morris describe an extension of the web programming language Links with session types; their work contrasts with the previous two chapters in being less constrained by an existing language design. Continuing the theme of session types in programming languages, the next two chapters describe two approaches based on Java. Hu’s work, presented in Chapter 13, starts with the Scribble description of a multiparty session type and generates an API in the form of a collection of Java classes, each class containing the communication methods that are available in a particular state of the protocol. Dardha et al., in Chapter 14, also start with a Scribble specification. Their StMungo tool generates an API as a single class with an associated typestate specification to constrain sequences of method calls. Code that uses the API can be checked for correctness with the Mungo typechecker. Finally, there are two chapters about programming with the MPI libraries. Chapter 15, by Ng and Yoshida, uses an extension of Scribble, called Pabble, to describe protocols that parametric in the number of runtime roles. From a Pabble specification they generate C code that uses MPI for communication and is guaranteed correct by construction. Chapter 16, by Ng et al., describes the ParTypes framework for analysing existing C+MPI programs with respect to protocols defined in an extension of Scribble. We hope that the book will serve a useful purpose as a report on the activities of COST Action IC1201 and as a survey of programming languages and tools based on behavioural types