(I) A Declarative Framework for ERP Systems(II) Reactors: A Data-Driven Programming Model for Distributed Applications

To those who can be swayed by argument and those who know they do not have all the answers This dissertation is a collection of six adapted research papers pertaining to two areas of research. (I) A Declarative Framework for ERP Systems: • POETS: Process-Oriented Event-driven Transaction Systems. The paper describes an ontological analysis of a small segment of the enterprise domain, namely the general ledger and accounts receivable. The result is an event-based approach to designing ERP systems and an abstract-level sketch of the architecture. • Compositional Specification of Commercial Contracts. The paper de-scribes the design, multiple semantics, and use of a domain-specific lan-guage (DSL) for modeling commercial contracts. • SMAWL: A SMAll Workflow Language Based on CCS. The paper show

A SOA-Based Architecture Framework

In this paper we present first results of a SOA-based architecture framework. The architecture framework is required to be close to industry standards, especially to service component architecture (SCA), language independent (i.e. it is adoptable) and the building blocks of a system, activities and data, are first class citizens. We present a meta model of the architecture framework and discuss its concepts in detail

Application of Optimization in Production, Logistics, Inventory, Supply Chain Management and Block Chain

The evolution of industrial development since the 18th century is now experiencing the fourth industrial revolution. The effect of the development has propagated into almost every sector of the industry. From inventory to the circular economy, the effectiveness of technology has been fruitful for industry. The recent trends in research, with new ideas and methodologies, are included in this book. Several new ideas and business strategies are developed in the area of the supply chain management, logistics, optimization, and forecasting for the improvement of the economy of the society and the environment. The proposed technologies and ideas are either novel or help modify several other new ideas. Different real life problems with different dimensions are discussed in the book so that readers may connect with the recent issues in society and industry. The collection of the articles provides a glimpse into the new research trends in technology, business, and the environment

A SOA-based architecture framework

We present an Service-Oriented Architecture (SOA)– based architecture framework. The architecture framework is designed to be close to industry standards, especially to the Service Component Architecture (SCA). The framework is language independent and the building blocks of each system, activities and data, are first class citizens. We present a meta model of the architecture framework and discuss its concepts in detail. Through the framework, concepts of an SOA such as wiring, correlation and instantiation can be clarifie

OPTIMAL REQUIREMENT DETERMINATION FOR PRICING AVAILABILITY-BASED SUSTAINMENT CONTRACTS

Sustainment constitutes 70% or more of the total life-cycle cost of many safety-, mission- and infrastructure-critical systems. Prediction and control of the life-cycle cost is an essential part of all sustainment contracts. For many types of systems, availability is the most critical factor in determining the total life-cycle cost of the system. To address this, availability-based contracts have been introduced into the governmental and non-governmental acquisitions space (e.g., energy, defense, transportation, and healthcare).However, the development, implementation, and impact of availability requirements within contracts is not well understood. This dissertation develops a decision support model based on contract theory, formal modeling and stochastic optimization for availability-based contract design. By adoption and extension of the “availability payment” concept introduced for civil infrastructure Public-Private Partnerships (PPPs) and pricing for Performance-Based Logistics (PBL) contracts, this dissertation develops requirements that maximize the outcome of contracts for both parties. Under the civil infrastructure “availability payment” PPP, once the asset is available for use, the private sector begins receiving a periodical payment for the contracted number of years based on meeting performance requirements. This approach has been applied to highways, bridges, etc. The challenge is to determine the most effective requirements, metrics and payment model that protects the public interest, (i.e., does not overpay the private sector) but also minimizes that risk that the asset will become unsupported. This dissertation focuses on availability as the key required outcome for mission-critical systems and provides a methodology for finding the optimum requirements and optimum payment parameters, and introduces new metrics into availability-based contract structures. In a product-service oriented environment, formal modeling of contracts (for both the customer and the contractor) will be necessary for pricing, negotiations, and transparency. Conventional methods for simulating a system through its life cycle do not include the effect of the relationship between the contractor and customer. This dissertation integrates engineering models with the incentive structure using a game theoretic simulation, affine controller design and stochastic optimization. The model has been used to explore the optimum availability assessment window (i.e., the length of time over which availability must be assessed) for an availability-based contract

Discovering Declarative Process Models from Event Logs through Temporal Logic Query Checking

Käesolev magistritöö keskendub protsessile seatud piirangute avastamisele sündmuste logist, mida saab väljendada temporaalloogika abil. Piirangute avastamise meetodina kasutame temporaalloogika päringute kontrollimist sündmuste logi vastu. Temporaalloogika päring on modaalloogika avaldis, mis sisaldab muutujaid, mis võtavad oma väärtuse automaarpropositsioonide hulgast. Temporaalloogika päring käivitatakse vastu olekumasinat, mis on konstrueeritud sündmuste logi järgi. Päringu tulemuseks on kõik temporaalloogika avaldised, kus muutujad on asendatud kõikvõimalike automaarpropositsioonidega, mis muudavad avaldise tõeseks antud olekumasinas. See meetod ei vaja protsessi piirangute avastamiseks negatiivseid näiteid (protsessi juhtumid, mis ei tohi aset leida) sündmuste logis nagu osa avaldatuid meetodeid vajab. See meetod samuti laiendab võimalike avastatavate piirangute hulka võrreldes olemas olevate meetoditega.This thesis will focus on the discovery of temporal logic constraints from an event log. The constraints are the description of the behavior of a business process. We will use Temporal Logic Query Checking for this purpose. A temporal logic query is a type of modal logic expression containing one or more placeholders that are checked against a transition system. The transition system is built from an event log. The result lists all possible activities that can replace the placeholders to satisfy the constraints described by the query in the log. This approach does not require (as many other approaches in the literature) negative examples as (additional) input and it provides the possibility of discovering a wider range of constraints to describe the process with respect to the existing approaches

An agile and adaptive holonic architecture for manufacturing control

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. 2004. Faculdade de Engenharia. Universidade do Port