Obstructions in Security-Aware Business Processes

This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software

Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

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

Design and Management of Manufacturing Systems

Although the design and management of manufacturing systems have been explored in the literature for many years now, they still remain topical problems in the current scientific research. The changing market trends, globalization, the constant pressure to reduce production costs, and technical and technological progress make it necessary to search for new manufacturing methods and ways of organizing them, and to modify manufacturing system design paradigms. This book presents current research in different areas connected with the design and management of manufacturing systems and covers such subject areas as: methods supporting the design of manufacturing systems, methods of improving maintenance processes in companies, the design and improvement of manufacturing processes, the control of production processes in modern manufacturing systems production methods and techniques used in modern manufacturing systems and environmental aspects of production and their impact on the design and management of manufacturing systems. The wide range of research findings reported in this book confirms that the design of manufacturing systems is a complex problem and that the achievement of goals set for modern manufacturing systems requires interdisciplinary knowledge and the simultaneous design of the product, process and system, as well as the knowledge of modern manufacturing and organizational methods and techniques

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000

Behavior Classification, Security, and Consensus in Societies of Robots

This thesis addresses some fundamental issues toward the realization of "societies" of robots. This objective requires dealing with large numbers of heterogenous autonomous systems, differing in their bodies, sensing and intelligence, that are made to coexist, communicate, learn and classify, and compete fairly, while achieving their individual goals. First, as in human or animal societies, robots must be able to perform cooperative "behaviors" that involve coordination of their actions, based on their own goals, proprioceptive sensing, and information they can receive from other neighboring robots. An effective way to successfully achieve cooperation is obtained by requiring that robots share a set of decentralized motion "rules" involving only locally available data. A first contribution of the thesis consists in showing how these behaviors can be nicely described by a suitable hybrid formalism, including the heterogenous dynamics of every robots and the above mentioned rules that are based on events. A second contribution deals with the problem of classifying a set of robotic agents, based on their dynamics or the interaction protocols they obeys, as belonging to different "species". Various procedures are proposed allowing the construction of a distributed classification system, based on a decentralized identification mechanism, by which every agent classifies its neighbors using only locally available information. By using this mechanism, members of the society can reach a consensus on the environment and on the integrity of the other neighboring robots, so as to improve the overall security of the society. This objective involves the study of convergence of information that is not represented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across a number of robots is described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this thesis focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. Through the development of an industrial robotic society, it is finally shown how the proposed technique applies to a real and commercially relevant case-study. This society sets the basis for a full-fledged factory of the future, where the different and heterogeneous agents operate and interact using a blend of autonomous skills, social rules, and central coordination

Improving The Service Design Process: Process Integration, Conflict Reduction And Customer Involvement

Service design is the science of creating service experiences based on the customer’s perspective, to make it useful, enjoyable and cost-effective for the customer. Although the field of service design is relatively new, it has been rapidly expanding in research and practice. Most researchers focus on the usefulness of the service, cost efficiency, meeting customers’ needs, or service strategy. However, all service elements can benefit from improving the service design process. Current service design processes are suffering a lack of integration of activities, conflicts in decision-making processes, and exclusion of practitioners’ methods. In prior research, information models were created to integrate the service design process across the enterprise. As an extension, this dissertation introduces Petri Nets to improve the service design process. Petri Nets provide a uniform environment for modeling, analysis, and design of discrete event systems. Petri Nets are used to develop a new service design process that enhances the multidisciplinary approach and includes the practitioner methods. Additionally, this dissertation uses the Lens Model to improve the decision-making mechanism. The Lens Model is to characterize decision-making policy in service design. Research shows that there is a conflict between the designer and the manager in service design decision-making. Single Lens Model systems are designed to capture the decision policy for the service designer and the service manager. A double Lens Model system is used to compare the perspectives. Finally, this research suggests a new role for the customer in the design by applying an Asset-Based approach. Asset-based System Engineering (ABSE) is a recently introduced concept that attempts to synthesize systems around their key assets and strengths. ABSE is developed with as an innovative approach that views customers as a primary asset. Customer integration in the design process is achieved through several new service design tools