An Architecture Description Language Based on Dynamic Description Logics

Abstract : ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture. ADML is being developed as a new formal language and/or conceptual model for representing the architectures of concurrent and distributed systems, both hardware and software. ADML embraces dynamic change as a fundamental consideration, supports a broad class of adaptive changes at the architectural level, and offers a uniform way to represent and reason about both static and dynamic aspects of systems. Because the ADML is based on the Dynamic Description Logic DDL($\mathcal{SHON}$(D)), which can represent both dynamic semantics and static semantics under a unified logical framework, architectural ontology entailment for the ADML languages can be reduced to knowledge base satisfiability in DDL($\mathcal{SHON}$(D)), and dynamic description logic algorithms and implementations can be used to provide reasoning services for ADML. In this article, we present the syntax of ADML, explain its underlying semantics using the Dynamic Description Logic DDL($\mathcal{SHON}$(D)), and describe the core architecture description features of ADML.
Type de document :
Communication dans un congrès
Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.157-166, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_21〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01524967
Contributeur : Hal Ifip <>
Soumis le : vendredi 19 mai 2017 - 10:43:25
Dernière modification le : vendredi 19 mai 2017 - 10:45:56

Fichier

978-3-642-32891-6_21_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Zhuxiao Wang, Hui Peng, Jing Guo, Ying Zhang, Kehe Wu, et al.. An Architecture Description Language Based on Dynamic Description Logics. Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.157-166, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_21〉. 〈hal-01524967〉

Partager

Métriques

Consultations de la notice

46

Téléchargements de fichiers

68