research-article

An ASSL-generated architecture for autonomic systems

Authors:

Emil Vassev,

Serguei A. MokhovAuthors Info & Claims

C3S2E '09: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering

Pages 121 - 126

https://doi.org/10.1145/1557626.1557645

Published: 19 May 2009 Publication History

Get Access

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.

References

[1]

M. Parashar and S. Hariri (ed.), Autonomic Computing: Concepts, Infrastructure and Applications, CRC, 2006.

Digital Library

Google Scholar

[2]

R. Murch, Autonomic Computing: On Demand Series, IBM Press, Prentice Hall, 2004.

Digital Library

Google Scholar

[3]

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.

Digital Library

Google Scholar

[4]

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.

Digital Library

Google Scholar

[5]

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

[6]

IBM Tivoli, Autonomic Computing Policy Language, Tutorial, IBM Corporation, 2005.

Google Scholar

[7]

D. Agrawal et al., Autonomic Computing Expressing Language, Tutorial, IBM Corporation, 2005.

Google Scholar

[8]

M. Blaha and J. Rumbaugh, Object-Oriented Modeling and Design with UML, 2nd Edition, Pearson, Prentice Hall, New Jersey, 2005.

Digital Library

Google Scholar

[9]

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.

Digital Library

Google Scholar

[10]

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.

Digital Library

Google Scholar

[11]

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.

Digital Library

Google Scholar

[12]

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.

Digital Library

Google Scholar

Cited By

View all

Calinescu RKikuchi SKwiatkowska M(2012)Formal Methods for the Development and Verification of Autonomic IT SystemsFormal and Practical Aspects of Autonomic Computing and Networking10.4018/978-1-60960-845-3.ch001(1-37)Online publication date: 2012
https://doi.org/10.4018/978-1-60960-845-3.ch001
Mokhov SVassev EPaquet JDebbabi MDesai BLeung CMudur S(2010)Towards a self-forensics property in the ASSL toolsetProceedings of the Third C* Conference on Computer Science and Software Engineering10.1145/1822327.1822342(108-113)Online publication date: 19-May-2010
https://dl.acm.org/doi/10.1145/1822327.1822342
Mokhov SPaquet J(2010)Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) ExpressionsProceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2010.23(101-109)Online publication date: 24-May-2010
https://dl.acm.org/doi/10.1109/SERA.2010.23
Show More Cited By

Index Terms

An ASSL-generated architecture for autonomic systems
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

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 Systems

The 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 XV

We 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 Engineering

This 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

Information & Contributors

Information

Published In

C3S2E '09: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering

May 2009

266 pages

ISBN:9781605584010

DOI:10.1145/1557626

Editors:
Bipin C. Desai
Concordia University
,
Carson K. Leung
University of Manitoba

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 May 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Science Foundation Ireland

Conference

C3S2E '09

Sponsor:

Concordia University

C3S2E '09: Proceedings of the 2009 C3S2E conference

May 19 - 21, 2009

Quebec, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 12 of 42 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
168
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Calinescu RKikuchi SKwiatkowska M(2012)Formal Methods for the Development and Verification of Autonomic IT SystemsFormal and Practical Aspects of Autonomic Computing and Networking10.4018/978-1-60960-845-3.ch001(1-37)Online publication date: 2012
https://doi.org/10.4018/978-1-60960-845-3.ch001
Mokhov SVassev EPaquet JDebbabi MDesai BLeung CMudur S(2010)Towards a self-forensics property in the ASSL toolsetProceedings of the Third C* Conference on Computer Science and Software Engineering10.1145/1822327.1822342(108-113)Online publication date: 19-May-2010
https://dl.acm.org/doi/10.1145/1822327.1822342
Mokhov SPaquet J(2010)Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) ExpressionsProceedings of the 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2010.23(101-109)Online publication date: 24-May-2010
https://dl.acm.org/doi/10.1109/SERA.2010.23
Vassev EMokhov S(2010)Towards Autonomic Specification of Distributed MARF with ASSL: Self-healingSoftware Engineering Research, Management and Applications 201010.1007/978-3-642-13273-5_1(1-15)Online publication date: 2010
https://doi.org/10.1007/978-3-642-13273-5_1
Mokhov SVassev E(2009)Autonomic specification of self-protection for distributed MARF with ASSLProceedings of the 2nd Canadian Conference on Computer Science and Software Engineering10.1145/1557626.1557655(175-183)Online publication date: 19-May-2009
https://dl.acm.org/doi/10.1145/1557626.1557655
Mokhov SVassev E(2009)Self-Forensics Through Case Studies of Small-to-Medium Software SystemsProceedings of the 2009 Fifth International Conference on IT Security Incident Management and IT Forensics10.1109/IMF.2009.19(128-141)Online publication date: 15-Sep-2009
https://dl.acm.org/doi/10.1109/IMF.2009.19

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems

Developing autonomic properties for distributed pattern-recognition systems with ASSL: A Distributed MARF case study

Autonomic specification of self-protection for distributed MARF with ASSL