Software Engineering and Petri Nets

This booklet contains the proceedings of the Workshop on Software Engineering and Petri Nets (SEPN), held on June 26, 2000. The workshop was held in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN-2000), organised by the CPN group of the Department of Computer Science, University of Aarhus, Denmark. The SEPN workshop papers are available in electronic form via the web page:http://www.daimi.au.dk/pn2000/proceeding

Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software

As software systems become larger and more complex, developers require the ability to model abstract concepts while ensuring consistency across the entire project. The internet has changed the nature of software by increasing the desire for software deployment across multiple distributed platforms. Finally, increased dependence on technology requires assurance that designed software will perform its intended function. This thesis introduces the Formal Object Interaction Language (FOIL). FOIL is a new object-oriented modeling language specifically designed to address the cumulative shortcomings of existing modeling techniques. FOIL graphically displays software structure, sequential and concurrent behavior, process, and interaction in a simple unified notation, and has an algebraic representation based on a derivative of the π-calculus. The thesis documents the technique in which FOIL software models can be mathematically verified to anticipate deadlocks, ensure consistency, and determine object state reachability. Scalability is offered through the concept of behavioral inheritance; and, FOIL’s inherent support for modeling concurrent behavior and all known workflow patterns is demonstrated. The concepts of process achievability, process complete achievability, and process determinism are introduced with an algorithm for simulating the execution of a FOIL object model using a FOIL process model. Finally, a technique for using a FOIL process model as a constraint on FOIL object system execution is offered as a method to ensure that object-oriented systems modeled in FOIL will complete their processes based activities. FOIL’s capabilities are compared and contrasted with an extensive array of current software modeling techniques. FOIL is ideally suited for data-aware, behavior based systems such as interactive or process management software

Dynamic Interconnection of Enterprise Workflow Processes

Colloque avec actes et comité de lecture. internationale./http://www.taylorandfrancis.co.uk/International audienceDue to business process automation development, process interconnection becomes an important matter. Actually, process interconnection mechanisms are indispensable to co-ordinate business processes within and beyond organisation boundaries, aiming, for instance, to strength awareness inside virtual enterprises, to facilitate multinational e-transactions, etc. Therefore, thinking and proposing mechanisms to ensure interconnection between organisational business processes is becoming a hot research topic. Actually, existing business process modelling and enactment systems (workflow systems, project management tools, shared agendas, to do lists, etc.) have been mainly developed to suit enterprise internal needs. Thus most of these systems are not adapted to inter-enterprise co-operation. As we are interested in workflow process integration, we aim, through this paper, to provide a model supporting dynamic inter-enterprise workflow process interconnection.We consider the interconnection of enterprise workflow processes as the management of a workflow of workflows in which several heterogeneous workflow management systems (WFMS) coexist. This paper introduces our process interconnection model, its implementation, and its validation through an experimentation

Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001

This booklet contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'01), August 27-28, 2001. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" Group at the University of Hamburg, Germany. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop01

Classification of geometric forms in mosaics using deep neural network

The paper addresses an image processing problem in the field of fine arts. In particular, a deep learning-based technique to classify geometric forms of artworks, such as paintings and mosaics, is presented. We proposed and tested a convolutional neural network (CNN)-based framework that autonomously quantifies the feature map and classifies it. Convolution, pooling and dense layers are three distinct categories of levels that generate attributes from the dataset images by introducing certain specified filters. As a case study, a Roman mosaic is considered, which is digitally reconstructed by close-range photogrammetry based on standard photos. During the digital transformation from a 2D perspective view of the mosaic into an orthophoto, each photo is rectified (i.e., it is an orthogonal projection of the real photo on the plane of the mosaic). Image samples of the geometric forms, e.g., triangles, squares, circles, octagons and leaves, even if they are partially deformed, were extracted from both the original and the rectified photos and originated the dataset for testing the CNN-based approach. The proposed method has proved to be robust enough to analyze the mosaic geometric forms, with an accuracy higher than 97%. Furthermore, the performance of the proposed method was compared with standard deep learning frameworks. Due to the promising results, this method can be applied to many other pattern identification problems related to artworks

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

Validation of the learning ecosystem metamodel using transformation rules

The learning ecosystem metamodel is a platform-independent model to define learning ecosystems. It is based on the architectural pattern for learning ecosystems. To ensure the quality of the learning ecosystem metamodel is necessary to validate it through a Model-to-Model transformation. Specifically, it is required to verify that the learning ecosystem metamodel allows defining real learning ecosystems based on the architectural pattern. Although this transformation can be done manually, the use of tools to automate the process ensures its validity and minimize the risk of bias. This work describes the validations process composed of eight phases and the results obtained, in particular: the transformation of the MOF metamodel to Ecore to use stable tools for the validation, the definition of a platform-specific metamodel for defining learning ecosystems and the transformation from instances of the learning ecosystem metamodel to instances of the platform-specific metamodel using ATL. A quality framework has been applied to the three metamodels involved in the process to guarantee the quality of the results. Furthermore, some phases have been used to review and improve the learning ecosystem metamodel in Ecore. Finally, the result of the process demonstrates that the learning ecosystem metamodel is valid. Namely, it allows defining models that represent learning ecosystems based on the architectural pattern that can be deployed in real contexts to solve learning and knowledge management problem