The credo methodology

  • Authors:

  • Immo Grabe;Mohammad Mahdi Jaghoori;Joachim Klein;Sascha Klüppelholz;Andries Stam;Christel Baier;Tobias Blechmann;Bernhard K. Aichernig;Frank De Boer;Andreas Griesmayer;Einar Broch Johnsen;Marcel Kyas;Wolfgang Leister;Rudolf Schlatte;Martin Steffen;Simon Tschirner;Liang Xuedong;Wang Yi

  • Affiliations:

  • CWI, Amsterdam, The Netherlands;CWI, Amsterdam, The Netherlands;Technische Universität Dresden, Germany;Technische Universität Dresden, Germany;Almende, The Netherlands;Technische Universität Dresden, Germany;Technische Universität Dresden, Germany;UNU, IIST, Macau, China;CWI, Amsterdam, The Netherlands;UNU, IIST, Macau, China;University of Oslo, Norway;Freie Universität Berlin, Germany;NR, Oslo, Norway;University of Oslo, Norway;University of Oslo, Norway;University of Uppsala, Sweden;RRHF, Oslo, Norway;University of Uppsala, Sweden

  • Venue:
  • FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.