A survey of agent-oriented methodologies

This article introduces the current agent-oriented methodologies. It discusses what approaches have been followed (mainly extending existing object oriented and knowledge engineering methodologies), the suitability of these approaches for agent modelling, and some conclusions drawn from the survey

Understanding employee resourcing in construction organizations

In recent years the literature on employee resourcing has consistently advocated the importance of adopting a holistic, strategic approach to employee deployment decision making rather than adopting a reactive needs-based approach. This is particularly problematic in construction where the multi-project environment leads to constantly changing resource requirements and to changing demands over a project's life cycle. This can lead to inappropriate decisions, which fail to meet the longer-term needs of both construction organizations and their employees. A structured and comprehensive understanding of the current project team deployment practices within large construction organizations was developed. Project deployment practices were examined within seven case study contracting firms. The emergent themes that shaped the decision-making processes were grouped into five broad clusters comprising human resource planning, performance/career management, team deployment, employee involvement and training and development. The research confirms that a reactive and ad hoc approach to the function prevails within the firms investigated. This suggests a weak relationship between the deployment process and human resource planning, team deployment, performance management, employee involvement and training and development activities. It is suggested that strategic HR-business partnering could engender more transparent and productive relationships in this crucial area

Institutional conditions and social innovations in emerging economies: insights from Mexican enterprises’ initiatives for protecting/preventing the effect of violent events

Latin-American countries are characterised by societal problems like violence, crime, corruption, the informality that influence any entrepreneurial activity developed by individuals/organisations. Social innovations literature confront “wicked problems” with strong interdependencies among different systems/actors. Yet, little is known about how firms use innovation to hedge against economic, political or societal uncertainties (i.e., violence, social movements, democratisation, pandemic). By translating social innovation and institutional theory approaches, this study analyses the influence of formal institutions (government programs and actions) and informal institutions (corruption, extortion and informal trade) on the development/implementation of enterprises’ technological initiatives for protecting/preventing of victimisation. By using data from 5525 establishments interviewed in the 2012/2014 National Victimisation Survey of the Mexican National Institute of Statistics and Geography (INEGI), our findings shows that formal conditions (government programs) and informal conditions (corruption, extortion and informal trade) are associated with an increment in the number of enterprises’ social innovations. Our findings also contribute to the debate about institutional conditions, social innovations, and the role of ecosystems’ actors in developing economies. A provoking discussion and implications for researchers, managers and policymakers emerge from this study

Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal modelling of MAS. We review our research throughout the last decade, by describing the problems we have encountered and the decisions we have made towards resolving them and providing solutions. Much of this work involved membrane computing and classes of P Systems, such as Tissue and Population P Systems, targeted to the modelling of MAS whose dynamic structure is a prominent characteristic. More particularly, social insects (such as colonies of ants, bees, etc.), biology inspired swarms and systems with emergent behaviour are indicative examples for which we developed formal MAS models. Here, we aim to review our work and disseminate our findings to fellow researchers who might face similar challenges and, furthermore, to discuss important issues for advancing research on the application of membrane computing in MAS modelling.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314

An agent-based approach to assess drivers’ interaction with pre-trip information systems.

This article reports on the practical use of a multi-agent microsimulation framework to address the issue of assessing drivers’ responses to pretrip information systems. The population of drivers is represented as a community of autonomous agents, and travel demand results from the decision-making deliberation performed by each individual of the population as regards route and departure time. A simple simulation scenario was devised, where pretrip information was made available to users on an individual basis so that its effects at the aggregate level could be observed. The simulation results show that the overall performance of the system is very likely affected by exogenous information, and these results are ascribed to demand formation and network topology. The expressiveness offered by cognitive approaches based on predicate logics, such as the one used in this research, appears to be a promising approximation to fostering more complex behavior modelling, allowing us to represent many of the mental aspects involved in the deliberation process