Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo

Immo GrabeImmo Grabe, Mohammad Mahdi JaghooriMohammad Mahdi Jaghoori, Bernhard K. AichernigBernhard K. Aichernig, Christel BaierChristel Baier, Tobias BlechmannTobias Blechmann, Frank S. de BoerFrank S. de Boer, Andreas GriesmayerAndreas Griesmayer, Einar Broch JohnsenEinar Broch Johnsen, Joachim KleinJoachim Klein, Sascha KlüppelholzSascha Klüppelholz, Marcel KyasMarcel Kyas, Wolfgang LeisterWolfgang Leister, Rudolf SchlatteRudolf Schlatte, Andries StamAndries Stam, Martin SteffenMartin Steffen, Simon TschirnerSimon Tschirner, Liang XuedongLiang Xuedong, Wang YiWang Yi

DOI Link

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo
Proc. of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS), volume 266 of Electronic Notes in Theoretical Computer Science, 33--48, 2010. Elsevier

Details
Bibtex

KurzfassungAbstract
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. In this methodology, we advertise the use of top-down design, component-based modeling and compositional analysis to address the complexity of highly reconfigurable distributed systems. As a running example, we model a peer-to-peer file-sharing system and show how and when to apply the different modeling and analysis techniques of Credo.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{GJABBBGJKKKLSSSTXY2010,
  author    = {Immo Grabe and Mohammad Mahdi Jaghoori and Bernhard K. Aichernig
               and Christel Baier and Tobias Blechmann and Frank S. de Boer and
               Andreas Griesmayer and Einar Broch Johnsen and Joachim Klein and
               Sascha Kl{\"{u}}ppelholz and Marcel Kyas and Wolfgang Leister and
               Rudolf Schlatte and Andries Stam and Martin Steffen and Simon
               Tschirner and Liang Xuedong and Wang Yi},
  title     = {Credo Methodology: Modeling and Analyzing a Peer-to-Peer System
               in Credo},
  booktitle = {Proc. of the 3rd International Workshop on Harnessing Theories
               for Tool Support in Software (TTSS)},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {266},
  publisher = {Elsevier},
  year      = {2010},
  pages     = {33--48},
  doi       = {10.1016/j.entcs.2010.08.047}
}