47,563 research outputs found
Specification and Verification of Context-dependent Services
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
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
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
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)
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
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
[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.
- âŠ