Designing socio-technical systems: from stakeholder goals to social networks

Software systems are becoming an integral part of everyday life influencing organizational and social activities. This aggravates the need for a socio-technical perspective for requirements engineering, which allows for modelling and analyzing the composition and interaction of hardware and software components with human and organizational actors. In this setting, alternative requirements models have to be evaluated and selected finding a right trade-off between the technical and social dimensions. To address this problem, we propose a tool-supported process of requirements analysis for socio-technical systems, which adopts planning techniques for exploring the space of requirements alternatives and a number of social criteria for their evaluation. We illustrate the proposed approach with the help of a case study, conducted within the context of an EU project.

[1]  Xavier Franch,et al.  On the Quantitative Analysis of Agent-Oriented Models , 2006, CAiSE.

[2]  G. Lakemeyer,et al.  Modeling the Impact of Trust and Distrust in Agent Networks , 2022 .

[3]  Haralambos Mouratidis,et al.  Multi-agent Systems and Security Requirements Analysis , 2003, SELMAS.

[4]  John Mylopoulos,et al.  Applying Tropos Methodology to a real case study : Complexity and Criticality Analysis , 2002 .

[5]  J. van Leeuwen,et al.  Software Engineering for Multi-Agent Systems II , 2003, Lecture Notes in Computer Science.

[6]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[7]  Paolo Giorgini,et al.  Self-Configuring Socio-Technical Systems: Redesign at Runtime , 2006, Int. Trans. Syst. Sci. Appl..

[8]  John Mylopoulos,et al.  Designing Cooperative IS: Exploring and Evaluating Alternatives , 2006, OTM Conferences.

[9]  John Mylopoulos,et al.  Cooperative Information Systems (CoopIS) 2006 International Conference-Collaborative Systems Design and Development-Designing Cooperative IS: Exploring and Evaluating Alternatives , 2006 .

[10]  Colin Potts,et al.  Naturalistic inquiry and requirements engineering: reconciling their theoretical foundations , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[11]  Axel Polleres.  Advances in Answer Set Planning , 2003 .

[12]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[13]  G. Ropohl.  PHILOSOPHY OF SOCIO-TECHNICAL SYSTEMS , 1999 .

[14]  Nicola Zannone.  A requirements engineering methodology for trust, security, and privacy , 2007 .

[15]  Daniel S. Weld.  Recent Advances in AI Planning , 1999, AI Mag..

[16]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[17]  Jorge A. Baier,et al.  A Heuristic Search Approach to Planning with Temporally Extended Preferences , 2007, IJCAI.

[18]  S. Fickas,et al.  A proposed perspective shift: viewing specification design as a planning problem , 1989, IWSSD '89.

[19]  Éva Tardos,et al.  Near-optimal network design with selfish agents , 2003, STOC '03.

[20]  John Mylopoulos,et al.  Supporting Requirements Analysis in Tropos: A Planning-Based Approach , 2009, PRIMA.

[21]  Stefan Schmid,et al.  On the topologies formed by selfish peers , 2006, PODC '06.

[22]  Massimiliano Garagnani.  A Correct Algorithm for Efficient Planning with Preprocessed Domain Axioms , 2001 .

[23]  Haruhiko Kaiya,et al.  Improving the detection of requirements discordances among stakeholders , 2005, Requirements Engineering.

[24]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[25]  Bernhard Nebel,et al.  Extending Planning Graphs to an ADL Subset , 1997, ECP.

[26]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[27]  Paolo Giorgini,et al.  Using Risk Analysis to Evaluate Design Alternatives , 2006, AOSE.

[28]  Nicholas R. Jennings,et al.  Computational-Mechanism Design: A Call to Arms , 2003, IEEE Intell. Syst..

[29]  Daniel Gross,et al.  From Non-Functional Requirements to Design through Patterns , 2001, Requirements Engineering.

[30]  Éva Tardos,et al.  Near-Optimal Network Design with Selfish Agents , 2008, Theory Comput..

[31]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[32]  John Mylopoulos,et al.  Designing Security Requirements Models Through Planning , 2006, CAiSE.

[33]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[34]  Craig A. Knoblock,et al.  Combining the Expressivity of UCPOP with the Efficiency of Graphplan , 1997, ECP.

[35]  Shailey Minocha,et al.  Linking Business Modelling to Socio-technical System Design , 1999, CAiSE.

[36]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[37]  Ian Sommerville,et al.  Software Engineering (7th Edition) , 2004 .

[38]  Mark E. J. Newman,et al.  The Structure and Function of Complex Networks , 2003, SIAM Rev..

[39]  Joachim Peer,et al.  Web Service Composition as AI Planning { a Survey ⁄ , 2005 .

[40]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

[41]  Barry W. Boehm,et al.  Value-based software engineering: reinventing , 2003, SOEN.

[42]  F. Emery.  Characteristics of Socio-Technical Systems , 1993 .

[43]  Ion Stoica,et al.  Incentives for Cooperation in Peer-to-Peer Networks , 2003 .

[44]  Y. Mansour,et al.  On Nash Equilibria for a Network Creation Game , 2006, TEAC.

[45]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[46]  Guy H. Walker,et al.  A review of sociotechnical systems theory: a classic concept for new command and control paradigms , 2008 .

[47]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[48]  Christos H. Papadimitriou,et al.  Worst-case Equilibria , 1999, STACS.

[49]  Axel van Lamsweerde,et al.  Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.

[50]  Daniel Amyot,et al.  Formalizing Architectural Patterns with the Goal-oriented Requirement Language , 2006 .

[51]  John Mylopoulos,et al.  Reasoning with Goal Models , 2002, ER.