Paper Info
Title
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( (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( (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( (D)), and describe the core architecture description features of ADML. © 2012 IFIP International Federation for Information Processing.
Year
DOI
Venue
2012
10.1007/978-3-642-32891-6_21
Intelligent Information Processing
Keywords
DocType
Volume
architecture description languages,dynamic adaptation,dynamic description logics,knowledge representation and reasoning,software architecture
Conference
385 AICT
Issue
Citations 
PageRank 
null
1
0.39
References 
Authors
12
7
Name
Order
Citations
PageRank
Zhuxiao Wang173.91
Hui Peng210.72
Jing Guo3256.36
Ying Zhang48720.05
Kehe Wu5137.59
Huan Xu612.08
Xiaofeng Wang7153.15