Towards a framework for specification and code generation of automatic systems

摘要: Autonomic computing is an emerging field for developing complex large-scale systems by transforming them into self-managing autonomic systems, which are intrinsically intended to reduce complexity through automation. However, the very inherent in many that lend themselves well can often cause difficulty designing those same systems. This emphasizes need a specification language allows modeling and validation of such This thesis approaches problem formal code generation within framework. The core this framework system (ASSL). ASSL implies multi-tier structure specifying targets at operational instance from specification. In general, proposed helps design generate wrapper embeds components existing i.e., it non-intrusive adding self-management features Moreover, top-down development approach where generated will guide designers needed their interfaces under consideration. order define appropriate basis reasoning about models, we formally via well-defined context-free grammar semantic description covering important aspects structures commands. addition, propose definitions consistency checking lay ground mathematical theory proving properties specified with ASSL. We present our reducing when possible because large set properly designed abstractions hide specifics thus complexity. attempt validate usability applicability ASSL, apply latter NASA ANTS swarm-based prospective mission. thesis, architecture model elements proposed. considered generic pertaining any successfully An toolset was developed course project presented, as test results same.