A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. The logic CTL-FO expresses these properties by allowing temporal operators and first-order quantification over message content to be freely mixed. A “näıve” translation of CTL-FO into CTL leads to a serious exponential blow-...

The implementation of ITIL processes in IT organizations can be seen as a set of interdependent projects. The sequence of the ITIL implementation relies on such parameters as scope, depth, the capability of processes and the maturity of the organization. These factors can form common patterns of ITIL implementation that might be expressed as rules. Also—to semantically reinforce such a model in...

In our modern world, where science, technology and society are tightly interwoven, it is essential that all students be able to evaluate scientific evidence and make informed decisions. Energy Choices, an agent-based simulation with a multiplayer game interface, was developed as a learning tool that models the interdependencies between the energy choices that are made, growth in local economies...

The growing interest in the use of electronic data interchange (EDI) to revolutionize the way in which business conducts trading activities leads to promising research questions concerning the characteristics of EDI-related tasks and electronic partnerships that promote implementation success of EDI. The research model represents that task characteristics and partnership attributes affect imple...

Directed partial correlation is a measure for the likelihood of a directed direct interdependence in a multivariate system. Directed partial correlation is based on vector autoregressive processes, and is able to detect Granger causality in such systems. Because inference is entirely drawn from measured data no prior knowledge on the system under investigation is needed.

We propose and analyze a graph model to study the connectivity of interdependent networks. Two interdependent networks of arbitrary topologies are modeled as two graphs, where every node in one graph is supported by supply nodes in the other graph, and a node fails if all of its supply nodes fail. Such interdependence arises in cyber-physical systems and layered network architectures. We study ...

Travel is a prerequisite for activities which maintain social and business connections, building the vital social networks which conduct the flow of values, services, and opportunity. This paper presents a multi-agent simulation to study linked geographical and social spaces. The model simultaneously generates a social network and travel behavior by defining social-networking visits as travel a...