The Credo Methodology (Extended Version)

From International Center for Computational Logic

Toggle side column

The Credo Methodology (Extended Version)

Immo GrabeImmo Grabe,  Mohammad Mahdi JaghooriMohammad Mahdi Jaghoori,  Joachim KleinJoachim Klein,  Sascha KlüppelholzSascha Klüppelholz,  Andries StamAndries Stam,  Christel BaierChristel Baier,  Tobias BlechmannTobias Blechmann,  Bernhard K. AichernigBernhard K. Aichernig,  Frank S. de BoerFrank S. de Boer,  Andreas GriesmayerAndreas Griesmayer
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer
The Credo Methodology (Extended Version)
Proc. of the 8th International Symposium on Formal Methods for Components and Objects (FMCO), volume 6286 of Lecture Notes in Computer Science, 41--69, 2009. Springer
  • KurzfassungAbstract
    This paper is an extended version of the Credo Methodology [16]. Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In a previous version we presented an integrated methodology to use the Credo tool suite. Following a compositional, component–based approach to model and analyze distributed systems, we presented a separation of the system into components and the network. A high–level, abstract representation of the dataflow level on the network was given in terms of behavioral interface automata and a detailed model of the components in terms of Creol models. Here we extend the methodology with a detailed model of the network connecting these components. The Vereofy tool set is used to model and analyze the dataflow of the network in detail. The behavioral automata connect the detailed model of the network and the detailed model of the components. We apply the extended methodology to our running example, a peer-to-peer file-sharing system.
  • Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-17071-3_3.
@inproceedings{GJKKSBBABG2009,
  author    = {Immo Grabe and Mohammad Mahdi Jaghoori and Joachim Klein and
               Sascha Kl{\"{u}}ppelholz and Andries Stam and Christel Baier and
               Tobias Blechmann and Bernhard K. Aichernig and Frank S. de Boer
               and Andreas Griesmayer},
  title     = {The Credo Methodology (Extended Version)},
  booktitle = {Proc. of the 8th International Symposium on Formal Methods for
               Components and Objects (FMCO)},
  series    = {Lecture Notes in Computer Science},
  volume    = {6286},
  publisher = {Springer},
  year      = {2009},
  pages     = {41--69},
  doi       = {10.1007/978-3-642-17071-3_3}
}