An Architecture Description Language Based on Dynamic Description Logics
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(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(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(SHON(D)),and describe the core architecture description features of ADML.
Architecture Description Languages Knowledge Representation and Reasoning Software Architecture Dynamic Description Logics Dynamic Adaptation
Zhuxiao Wang Hui Peng Jing Guo Ying Zhang Kehe WU Huan Xu Xiaofeng Wang
School of Control and Computer Engineering,State Key Laboratory of Alternate Electrical Power System Education Technology Center,Beijing International Studies University,Beijing 100024,China National Computer Network Emergency Response Technical Team/Coordination Center of China,Beijing 100 Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China
国际会议
7th IFIP TC 12 International Conference (第七届智能信息处理国际会议 (IIP 2012))
桂林
英文
157-166
2012-10-12（万方平台首次上网日期，不代表论文的发表时间）