Emil Vassev
Serguei A. Mokhov
ABSTRACT
The Autonomic System Specification Language (ASSL) is an initiative for the development of autonomic systems where we approach the problem of formal specification, validation, and code generation of such systems within a framework. ASSL generates an operational Java application skeleton from any valid specification where a special hierarchical multi-granular architecture composed of singleton classes is imposed.
This paper presents the architecture model for autonomic systems generated with ASSL. Here we present a generic class model and a generic object model for autonomic systems. In addition, experimental results are provided to conclude the paper.
- M. Parashar and S. Hariri (ed.), Autonomic Computing: Concepts, Infrastructure and Applications, CRC, 2006. Google Scholar
Digital Library
- R. Murch, Autonomic Computing: On Demand Series, IBM Press, Prentice Hall, 2004. Google ScholarDigital Library
- E. Vassev, Towards a Framework for Specification and Code Generation of Autonomic Systems, Ph.D. Thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Nov., 2008. Google ScholarDigital Library
- E. Vassev and J. Paquet, ASSL - Autonomic System Specification Language, Proceedings of the 31st Annual IEEE/NASA Software Engineering Workshop (SEW-31), IEEE Computer Society, pp 300--309, March 2007. Google ScholarDigital Library
- M. Hinchey, J. Rash, and C. Rouff, Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation, Technical Report TM-2005-212774, NASA Goddard Space Flight Center, Greenbelt.Google Scholar
- IBM Tivoli, Autonomic Computing Policy Language, Tutorial, IBM Corporation, 2005.Google Scholar
- D. Agrawal et al., Autonomic Computing Expressing Language, Tutorial, IBM Corporation, 2005.Google Scholar
- M. Blaha and J. Rumbaugh, Object-Oriented Modeling and Design with UML, 2nd Edition, Pearson, Prentice Hall, New Jersey, 2005. Google ScholarDigital Library
- E. Vassev, M. Hinchey, and J. Paquet, Towards an ASSL Specification Model for NASA Swarm-Based Exploration Missions, Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008) - AC Track, ACM, pp. 1652--1657, 2008. Google ScholarDigital Library
- E. Vassev, M. Hinchey, and J. Paquet, A Self-Scheduling Model for NASA Swarm-Based Exploration Missions using ASSL, Proceedings of the 5th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'08), IEEE Computer Society, pp. 54--64, 2008. Google ScholarDigital Library
- E. Vassev and M. Hinchey, Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL, Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'09), IEEE Computer Society, 2009. Google ScholarDigital Library
- S. A. Mokhov and E. Vassev, Autonomic Specification of Self-Protection for Distributed MARF with ASSL, Proceedings of C Conference on Computer Science&Software Engineering (C3S2E '09), ACM, 2009. Google ScholarDigital Library
Index Terms
- An ASSL-generated architecture for autonomic systems
Recommendations
ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems
EASE '09: Proceedings of the 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous SystemsThe Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing behavior model for NASA swarm-based ...
Developing autonomic properties for distributed pattern-recognition systems with ASSL: A Distributed MARF case study
Transactions on Computational Science XVWe discuss our research towards developing special properties that introduce autonomic behavior in distributed pattern-recognition systems. In our approach we use ASSL (Autonomic System Specification Language) to formally develop such properties for ...
Autonomic specification of self-protection for distributed MARF with ASSL
C3S2E '09: Proceedings of the 2nd Canadian Conference on Computer Science and Software EngineeringThis paper presents practical results of our endeavor towards formal specification and code generation of the Autonomic Distributed Modular Audio Recognition Framework (AD-MARF) system. We used the Autonomic System Specification Language (ASSL) to ...
Comments