research-article

Autonomic specification of self-protection for distributed MARF with ASSL

Authors:

Serguei A. Mokhov and

Emil VassevAuthors Info & Claims

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

May 2009

Pages 175 - 183

https://doi.org/10.1145/1557626.1557655

Published: 19 May 2009 Publication History

Get Access

Abstract

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 design and specify a self-protecting mechanism that must be incorporated by DMARF. Our overall goal is to have an autonomic computing layer covering DMARF by specifying autonomic properties at each of the pattern recognition stages of the same. Here we present results that complement our related work on the self-healing and self-optimizatin autonomic properties.

References

[1]

DNSSEC.NET. DNSSEC: DNS Security Extensions Securing the Domain Name System, 2002--2008. http://www.dnssec.net/, last viewed December 2008.

Google Scholar

[2]

IBM Tivoli. Autonomic computing policy language. Technical report, IBM Corporation, 2005.

Google Scholar

[3]

S. A. Mokhov. Choosing best algorithm combinations for speech processing tasks in machine learning using MARF. In S. Bergler, editor, Proceedings of the 21st Canadian AI'08, pages 216--221, Windsor, Ontario, Canada, May 2008. Springer-Verlag, Berlin Heidelberg. LNAI 5032.

Digital Library

Google Scholar

[4]

S. A. Mokhov. Study of best algorithm combinations for speech processing tasks in machine learning using median vs. mean clusters in MARF. In B. C. Desai, editor, Proceedings of C3S2E'08, pages 29--43, Montreal, Quebec, Canada, May 2008. ACM and BytePress. ISBN 978-1-60558-101-9.

Digital Library

Google Scholar

[5]

S. A. Mokhov. Towards security hardening of scientific distributed demand-driven and pipelined computing systems. In Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC'08), pages 375--382, Krakow, Poland, July 2008. IEEE Computer Society.

Digital Library

Google Scholar

[6]

S. A. Mokhov. Towards syntax and semantics of hierarchical contexts in multimedia processing applications using MARFL. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pages 1288--1294, Turku, Finland, July 2008. IEEE Computer Society.

Digital Library

Google Scholar

[7]

S. A. Mokhov and M. Debbabi. File type analysis using signal processing techniques and machine learning vs. file unix utility for forensic analysis. In O. Goebel, S. Frings, D. Guenther, J. Nedon, and D. Schadt, editors, Proceedings of the IT Incident Management and IT Forensics (IMF'08), pages 73--85, Mannheim, Germany, Sept. 2008. LN1140.

Google Scholar

[8]

S. A. Mokhov, L. W. Huynh, and J. Li. Managing distributed MARF's nodes with SNMP. In Proceedings of PDFTA'2008, volume II, pages 948--954, Las Vegas, USA, July 2008. CSREA Press.

Google Scholar

[9]

S. A. Mokhov, L. W. Huynh, and L. Wang. The integrity framework within the Java data security framework (JDSF): Design refinement and implementation. In Proceedings of CISSE'08, University of Bridgeport, CT, USA, Dec. 2008. Springer. To appear.

Google Scholar

[10]

S. A. Mokhov and R. Jayakumar. Distributed modular audio recognition framework (DMARF) and its applications over web services. In Proceedings of TeNe'08. Springer, 2008. To appear.

Google Scholar

[11]

S. A. Mokhov, F. Rassai, L. W. Huynh, and L. Wang. The authentication framework within the Java data security framework (JDSF): Design refinement and implementation. In Proceedings of CISSE'08, University of Bridgeport, CT, USA, Dec. 2008. Springer. To appear.

Google Scholar

[12]

S. A. Mokhov, S. Sinclair, I. Clement, D. Nicolacopoulos, and the MARF Research&Development Group. Text-Independent Speaker Identification Application. Published electronically within the MARF project, http://marf.sf.net, 2002--2008. Last viewed April 2008.

Google Scholar

[13]

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

Digital Library

Google Scholar

[14]

Sun Microsystems. Java IDL. Sun Microsystems, Inc., 2004. http://java.sun.com/j2se/1.5.0/docs/guide/idl/index.html.

Google Scholar

[15]

Sun Microsystems. The java web services tutorial (for Java Web Services Developer's Pack, v2.0). Sun Microsystems, Inc., Feb. 2006. http://java.sun.com/webservices/docs/2.0/tutorial/doc/index.html.

Google Scholar

[16]

E. Vassev and M. Hinchey. ASSL specification model for the image-processing behavior in the NASA Voyager mission. Technical report, Lero - The Irish Software Engineering Research Center, 2009.

Google Scholar

[17]

E. Vassev, M. Hinchey, and J. Paquet. A self-scheduling model for NASA swarm-based exploration missions using ASSL. In Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'08), pages 54--64. IEEE Computer Society, 2008.

Digital Library

Google Scholar

[18]

E. Vassev, M. G. Hinchey, and J. Paquet. Towards an ASSL specification model for NASA swarm-based exploration missions. In Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008) - AC Track. ACM, 2008.

Digital Library

Google Scholar

[19]

E. Vassev and S. A. Mokhov. An ASSL-generated architecture for autonomic systems. In Proceedings of C3S2E'09. ACM, 2009. To appear.

Digital Library

Google Scholar

[20]

E. Vassev and S. A. Mokhov. Self-optimization property in autonomic specification of Distributed MARF with ASSL. Submitted for publication to ICSOFT'09, 2009.

Google Scholar

[21]

E. Vassev and S. A. Mokhov. Towards autonomic specification of Distributed MARF with ASSL: Self-healing. Submitted for publication to Middleware'09, 2009.

Google Scholar

[22]

E. Vassev and J. Paquet. ASSL -- Autonomic System Specification Language. In Proceedings if the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31), pages 300--309, Baltimore, MD, USA, Mar. 2007. NASA/IEEE.

Digital Library

Google Scholar

[23]

E. I. Vassev. Towards a Framework for Specification and Code Generation of Autonomic Systems. PhD thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2008.

Digital Library

Google Scholar

[24]

A. Wollrath and J. Waldo. Java RMI tutorial. Sun Microsystems, Inc., 1995--2005. http://java.sun.com/docs/books/tutorial/rmi/index.html.

Google Scholar

Cited By

View all

Vassev EMokhov S(2012)Developing autonomic properties for distributed pattern-recognition systems with ASSLTransactions on Computational Science XV10.1007/978-3-642-28525-7_5(130-157)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.1007/978-3-642-28525-7_5
Vassev EHinchey MBalasubramaniam DDobson S(2011)An ASSL Approach to Handling Uncertainty in Self-adaptive SystemsProceedings of the 2011 IEEE 34th Software Engineering Workshop10.1109/SEW.2011.8(11-18)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1109/SEW.2011.8
Ding JZhu HLi Q(2011)Formal Specification of Automatic DMARF Based on CSPProceedings of the 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems10.1109/EASe.2011.7(32-39)Online publication date: 27-Apr-2011
https://dl.acm.org/doi/10.1109/EASe.2011.7
Show More Cited By

Index Terms

Autonomic specification of self-protection for distributed MARF with ASSL
1. Computing methodologies
  1. Machine learning
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Concurrent programming languages
        Distributed programming languages
        Parallel programming languages
        Very high level languages
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Applying component-based design to self-protection of ubiquitous systems
SEPS '08: Proceedings of the 3rd ACM workshop on Software engineering for pervasive services

Ubiquitous environments both require strong and yet flexible protection, due to their highly dynamic character, and to the diversity of their security requirements. Autonomic security provides an elegant solution to the problem by applying the idea of ...
Read More
A review on architecture and models for autonomic software systems
Abstract
Autonomic computing was the term coined by IBM in 2001. The term autonomic computing was used to define the self-adaptable nature of the human body. According to IBM, the same self-adaptable feature was the need to be incorporated in the software ...
Read More
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 ...
Read More

Reviews

Reviewer: Jonathan P. E. Hodgson

Analysis services scripting language (ASSL) is a specification language for autonomic systems. Its goal is to provide a way to specify self-protecting systems that are able to monitor and repair themselves. This paper uses ASSL to provide a specification for a distributed modular audio recognition framework (DMARF). DMARF can be used for such things as determining the identity of a speaker in recorded audio. Outside a university laboratory environment, such a system needs to be protected from a number of threats, such as the potential intercalation of a malicious element into one of the pipelines. One approach to handling this problem is to require each node to prove its identity to the other nodes in the pipeline. This approach is similar to the way the domain name system (DNS) security extensions (DNSSEC) operate. Given this mechanism, self-protection requires one to specify how the components of the system manage the message authentication issues that arise in the case of spurious messages. This is where ASSL comes in. ASSL is based on viewing an autonomic system as having three tiers: the autonomic system (AS) tier that defines the service-level objectives, the AS interaction tier that defines the interaction protocols, and the autonomous element (AE) tier that defines the behavior of low-level units. Using ASSL, Mokhov and Vassev specify the way the system manages messages and their authentication. The main body of the paper is supplemented with an appendix that provides the detailed ASSL specification for DMARF. Before reading this paper, the interested reader would do well to read one of the earlier papers on ASSL referenced by the authors, in order to gain a more in-depth understanding of it. This paper uses ASSL to specify how self-protection can be incorporated into an existing system. It would be interesting to see a case where ASSL is used from the start. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

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

9
Total Citations
View Citations
264
Total Downloads

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

Other Metrics

View Author Metrics

Citations

Cited By

View all

Vassev EMokhov S(2012)Developing autonomic properties for distributed pattern-recognition systems with ASSLTransactions on Computational Science XV10.1007/978-3-642-28525-7_5(130-157)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.1007/978-3-642-28525-7_5
Vassev EHinchey MBalasubramaniam DDobson S(2011)An ASSL Approach to Handling Uncertainty in Self-adaptive SystemsProceedings of the 2011 IEEE 34th Software Engineering Workshop10.1109/SEW.2011.8(11-18)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1109/SEW.2011.8
Ding JZhu HLi Q(2011)Formal Specification of Automatic DMARF Based on CSPProceedings of the 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems10.1109/EASe.2011.7(32-39)Online publication date: 27-Apr-2011
https://dl.acm.org/doi/10.1109/EASe.2011.7
Mokhov SDesai BLeung CMudur S(2010)Evolution of MARF and its NLP frameworkProceedings of the Third C* Conference on Computer Science and Software Engineering10.1145/1822327.1822344(118-122)Online publication date: 19-May-2010
https://dl.acm.org/doi/10.1145/1822327.1822344
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
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
Vassev EMokhov S(2009)An ASSL-generated architecture for autonomic systemsProceedings of the 2nd Canadian Conference on Computer Science and Software Engineering10.1145/1557626.1557645(121-126)Online publication date: 19-May-2009
https://dl.acm.org/doi/10.1145/1557626.1557645
Vassev EHinchey M(2009)Complexity Reduction in Developing Autonomic Systems with ASSLProceedings of the 2009 33rd Annual IEEE Software Engineering Workshop10.1109/SEW.2009.11(87-93)Online publication date: 13-Oct-2009
https://dl.acm.org/doi/10.1109/SEW.2009.11
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

Applying component-based design to self-protection of ubiquitous systems

A review on architecture and models for autonomic software systems

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

Reviews

Access critical reviews of Computing literature here