Requirements Modeling for Multi-Agent Systems

Different approaches for building modern software systems in complex and open environments have been proposed in the last few years. Some efforts try to take advantage of the agent-oriented paradigm to model/engineer complex information systems in terms of independent agents. These agents may collaborate in a computational organization (Multi-Agent Systems, MAS) by playing some specific roles having to interact with others in order to reach a global or individual goal. In addition, due to the complex nature of this type of systems, dealing with the classical functional and structural perspectives of software systems are not enough. The organizational perspective, that describes the context where these agents need to collaborate, and the social behavior perspective, that describes the different "intelligent" manners in which these agents can collaborate, need to be identified and properly specified. Several methodologies have been proposed to drive the development of MAS (e.g., Ingenias, Gaia, Tropos) although most of them mainly focus on the design and implementation phases and do not provide adequate mechanisms for capturing, defining, and specifying software requirements. Poor requirements engineering is recognized as the root of most errors in current software development projects, and as a means for improving the quality of current practices in the development of MAS, the main objective of this work is to propose a requirements modeling process to deal with software requirements covering the functional, structural, organizational, and social behavior perspectives of MAS. The requirements modeling proposed is developed within the model-driven engineering context defining the corresponding metamodel and its graphical syntax. In addition, a MAS requirements modeling process is specified using the Object Management Group's (OMG) Software Process Engineering Metamodel (SPEM). Finally, in order to illustrate the feasibility of our approach, we specified the software requirements of a strategic board game (the Diplomacy game).Rodríguez Viruel, ML. (2011). Requirements Modeling for Multi-Agent Systems. http://hdl.handle.net/10251/11416Archivo delegad

Markovian Dynamics on Complex Reaction Networks

Complex networks, comprised of individual elements that interact with each other through reaction channels, are ubiquitous across many scientific and engineering disciplines. Examples include biochemical, pharmacokinetic, epidemiological, ecological, social, neural, and multi-agent networks. A common approach to modeling such networks is by a master equation that governs the dynamic evolution of the joint probability mass function of the underling population process and naturally leads to Markovian dynamics for such process. Due however to the nonlinear nature of most reactions, the computation and analysis of the resulting stochastic population dynamics is a difficult task. This review article provides a coherent and comprehensive coverage of recently developed approaches and methods to tackle this problem. After reviewing a general framework for modeling Markovian reaction networks and giving specific examples, the authors present numerical and computational techniques capable of evaluating or approximating the solution of the master equation, discuss a recently developed approach for studying the stationary behavior of Markovian reaction networks using a potential energy landscape perspective, and provide an introduction to the emerging theory of thermodynamic analysis of such networks. Three representative problems of opinion formation, transcription regulation, and neural network dynamics are used as illustrative examples.Comment: 52 pages, 11 figures, for freely available MATLAB software, see http://www.cis.jhu.edu/~goutsias/CSS%20lab/software.htm

Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces an increased complexity during design-time as well as tedious maintenance efforts. We already proposed a multi-perspective modeling approach to improve the development of such systems. It operates on different levels of abstraction by using well-known UML-models with activity, composite structure and state chart models. Each perspective was enriched with delta modeling to manage variability and evolution. As an extension, we now focus on the development of an efficient consistency checking method at several levels to ensure valid variants of the automation system. Consistency checking must be provided for each perspective in isolation, in-between the perspectives as well as after the application of a delta.Comment: In Proceedings FMSPLE 2016, arXiv:1603.0857

Multi-perspective requirements engineering for networked business systems: a framework for pattern composition

How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In this paper, we present a framework for analysis and redesign of networked business systems. It is based on libraries of patterns which are derived from existing Internet businesses. The framework includes three perspectives: Economic value, Business processes, and Application communication, each of which applies a goal-oriented method to compose patterns. By means of consistency relationships between perspectives, we demonstrate the usefulness of the patterns as a light-weight approach to exploration of business ideas

Refinement of SDBC Business Process Models Using ISDL

Aiming at aligning business process modeling and software specification, the SDBC approach considers a multi-viewpoint modeling where static, dynamic, and data business process aspect models have to be mapped adequately to corresponding static, dynamic, and data software specification aspect models. Next to that, the approach considers also a business process modeling viewpoint which concerns real-life communication and coordination issues, such as meanings, intentions, negotiations, commitments, and obligations. Hence, in order to adequately align communication and dynamic aspect models, SDBC should use at least two modeling techniques. However, the transformation between two techniques unnecessarily complicates the modeling process. Next to that, different techniques use different modeling formalisms whose reflection sometimes causes limitations. For this reason, we explore in the current paper the value which the (modeling) language ISDL could bring to SDBC in the alignment of communication and behavioral (dynamic) business process aspect models; ISDL can usefully refine dynamic process models. Thus, it is feasible to expect that ISDL can complement the SDBC approach, allowing refinement of dynamic business process aspect models, by adding communication and coordination actions. Furthermore, SDBC could benefit from ISDL-related methods assessing whether a realized refinement conforms to the original process model. Our studies in the paper are supported by an illustrative example

Variability and Evolution in Systems of Systems

In this position paper (1) we discuss two particular aspects of Systems of Systems, i.e., variability and evolution. (2) We argue that concepts from Product Line Engineering and Software Evolution are relevant to Systems of Systems Engineering. (3) Conversely, concepts from Systems of Systems Engineering can be helpful in Product Line Engineering and Software Evolution. Hence, we argue that an exchange of concepts between the disciplines would be beneficial.Comment: In Proceedings AiSoS 2013, arXiv:1311.319

BIM and its impact upon project success outcomes from a Facilities Management perspective

The uptake of Building Information Modelling (BIM) has been increasing, but some of its promoted potential benefits have been slow to materialise. In particular, claims that BIM will revolutionise facilities management (FM) creating efficiencies in the whole-life of building operations have yet to be achieved on a wide scale, certainly in comparison to tangible progress made for the prior design and construction phases. To attempt to unravel the factors at play in the adoption of BIM during the operational phase, and in particular, understand if adoption by facilities managers (FMs) is lagging behind other disciplines, this study aims to understand if current BIM processes can ease the challenges in this area faced by facilities management project stakeholders. To do this, success from a facilities management viewpoint is considered and barriers to facilities management success are explored, with focused BIM use proposed as a solution to these barriers. Qualitative research was undertaken, using semi structured interviews to collect data from a non-probability sample of 7 project- and facilities- management practitioners. Key results from this study show that the main barrier to BIM adoption by facilities managers is software interoperability, with reports that facilities management systems are unable to easily import BIM data produced during the design and construction stages. Additionally, facilities managers were not treated as salient stakeholders by Project Managers, further negatively affecting facilities management project success outcomes. A µresistance to change was identified as another barrier, as facilities managers were sceptical of the ability of current BIMenabled systems promoted as being FM compatible to be able to replicate their existing Computer Aided Facility Management (CAFM) legacy software and its user required capabilities. The results of this study highlight that more work is needed to ensure that BIM benefits the end user, as there was no reported use of BIM data for dedicated facilities management purposes. Further investigation into the challenges of interoperability could add significant value to this developing research area.The uptake of Building Information Modelling (BIM) has been increasing, but some of its promoted potential benefits have been slow to materialise. In particular, claims that BIM will revolutionise facilities management (FM) creating efficiencies in the whole-life of building operations have yet to be achieved on a wide scale, certainly in comparison to tangible progress made for the prior design and construction phases. To attempt to unravel the factors at play in the adoption of BIM during the operational phase, and in particular, understand if adoption by facilities managers (FMs) is lagging behind other disciplines, this study aims to understand if current BIM processes can ease the challenges in this area faced by facilities management project stakeholders. To do this, success from a facilities management viewpoint is considered and barriers to facilities management success are explored, with focused BIM use proposed as a solution to these barriers. Qualitative research was undertaken, using semi structured interviews to collect data from a non-probability sample of 7 project- and facilities- management practitioners. Key results from this study show that the main barrier to BIM adoption by facilities managers is software interoperability, with reports that facilities management systems are unable to easily import BIM data produced during the design and construction stages. Additionally, facilities managers were not treated as salient stakeholders by Project Managers, further negatively affecting facilities management project success outcomes. A µresistance to change was identified as another barrier, as facilities managers were sceptical of the ability of current BIMenabled systems promoted as being FM compatible to be able to replicate their existing Computer Aided Facility Management (CAFM) legacy software and its user required capabilities. The results of this study highlight that more work is needed to ensure that BIM benefits the end user, as there was no reported use of BIM data for dedicated facilities management purposes. Further investigation into the challenges of interoperability could add significant value to this developing research area