Didier Buchs and Jarle Hulaas. Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets. In Proceedings of the Int. Conf. on Systems, Man and Cybernetics, Beijing, China, October 1996. IEEE. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
. Introduc tion - Distributeda Plica Ions (Correct)
....softwa e process, such a simula ion, test set genera8qC a nd production of executauC code. Automa tic genera tion of distributed executa bles witha prototyping tool,a s wella s incrementa l incorpora tion of ha nd written code portions in order to obta4 a sa tisfying end user implementaq7 n [7]. A new Ja a genera ting version of the tool is presented in [10] Specifica ion ba ed test genera iona ssorted witha test reduction technique founded on the introduction of hypotheses a out the progra [2] Different sema7 ics of CO OPN 2a re exploited during these ph a es:a na bstraq opera ion ....
....This would ena le the modelling of contexts specific toa givena gent,a nd following it in its migra ions, ina maM er close to the ambient calculus [9] A Ja va code genera84 to implement mobilea entsa tomaJM4JCF from their CO OPN 2 specificaF ons. This work is ba ed on the results described in [7][10]a4 on the J SEAL2 mobileaq ntfra ework [4]a s concrete ta rget pla form. Tra nsforma ion of subsets of CO OPN 2 into CPN AMI coloured Petri nets [12] in order to forma ly verify CO OPN 2 models with thea na lysis techniques aaC44 le forcla81 ca Petri nets. Currently, only simula77 n is ....
Didier Buchs a d J a le Hula'J "Evolutive Prototyping of Heterogeneous Distributed Systems Using Hiera chica Algebra c Petri Nets", Procs. IEEE Interna iona l Conference on Systems, Maaq Cybernetics, SMC'96, Beijing, China , Oct. 14-17 1996, pp. 3021-3026.
Hierarchical Algebraic Nets - Guelfi (Correct)
....hierarchical approach is well adapted to a development process based on refinement. Furthermore, HAN provides a way of specifying abstract data types which is useful for refinement and abstraction. 6. 2 Tools The prototyping techniques for distributed systems developed for CO OPN and presented in [7] and the SANDS tool existing for CO OPN, provide a way of supporting the development of CO OPN specifications [8] An algorithm, transforming CO OPN specifications into an HAN specification has been developed [6] in order to use SANDS for the development of a subpart of hierarchical algebraic nets ....
D. Buchs and J. Hulaas, Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets. In Proceedings of the International Conference on Systems, Man and Cybernetics, 1996.
From Formal Specifications to Ready-to-Use Software.. - Chachkov, Buchs (2001) Self-citation (Buchs) (Correct)
.... n (n nb) true nb, true downNotRequested n ( n nb) false) nb, b stopWillBeRequested n n, b n, true stopNotWillBeRequested n (nb = n) false nb, b position n n, b new n n, false ( not b) true) not b) true) is easy to change the implementation in a modular way as justified in [9] and initially proposed in [8] Because of a lack of space, this aspect will not be discussed further. 3.2 Code generation for ADT The lift specification uses some ADTs. One of them is List (Figure 9) which is used by Building class to store a list of floors. In CO OPN types and functions are ....
Didier Buchs and Jarle Hulaas. Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets. In Proceedings of the Int. Conf. on Systems, Man and Cybernetics, Beijing, China, October 1996. IEEE.
CO-OPN/2: A Concurrent Object-Oriented Formalism - Biberstein, Buchs, Guelfi (1997) (3 citations) Self-citation (Buchs) (Correct)
....of abstraction; We allow modular construction of specifications; We give a formal model of specification refinement. Nevertheless, important research topics around CO OPN 2 have not been presented here such as verification issues that can be found in [2] and validation issues that are presented in [6]. Complete CO OPN 2 semantics is presented in [3] With the progressive development of the Transit node, we have shown the possible ways of refining specifications, starting from an abstract description and progressively introducing concrete aspects. The validation of each step of the refinement ....
Didier Buchs and Jarle Hulaas. Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic petri nets. In Proceedings of the International Conference on Systems, Man and Cybernetics, Beijing, China, October 1996. IEEE.
CO-OPN/2: A Specification Language for Distributed.. - Biberstein, Buchs.. Self-citation (Buchs) (Correct)
....construction of specifications, ffl we give a formal model of specification refinement. Nevertheless, important research topics around CO OPN 2 have not been presented here such as verification issues that can be found in [Barbey, Buchs, P eraire 1996] and validation issues that are presented in [Buchs, Hulaas 1996]. With the progressive development of the Transit node, we have shown the possible ways of refining specifications, starting from an abstract description and progressively introducing concrete aspects. The validation of each step of the refinement process was possible through the use of ....
Didier Buchs and Jarle Hulaas. Evolutive Prototyping of Heterogeneous Distributed Systems using Hierarchical Algebraic Petri Nets. In Proceedings of the International Conference on Systems, Man and Cybernetics, Beijing, China, October 1996. IEEE.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC