J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. Bdl, a language of distributed reactive objects. International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE Press, 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

No context found.

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. Bdl, a language of distributed reactive objects. International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE Press, 1998.

....step of the development. The lake of integration between the different views in standard object oriented formalisms has recently motivated extensions of conventional formalisms, such as the live sequence charts of [5] Our aim is to demonstrate the benefit of using a pivot formalism, called Bdl [8, 9], for an integrated development of distributed reactive software. This model addresses the key issues raised in the development of distributed reactive systems that none of the existing formalisms yet fully integrate. Namely, the early or partial designs of system specifications; inheritance, ....

....state and one target state. Moreover, the source state and the target state are most of the time regarded as sub states of an orstate (i.e. transitions are only allowed at the same level) Such numerous restrictions do not fit within real sized application oriented projects using Statechart. Bdl [8, 9] has been proposed as a pivot formalism for describing behavioral system specifications and has already proved to be an expressive formalism, by allowing the encoding of message sequence charts, synchronous languages (such as Signal [1] and other calculi. In Bdl, different views of a system can ....

[Article contains additional citation context not shown here]

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane and H. Canon. Bdl, a language of distributed reactive objects. International Symposium on ObjectOriented Real-Time Distributed Computing. Ieee Press, April 1998.

....existing formalisms yet comply with. Namely: ffl early, partial designs of system specifications ffl inheritance, refinement and reuse of system descriptions ffl architecture modeling and deployment The notion of synchronous pre order transition systems (i.e. Spots) informally introduced in [15] in terms of the behaviour description language Bdl, is the medium around which the above issues will at present formally be defined. They are addressed according to the following requirements: ffl the ability to express partial properties and non deterministic behaviours. ffl the account for a ....

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane and H. Canon. Bdl, a language of distributed reactive objects. International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE Press, April 1998.

No context found.

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. Bdl, a language of distributed reactive objects. International Symposium on ObjectOriented Real-Time Distributed Computing. IEEE Press, 1998.

....step of the development. The lake of integration between the different views in standard object oriented formalisms has recently motivated extensions of conventional formalisms, such as the live sequence charts of [5] Our aim is to demonstrate the benefit of using a pivot formalism, called BDL [8, 9], for an integrated development of distributed reactive software. This model addresses the key issues raised in the development of distributed reactive systems that none of the existing formalisms yet fully integrate. Namely, the early or partial designs of system specifications; inheritance, ....

....state and one target state. Moreover, the source state and the target state are most of the time regarded as sub states of an or state (i.e. transitions are only allowed at the same level) Such numerous restrictions do not fit within realsized application oriented projects using STATECHART. BDL [8, 9] has been proposed as a pivot formalism 1 for describing behavioral system specifications and has already proved to be an expressive formalism, by allowing the encoding of message sequence charts, synchronous languages (such as SIGNAL [1] and other calculi. In BDL, different views of a system ....

[Article contains additional citation context not shown here]

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane and H. Canon. BDL, a language of distributed reactive objects. International Symposium on ObjectOriented Real-Time Distributed Computing. IEEE Press, April 1998.

....existing formalisms yet comply with. Namely: ffl early, partial designs of system specifications ffl inheritance, refinement and reuse of system descriptions ffl architecture modeling and deployment The notion of synchronous pre order transition systems (i.e. Spots) informally introduced in [15] in terms of the behaviour description language Bdl, is the medium around which the above issues will at present formally be defined. They are addressed according to the following requirements: ffl the ability to express partial properties and non deterministic behaviours. ffl the account for a ....

J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane and H. Canon. Bdl, a language of distributed reactive objects. International Symposium on Object-Oriented Real-Time Distributed Computing. IEEE Press, April 1998.

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