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.
Chapter PDF
Similar content being viewed by others
Keywords
References
Dashofy, E.M., Van der Hoek, A., Taylor, R.N.: A comprehensive approach for the development of modular software architecture description languages. ACM Transactions on Software Engineering and Methodology 14(2), 199–245 (2005)
Azevedo, R., Rigo, S., Bartholomeu, M.: The ArchC architecture description language and tools. International Journal of Parallel Programming 33(5), 453–484 (2005)
Mishra, P., Dutt, N.: Architecture description languages for programmable embedded systems. IEE Proceedings-Computers and Digital Techniques 152(3), 285–297 (2005)
Pérez, J., Ali, N., Carsí, J.Á., Ramos, I.: Designing Software Architectures with an Aspect-Oriented Architecture Description Language. In: Gorton, I., Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, pp. 123–138. Springer, Heidelberg (2006)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003)
Shi, Z., Dong, M., Jiang, Y., Zhang, H.: A logical foundation for the semantic web. Science in China, Ser. F 48(2), 161–178 (2005)
Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. J. Artif. Intell. Res. 9, 463–506 (1998)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proc. Natl. Conf. Artif. Intell., vol. 2, pp. 572–577 (2005)
Chang, L., Shi, Z., Gu, T., Zhao, L.: A Family of Dynamic Description Logics for Representing and Reasoning About Action. J. Autom. Reasoning, 1–52 (2010)
Wang, Z., Yang, K., Shi, Z.: Failure Diagnosis of Internetware Systems Using Dynamic Description Logic. J. Softw. China 21, 248–260 (2010)
Wang, Z., Guo, J., Wu, K., He, H., Chen, F.: An architecture dynamic modeling language for self-healing systems. Procedia Engineering 29(3), 3909–3913 (2012)
Wang, Z., Zhang, D., Shi, Z.: Multi-agent based bioinformatics integration using distributed dynamic description logics. In: Int. Conf. Semant., Knowl., Grid., China, pp. 66–71 (2009)
Luckham, D.C., Vera, J.: An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering 21(9), 717–734 (1995)
Garlan, D., Monroe, R., Wile, D.: Acme: an architecture description interchange language, CASCON First Decade High Impact Papers. USA, pp. 159–173 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wang, Z. et al. (2012). An Architecture Description Language Based on Dynamic Description Logics. In: Shi, Z., Leake, D., Vadera, S. (eds) Intelligent Information Processing VI. IIP 2012. IFIP Advances in Information and Communication Technology, vol 385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32891-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-32891-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32890-9
Online ISBN: 978-3-642-32891-6
eBook Packages: Computer ScienceComputer Science (R0)