Existing computer science approaches to business modeling offer lowlevel abstractions such as data and control flows, which fail to capture the business intent underlying the interactions that are central to real-life business models. In contrast, existing management science approaches are high-level but not only are these semiformal, they are also focused exclusively on managerial concerns suc...

In this paper, we address the issue of the specification and verification of commitment protocols having a social semantics. We begin with developing a new language to formally specify these protocols and desirable properties by enhancing CTL∗ logic with modalities of commitments and actions on these commitments. We also present a symbolic model checking algorithm for commitments and their acti...

Beside strict linguistic commitments of models to metamodels, documents to schemata, programs to grammars and activities to protocols, we often require or crave more flexible commitments. Some of such types of flexible commitments are well-understood and even formalised, others are considered harmful. In this paper, we make an attempt to classify these types from the language theory point of vi...

The success of contract-based multiagent systems relies on agents complying with their commitments. When something goes wrong, it is important to understand what are the commitments’ mutual relations as well as their individual states. Accordingly, we explore how commitments are related through the three-agent commitment delegation operation. We then propose exception monitoring based on such r...

Commitments play a central role in multi-agent coordination. However, they are inherently uncertain and it is important to take these uncertainties into account during planning and scheduling. This paper addresses the problem of handling the uncertainty in commitments. We propose a new model of commitment that incorporates the uncertainty, the use of contingency analysis to reduce the uncertain...

Computationally binding and perfectly hiding commitments can be constructed from GM-secure public-key encryptions. The main idea is to send an encryption of the message together with the public key. To decommit, we reveal the random bits used to encrypt the message. In fact, one-way functions suffice to construct computationally binding and perfectly hiding commitments. Perfectly binding and co...

We study a simple bargaining mechanism in which, given an order of players, the first n− 1 players sequentially announce their reservation price. Once these prices are given, the last player may choose a coalition to cooperate with, and pay each member of this coalition his reservation price. The only expected final equilibrium payoff is a new solution concept, the “selective value”, which can ...

We consider the following stochastic optimization problem first introduced by Chen et al. in [7]. We are given a vertex set of a random graph where each possible edge is present with probability pe. We do not know which edges are actually present unless we scan/probe an edge. However whenever we probe an edge and find it to be present, we are constrained to picking the edge and both its end poi...