Due to the proliferation of Internet and wireless communication networks, mobility of software components is pervasive in current applications. However, most of the existing Architecture Description Languages (ADLS) lack operators to express mobility primitives. In this paper, we propose a generic rewrite theory for mobility in CBabel, a Declarative Architecture Description Language. Rademaker et al. have associated a rewriting logic semantics to the different constructors of CBabel. We exploit such semantics to extend CBabel with mobility primitives by defining a rewrite theory called mobility-primitives. Our objective is two folds: We propose a rewrite theory for mobility in CBabel. Then, we generalize it to any Architecture Description Language that can be translated to rewriting logic. Such generalization will be obtained by introducing the parameterization notion of Full Maude to the mobility-primitives rewrite theory.
%0 Conference Paper
%1 bouanaka_towards_2008
%A Bouanaka, C.
%A Belala, F.
%B Computer Systems and Applications, 2008. AICCSA 2008. IEEE/ACS International Conference on
%D 2008
%K , Architecture, Declarative}, Internet; Language; Mobile}, communication, component; description, language, languages; logic, mobility, network; primitives; programming, rewrite, rewriting, rewriting; semantics, semantics; software specification, systems; theory; wireless, {CBabel; {Language;
%P 743 --748
%R 10.1109/AICCSA.2008.4493610
%T Towards a mobile architecture description language
%X Due to the proliferation of Internet and wireless communication networks, mobility of software components is pervasive in current applications. However, most of the existing Architecture Description Languages (ADLS) lack operators to express mobility primitives. In this paper, we propose a generic rewrite theory for mobility in CBabel, a Declarative Architecture Description Language. Rademaker et al. have associated a rewriting logic semantics to the different constructors of CBabel. We exploit such semantics to extend CBabel with mobility primitives by defining a rewrite theory called mobility-primitives. Our objective is two folds: We propose a rewrite theory for mobility in CBabel. Then, we generalize it to any Architecture Description Language that can be translated to rewriting logic. Such generalization will be obtained by introducing the parameterization notion of Full Maude to the mobility-primitives rewrite theory.
@inproceedings{bouanaka_towards_2008,
abstract = {Due to the proliferation of Internet and wireless communication networks, mobility of software components is pervasive in current applications. However, most of the existing Architecture Description Languages {(ADLS)} lack operators to express mobility primitives. In this paper, we propose a generic rewrite theory for mobility in {CBabel}, a Declarative Architecture Description Language. Rademaker et al. have associated a rewriting logic semantics to the different constructors of {CBabel.} We exploit such semantics to extend {CBabel} with mobility primitives by defining a rewrite theory called mobility-primitives. Our objective is two folds: We propose a rewrite theory for mobility in {CBabel.} Then, we generalize it to any Architecture Description Language that can be translated to rewriting logic. Such generalization will be obtained by introducing the parameterization notion of Full Maude to the mobility-primitives rewrite theory.},
added-at = {2013-02-28T11:13:35.000+0100},
author = {Bouanaka, C. and Belala, F.},
biburl = {https://www.bibsonomy.org/bibtex/2288a38e9ce32ed289a40e4b2132bd4c1/fritzsolms},
booktitle = {{Computer Systems and Applications, 2008. {AICCSA} 2008. {IEEE/ACS} International Conference on}},
doi = {10.1109/AICCSA.2008.4493610},
interhash = {b284aa43e34434f1111f58aad416a411},
intrahash = {288a38e9ce32ed289a40e4b2132bd4c1},
keywords = {, Architecture, Declarative}, Internet; Language; Mobile}, communication, component; description, language, languages; logic, mobility, network; primitives; programming, rewrite, rewriting, rewriting; semantics, semantics; software specification, systems; theory; wireless, {CBabel; {Language;},
month = apr,
pages = {743 --748},
timestamp = {2013-02-28T11:13:41.000+0100},
title = {{Towards a mobile architecture description language}},
year = 2008
}