8,547 research outputs found
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Grid computing (GC) systems are large-scale virtual machines, built upon a
massive pool of resources (processing time, storage, software) that often span
multiple distributed domains. Concurrent users interact with the grid by adding
new tasks; the grid is expected to assign resources to tasks in a fair,
trustworthy way. These distinctive features of GC systems make their
specification and verification a challenging issue. Although prior works have
proposed formal approaches to the specification of GC systems, a precise
account of the interaction model which underlies resource sharing has not been
yet proposed. In this paper, we describe ongoing work aimed at filling in this
gap. Our approach relies on (higher-order) process calculi: these core
languages for concurrency offer a compositional framework in which GC systems
can be precisely described and potentially reasoned about.Comment: In Proceedings DCM 2013, arXiv:1403.768
Electronic Health Records: Cure-all or Chronic Condition?
Computer-based information systems feature in almost every aspect of our
lives, and yet most of us receive handwritten prescriptions when we visit our
doctors and rely on paper-based medical records in our healthcare. Although
electronic health record (EHR) systems have long been promoted as a
cost-effective and efficient alternative to this situation, clear-cut evidence
of their success has not been forthcoming. An examination of some of the
underlying problems that prevent EHR systems from delivering the benefits that
their proponents tout identifies four broad objectives - reducing cost,
reducing errors, improving coordination and improving adherence to standards -
and shows that they are not always met. The three possible causes for this
failure to deliver involve problems with the codification of knowledge, group
and tacit knowledge, and coordination and communication. There is, however,
reason to be optimistic that EHR systems can fulfil a healthy part, if not all,
of their potential
Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions
The concept of dynamic coalitions (also virtual organizations) describes the
temporary interconnection of autonomous agents, who share information or
resources in order to achieve a common goal. Through modern technologies these
coalitions may form across company, organization and system borders. Therefor
questions of access control and security are of vital significance for the
architectures supporting these coalitions.
In this paper, we present our first steps to reach a formal framework for
modeling and verifying the design of privacy-sensitive dynamic coalition
infrastructures and their processes. In order to do so we extend existing
dynamic coalition modeling approaches with an access-control-concept, which
manages access to information through policies. Furthermore we regard the
processes underlying these coalitions and present first works in formalizing
these processes. As a result of the present paper we illustrate the usefulness
of the Abstract State Machine (ASM) method for this task. We demonstrate a
formal treatment of privacy-sensitive dynamic coalitions by two example ASMs
which model certain access control situations. A logical consideration of these
ASMs can lead to a better understanding and a verification of the ASMs
according to the aspired specification.Comment: In Proceedings FAVO 2011, arXiv:1204.579
Negotiation processes within inter-organizational alliances
This paper describesthe negotiation component of E-Alliance, a software infrastructure defined for supporting negotiation activities in concurrent inter-organizational alliances. The E-Alliance’s main intent is to preserve the autonomy of organizations grouped in an alliance. The purpose of this work is to offer support for small and medium enterprises which cannot or do not want to fulfill a big contract alone. This approach is illustrated by a sample scenario where partners are printshops grouped into an alliance to better accomplish customers’ demands.negotiation, middleware, virtual enterprises, multi-agent systems, interaction protocol
Extending the Carrel system to mediate in the organ and tissue allocation processes: a first approach
In this paper we extend the formalization of Carrel, a virtual organization for the procurement of tissues for transplantation purposes, in order to model also the procurement of human organs for transplants. We will focus in the organ allocation process to show how it can be formalized with the ISLANDER formalism. Also we present a first mechanism to federate the institution in several geographically-distributed platforms.Postprint (published version
Challenges in Bridging Social Semantics and Formal Semantics on the Web
This paper describes several results of Wimmics, a research lab which names
stands for: web-instrumented man-machine interactions, communities, and
semantics. The approaches introduced here rely on graph-oriented knowledge
representation, reasoning and operationalization to model and support actors,
actions and interactions in web-based epistemic communities. The re-search
results are applied to support and foster interactions in online communities
and manage their resources
- …