J.-P. Banatre, P. Fradet, and D. L. Metayer. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science, 2235:17--??, 2001.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of played times from bindings B to R 1, into new output bindings set B # . 2.2 The Rules Licenses typically reside inside a device. The communication between this device and the licenses is done by means of rewrite rules. Their syntax is that of multiset rewriting (we adopt Gamma notation [3, 2]) where rules are of the form: name(args) lms cond Here name(args) is a prolog atom representing the license name and arguments (we call this atom rule label ) lms represents the original (left) multiset, which is to be replaced with (right) multiset rms; cond refers to the conditions ....

J-P. Banatre, P. Fradet, and D. L. Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Workshop on Multiset Processing (WMP), volume 2235 of Lecture Notes in Computer Science, pages 17--44. SpringerVerlag, Berlin, August 2001.

....rules. These rules can be thought as the firmware of the device; licenses may come and go from a device, but the rules are fixed into the device (however, rules can be updated once in a while) The syntax of rules we adopt is that of multiset rewriting (we use, in particular, Gamma notation [3, 2]) Definition 3. A rewrite rule is a 4 tuple ####### ####### ######### ### # is an atom called rule label, ##### are two multisets, and is a sequence of elements of the form . Notice that a substitution can be applied in a natural way to a rule: # ####### ####### # ### ....

J-P. Banatre, P. Fradet, and D. L. Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Workshop on Multiset Processing (WMP), volume 2235 of Lecture Notes in Computer Science, pages 17--44. Springer-Verlag, Berlin, August 2001.

....methods. By using separate modeling techniques for different aspect, one may decide to change the modeling formalism of one aspect and still be able to use the other aspect models. This paper combines a formal design framework, which is based on a multi set transformation language called GAMMA [1], 2] with aspect oriented development concepts from software engineering [4] 8] We refer to design concerns as aspects following the software terminology. We illustrate how having a tailor made formalism for each aspect that is abstracted from other aspects is a key benefit of such a formal ....

....We then present some ideas about specifying other aspects. A. Modeling Computation with GAMMA GAMMA is an abstract language, based on multi set rewriting on a shared data space, designed to support scalable parallel execution of a program on parallel and or distributed architectures [2] [1]. The basic and atomic piece of functionality in GAMMA is the rule. In this research, we focus on a subset of GAMMA involving the specification of basic rules. We thus factor out structuring decisions (present in the calculus of GAMMA [5] and make them a separate aspect model, namely the ....

J.-P. Banatre, P. Fradet, and D. Le Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. S. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, volume 2235 of Lecture Notes in Computer Science, pages 17--44. Springer-Verlag, Berlin, 2001.

....methods. By using separate modeling techniques for different aspects, one may decide to change the modeling formalism of one aspect and still be able to use the other aspect models. This paper combines a formal design framework, which is based on a multi set transformation language called GAMMA [1, 2], with aspect oriented development concepts from software engineering [4, 8] We refer to design concerns as aspects following the software terminology. We illustrate how having a tailor made formalism for each aspect, that is abstracted from other aspects, is a key benefit of such a design ....

....features. We then present some ideas about specifying other aspects. 2. 1 Modeling Computation with GAMMA GAMMA is an abstract language, based on chaotic rewriting of a multi set, designed to support scalable parallel execution of a program on parallel and or distributed architectures [2, 1]. The basic and atomic piece of functionality in GAMMA is the rule. In this paper, we focus on a subset of GAMMA involving the specification of basic rules. We thus factor out structuring decisions (present in the calculus of GAMMA [5] and make them a separate aspect model, namely the ....

J.-P. Banatre, P. Fradet, and D. Le Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. S. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, volume 2235 of Lecture Notes in Computer Science, pages 17--44. Springer-Verlag, Berlin, 2001.

....however, largely contain a complex and entangled mixture of different aspects. In this paper, we discuss the main characteristics of an aspect oriented formal specification framework, whichisbasedonamultiset transformation language called GAMMA, which is a formalism based on multiset rewriting [3, 2]. We illustrate howhaving a tailor made formalism for each aspect that is abstracted from other aspects is a key benefit of such a formal design framework. To clarify our discussions, wesketchanarchitecture specification and design method for reactive distributed real time embedded systems (DRE ....

....features. We then present some ideas about specifying other aspects. 2. 1 Modeling Computation with GAMMA GAMMA is an abstract language, based on multiset rewriting on a shared data space, designed to support parallel execution of a program on parallel and or distributed architectures [3, 2]. The basic and atomic piece of functionality in GAMMA is the rule. The calculus of GAMMA [9]contains some composition operators to compose rules. In [3] some patterns of rule composition (called tropes) are suggested to give hints for a program designer on how to compose decompose ....

Jean-Pierre Banatre, Pascal Fradet, and Daniel Le M'etayer. Gamma and the chemical reaction model: Fifteen years after. In Cristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg, and Arto Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View,volume 2235 of Lecture Notes in Computer Science, pages 17--44. Springer-Verlag, Berlin, 2001. 12

....of individual plants (modeled using L system) see [LP02] From the computer science point of view, the use of the chemical metaphor as a computing model has been investigated by Gamma [BM86, BCM87] in the middle of the eighties. A good review of the research done about Gamma can be found in [BFM01]. The CHemical Abstract Machine (CHAM) formalism extends these ideas with a focus on the expression of semantic of non deterministic processes [BB90] The CHAM is an elaboration on the original Gamma formalism introducing the notion of sub solution enclosed in a membrane. It is shown that models ....

Jean-Pierre Banatre, Pascal Fradet, and Daniel Le Metayer. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science, 2235:17--??, 2001.

....as Object Z [7] however, contain a complex and entangled mixture of di#erent aspects. This paper discusses the main characteristics of an aspect oriented formal specification framework, which is based on a multiset transformation language called GAMMA, a formalism based on multiset rewriting [3, 2]. We illustrate how having a tailor made formalism for each aspect that is abstracted from other aspects is a key benefit of such a formal design framework. To clarify our discussions, we sketch an architecture specification and design method for reactive distributed real time embedded systems. ....

....features. We then present some ideas about specifying other aspects. 2. 1 Modeling Computation with GAMMA GAMMA is an abstract language, based on multiset rewriting on a shared dataspace, designed to support parallel execution of a program on parallel and or distributed architectures [3, 2]. The basic and atomic piece of functionality in GAMMA is the rule. The calculus of GAMMA [8] contains some composition operators to compose rules into programs. In [3] some patterns of rule composition (called tropes) are suggested to give hints for a program designer on how to compose decompose ....

J.-P. Banatre, P. Fradet, and D. Le Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. S. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, volume 2235 of Lecture Notes in Computer Science, pages 17--44. Springer-Verlag, Berlin, 2001.

No context found.

J.-P. Banatre, P. Fradet, and D. L. Metayer. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science, 2235:17--??, 2001.

No context found.

J-P. Banatre, P. Fradet, and D. L. Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Workshop on Multiset Processing (WMP), volume 2235 of LNCS, pages 17--44. Springer-Verlag, Berlin, August 2001.

No context found.

J.-P. Banatre, P. Fradet, and D. L. Metayer. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science, 2235:17--??, 2001.

No context found.

Jean-Pierre Banatre, Pascal Fradet, and Daniel Le Metayer. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science, 2235:17--39, 2001.

No context found.

J-P. Banatre, P. Fradet, and D. L. Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Workshop on Multiset Processing (WMP), volume 2235 of Lecture Notes in Computer Science, pages 17--44. Springer-Verlag, Berlin, August 2001.

No context found.

J.-P. Banatre, P. Fradet, and D. Le Metayer. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science, 2235:17--??, 2001.

No context found.

J.-P. Banatre, P. Fradet, and D. Le Metayer. Gamma and the chemical reaction model: Fifteen years after. In C. S. Calude, G. Paun, G. Rozenberg, and A. Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, volume 2235 of Lecture Notes in Computer Science, pages 17--44. Springer-Verlag, Berlin, 2001.

No context found.

J.-P. Ban atre, P. Fradet, and D. Le M etayer. Gamma and the chemical reaction model: Fifteen years after. In C. S. Calude, G. P aun, G. Rozenberg, and A. Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, LNCS 2235, pages 17--44. Springer, 2001.

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