Cupid:commitments in relational algebra

We propose Cupid, a language for specifying commitments that supports their information-centric aspects, and offers crucial benefits. One, Cupid is first-order, enabling a systematic treatment of commitment instances. Two, Cupid supports features needed for real-world scenarios such as deadlines, nested commitments, and complex event expressions for capturing the lifecycle of commitment instances. Three, Cupid maps to relational database queries and thus provides a set-based semantics for retrieving commitment instances in states such as being violated, discharged, and so on. We prove that Cupid queries are safe. Four, to aid commitment modelers, we propose the notion of well-identified commitments, and finitely violable and finitely expirable commitments. We give syntactic restrictions for obtaining such commitments

Clouseau:Generating Communication Protocols from Commitments

Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents' local views remain consistent; and (3) live—ensures the agents can proceed to completion

Generalized commitment alignment

The interoperability of interacting components means that their expectations of each other remain in agreement. A commitment captures what one agent (its creditor) may expect from another agent (its debtor). Chopra and Singh (C&S) motivate commitment alignment as a meaning-based form of interoperation and show how to ensure alignment among agents despite asynchrony. Although C&S’s approach demonstrates the key strengths of relying on commitment semantics, it suffers from key shortcomings, which limit its applicability in practice. One, C&S do not model commitments properly, causing unacceptable interference between commitments in different transactions. Two, they require that the communication infrastructure guarantee first-in first-out (FIFO) delivery of messages for every agent-agent channel. Three, C&S guarantee alignment only in quiescent states (where no messages are in transit); however, such states may never obtain in enactments of real systems. Our approach retains and enhances C&S’s key strengths and avoids their shortcomings by providing a declarative semantics-based generalized treatment of alignment. Specifically, we (1) motivate a declarative notion of alignment relevant system states termed completeness; (2) prove that it coincides with alignment; and (3) provide the computations by which a system of agents provably progresses toward alignment assuming eventual delivery of messages

Growth of Hydromagnetic Shock Waves

In this technical note we consider the influence of a transverse magnetic field on the formation of a shocks wave in an electrically conducting field. We conclude that the presence of a transverse magnetic field is Conducive to the growth of compression waves and the decay of the expansion waves

Noninvasive Embedding of Single Co Atoms in Ge(111)2x1 Surfaces

We report on a combined scanning tunneling microscopy (STM) and density functional theory (DFT) based investigation of Co atoms on Ge(111)2x1 surfaces. When deposited on cold surfaces, individual Co atoms have a limited diffusivity on the atomically flat areas and apparently reside on top of the upper pi-bonded chain rows exclusively. Voltage-dependent STM imaging reveals a highly anisotropic electronic perturbation of the Ge surface surrounding these Co atoms and pronounced one-dimensional confinement along the pi-bonded chains. DFT calculations reveal that the individual Co atoms are in fact embedded in the Ge surface, where they occupy a quasi-stationary position within the big 7-member Ge ring in between the 3rd and 4th atomic Ge layer. The energy needed for the Co atoms to overcome the potential barrier for penetration in the Ge surface is provided by the kinetic energy resulting from the deposition process. DFT calculations further demonstrate that the embedded Co atoms form four covalent Co-Ge bonds, resulting in a Co4+ valence state and a 3d5 electronic configuration. Calculated STM images are in perfect agreement with the experimental atomic resolution STM images for the broad range of applied tunneling voltages.Comment: 19 pages, 15 figures, 3 table

From social machines to social protocols:Software engineering foundations for sociotechnical systems

The overarching vision of social machines is to facilitate social processes by having computers provide administrative support. We conceive of a social machine as a sociotechnical system (STS): a software-supported system in which autonomous principals such as humans and organizations interact to exchange information and services. Existing approaches for social machines emphasize the technical aspects and inadequately support the meanings of social processes, leaving them informally realized in human interactions. We posit that a fundamental rethinking is needed to incorporate accountability, essential for addressing the openness of the Web and the autonomy of its principals. We introduce Interaction-Oriented Software Engineering (IOSE) as a paradigm expressly suited to capturing the social basis of STSs. Motivated by promoting openness and autonomy, IOSE focuses not on implementation but on social protocols, specifying how social relationships, characterizing the accountability of the concerned parties, progress as they interact. Motivated by providing computational support, IOSE adopts the accountability representation to capture the meaning of a social machine’s states and transitions. We demonstrate IOSE via examples drawn from healthcare. We reinterpret the classical software engineering (SE) principles for the STS setting and show how IOSE is better suited than traditional software engineering for supporting social processes. The contribution of this paper is a new paradigm for STSs, evaluated via conceptual analysis