Architecture Description Language Based on π-Calculus for Autonomous Systems
Weiping Wang · 2009
Autonomous Systems have complex behavior and dynamic structure, such as military operation systems. To solve the problem of agent model language and traditional Architecture Description Language in describing the architecture of Autonomous Systems, a new formal Autonomous Systems ADL (AS-ADL) was proposed to describe the model framework of Autonomous Systems which was established at the beginning. AS-ADL, whose behavior semantics is π-Calculus has various data types. It can be used to formally describe not only the dynamic behavior of systems but also the internal inaction of autonomous elements. AS-ADL, as a formal architecture language, supports extraction and validation of system models.