The Credo methodology (extended version)

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

doi:10.1007/978-3-642-17071-3_3

The Credo methodology (extended version)

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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.

Original language	English
Title of host publication	Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers
Publisher	Springer Verlag
Pages	41-69
Number of pages	29
ISBN (Print)	3642170706, 9783642170706
DOIs	https://doi.org/10.1007/978-3-642-17071-3_3
State	Published - 2010
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6286 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-17071-3_3

Cite this

Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., Blechmann, T., Aichernig, B. K., De Boer, F., Griesmayer, A., Johnsen, E. B., Kyas, M., Leister, W., Schlatte, R., Steffen, M., Tschirner, S., Xuedong, L., & Yi, W. (2010). The Credo methodology (extended version). In Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers (pp. 41-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6286 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-17071-3_3

Grabe, Immo ; Jaghoori, Mohammad Mahdi ; Klein, Joachim et al. / The Credo methodology (extended version). Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer Verlag, 2010. pp. 41-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{98b0fff383ca4c9fa5274e22c22f6d1e,

title = "The Credo methodology (extended version)",

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

author = "Immo Grabe and Jaghoori, \{Mohammad Mahdi\} and Joachim Klein and Sascha Kl{\"u}ppelholz and Andries Stam and Christel Baier and Tobias Blechmann and Aichernig, \{Bernhard K.\} and \{De Boer\}, Frank and Andreas Griesmayer and Johnsen, \{Einar Broch\} and Marcel Kyas and Wolfgang Leister and Rudolf Schlatte and Martin Steffen and Simon Tschirner and Liang Xuedong and Wang Yi",

year = "2010",

doi = "10.1007/978-3-642-17071-3\_3",

language = "英语",

isbn = "3642170706",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "41--69",

booktitle = "Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers",

address = "德国",

}

Grabe, I, Jaghoori, MM, Klein, J, Klüppelholz, S, Stam, A, Baier, C, Blechmann, T, Aichernig, BK, De Boer, F, Griesmayer, A, Johnsen, EB, Kyas, M, Leister, W, Schlatte, R, Steffen, M, Tschirner, S, Xuedong, L & Yi, W 2010, The Credo methodology (extended version). in Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6286 LNCS, Springer Verlag, pp. 41-69. https://doi.org/10.1007/978-3-642-17071-3_3

The Credo methodology (extended version). / Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim et al.
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer Verlag, 2010. p. 41-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6286 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The Credo methodology (extended version)

AU - Grabe, Immo

AU - Jaghoori, Mohammad Mahdi

AU - Klein, Joachim

AU - Klüppelholz, Sascha

AU - Stam, Andries

AU - Baier, Christel

AU - Blechmann, Tobias

AU - Aichernig, Bernhard K.

AU - De Boer, Frank

AU - Griesmayer, Andreas

AU - Johnsen, Einar Broch

AU - Kyas, Marcel

AU - Leister, Wolfgang

AU - Schlatte, Rudolf

AU - Steffen, Martin

AU - Tschirner, Simon

AU - Xuedong, Liang

AU - Yi, Wang

PY - 2010

Y1 - 2010

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

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

UR - https://www.scopus.com/pages/publications/78650194035

U2 - 10.1007/978-3-642-17071-3_3

DO - 10.1007/978-3-642-17071-3_3

M3 - 会议稿件

AN - SCOPUS:78650194035

SN - 3642170706

SN - 9783642170706

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 41

EP - 69

BT - Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers

PB - Springer Verlag

ER -

Grabe I, Jaghoori MM, Klein J, Klüppelholz S, Stam A, Baier C et al. The Credo methodology (extended version). In Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer Verlag. 2010. p. 41-69. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-17071-3_3

The Credo methodology (extended version)

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this