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 -