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 ...