Now showing items 1-3 of 3

  • ALIVE: A framework for flexible and adaptive service coordination 

    Staikopoulos A; Popescu R; Andreou D; Cliffe O; Reed C; Quillinan T; Clarke S; Sergeant P; Nieuwenhuis K; Lam J; Vasconcelos W; Guerin F; Corsar D; Chorley A; Vázquez-Salceda J; Norman T; Confalonieri R; Panagiotidi S; Hidalgo S; Gomez I; Nieves J; Napagao S; Ceccaroni L; Palau Roig M; Dignum V; Aldewereld H; Penserini L; Dignum F; De Vos M; Padget J (Springer Verlag, 2009)
    There is a large body of research on software services, but the issues of communication and dynamic reconfiguration have received little attention, as have adaptation to environment and dynamic combination of service ...
  • Run-time verification of MSMAS norms using Event Calculus 

    Elakehal EE; Montali M; Padget J (IEEE Computer Society Press, 2014)
    Modelling Self-managing Multi Agent Systems (MSMAS) is a software development methodology that facilitates designing and developing complex distributed systems based on the multivalent systems paradigm. MSMAS uses a ...
  • Verifying MSMAS Model Using CIFF 

    Elakehal EE; Montali M; Padget J (Springer, 2013)
    MSMAS is a software development methodology that facilities the design and development of complex distributed systems based on the multiagent systems paradigm. MSMAS explicitly supports the institutional organisational ...