47,563 research outputs found

    Specification and Verification of Context-dependent Services

    Full text link
    Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL.Comment: In Proceedings WWV 2011, arXiv:1108.208

    Philosophy of Blockchain Technology - Ontologies

    Get PDF
    About the necessity and usefulness of developing a philosophy specific to the blockchain technology, emphasizing on the ontological aspects. After an Introduction that highlights the main philosophical directions for this emerging technology, in Blockchain Technology I explain the way the blockchain works, discussing ontological development directions of this technology in Designing and Modeling. The next section is dedicated to the main application of blockchain technology, Bitcoin, with the social implications of this cryptocurrency. There follows a section of Philosophy in which I identify the blockchain technology with the concept of heterotopia developed by Michel Foucault and I interpret it in the light of the notational technology developed by Nelson Goodman as a notational system. In the Ontology section, I present two developmental paths that I consider important: Narrative Ontology, based on the idea of order and structure of history transmitted through Paul Ricoeur's narrative history, and the Enterprise Ontology system based on concepts and models of an enterprise, specific to the semantic web, and which I consider to be the most well developed and which will probably become the formal ontological system, at least in terms of the economic and legal aspects of blockchain technology. In Conclusions I am talking about the future directions of developing the blockchain technology philosophy in general as an explanatory and robust theory from a phenomenologically consistent point of view, which allows testability and ontologies in particular, arguing for the need of a global adoption of an ontological system for develop cross-cutting solutions and to make this technology profitable. CONTENTS: Abstract Introducere Tehnologia blockchain - Proiectare - Modele Bitcoin Filosofia Ontologii - Ontologii narative - Ontologii de intreprindere Concluzii Note Bibliografie DOI: 10.13140/RG.2.2.24510.3360

    Enterprise modeling:process and REA value chain perspective

    Get PDF
    The paper focuses on enterprise business value chain modeling as an alternative to business process modeling. Well known REA methodology proposed by McCarthy and Geerts is used as the basic modeling framework. The research presented in the paper results in a generic semantic enterprise model using REA ontology. This rather static model is then converted into UML activity, sequence and state diagrams thus achieving dynamic view of the REA model. The dynamic REA view connects the process model and the value chain perspectives. It is shown that by using REA model transition called dynamization not only process models at task level can be achieved but also a consistency check of the REA model can be accomplished. By means of step by step value chain modeling of the enterprise a consistent process model can be reached preserving all advantages of the typical business process modeling methodsProcess model; Value chain model; REA; Production planning

    Blockchain Ontologies: OCL and REA

    Get PDF
    Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), are considered as the best fit for blockchain ontology. OCL is a declarative language that describes the rules applicable to UML models and is part of the UML standard. Initially, OCL was just an extension of the formal specification language for UML. Now, OCL can be used with any meta-model. Enterprise ontology is combined with the business ontology of Resources, Events, Agents (REA) to be used for the content of the change. REA was originally proposed in 1982 by William E. McCarthy as generalized accounting model. DOI: 10.13140/RG.2.2.14744.1408

    Human-Centric Process-Aware Information Systems (HC-PAIS)

    Get PDF
    Process-Aware Information Systems (PAIS) support organizations in managing and automating their processes. A full automation of processes is in particular industries, such as service-oriented markets, not practicable. The integration of humans in PAIS is necessary to manage and perform processes that require human capabilities, judgments and decisions. A challenge of interdisciplinary PAIS research is to provide concepts and solutions that support human integration in PAIS and human orientation of PAIS in a way that provably increase the PAIS users' satisfaction and motivation with working with the Human-Centric Process Aware Information System (HC-PAIS) and consequently influence users' performance of tasks. This work is an initial step of research that aims at providing a definition of Human-Centric Process Aware Information Systems (HC-PAIS) and future research challenges of HC-PAIS. Results of focus group research are presented.Comment: 8 page

    Referent tracking for corporate memories

    Get PDF
    For corporate memory and enterprise ontology systems to be maximally useful, they must be freed from certain barriers placed around them by traditional knowledge management paradigms. This means, above all, that they must mirror more faithfully those portions of reality which are salient to the workings of the enterprise, including the changes that occur with the passage of time. The purpose of this chapter is to demonstrate how theories based on philosophical realism can contribute to this objective. We discuss how realism-based ontologies (capturing what is generic) combined with referent tracking (capturing what is specific) can play a key role in building the robust and useful corporate memories of the future

    Fuzzy Logic and Corporate Governance Theories

    Get PDF
    [Excerpt] “Fuzzy logic is a theory that categorizes concepts or things belonging to more than one group. A methodology that explains how things function in multiple groups (not fully in one group or another) offers advantages when no one definition or membership in a group accounts for belonging to multiple groups. The principal/agent model of corporate governance has some characteristics of fuzzy logic theory. Under traditional agency theory of corporate governance, shareholders, directors, and senior corporate officers each belong to groups having multiple attributes. In the principal/agent model of corporate governance, shareholders are owners or principals; directors are shareholders and agents of the corporation; and senior corporate officers are directors’ agents, shareholders’ agents, and agents of the corporation. Each one functions within multiple groups serving multiple agency roles, and each owes fiduciary duties that vary depending on whose agent they are functioning as. Such a multi-dimensional role for corporate actors is a consequence of multi-definitional corporate purpose within agency theory of governance. This multi-dimensional group membership is not easily reconciled within agency theory and is therefore not always explained. However, traditional corporate governance theory can borrow another basic tenet of fuzzy logic theory. Fuzzy theory not only accounts for membership in multiple groups, but also explains how things work because they are multidimensional or ambiguous. This article seeks to explain the ambiguities of corporate governance theory and suggests a framework that accounts for the multi-agent role of senior corporate officers of public companies. It offers a kind of fuzzy logic theory for understanding the fiduciary duties of senior officers. The purpose of this article is to evaluate other models of corporate governance that account for the multi-agent role of senior officers of public companies and assess the ability of various models to hold senior officers accountable to the corporation.
    • 

    corecore