Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL

A Distributed MARF Case Study
  • Emil Vassev
  • Serguei A. Mokhov
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7050)

Abstract

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 DMARF (Distributed Modular Audio Recognition Framework). These properties enhance DMARF with an autonomic middleware that manages the four stages of the framework’s pattern-recognition pipeline. DMARF is a biologically inspired system employing pattern recognition, signal processing, and natural language processing helping us process audio, textual, or imagery data needed by a variety of scientific applications, e.g., biometric applications. In that context, the notion go autonomic DMARF (ADMARF) can be employed by autonomous and robotic systems that theoretically require less-to-none human intervention other than data collection for pattern analysis and observing the results. In this article, we explain the ASSL specification models for the autonomic properties of DMARF.

Keywords

autonomic computing formal methods ASSL DMARF 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    DNSSEC.NET. DNSSEC: DNS Security Extensions Securing the Domain Name System (2002-2010), http://www.dnssec.net/ (last viewed November 2010)
  2. 2.
    Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. STTT 2(4), 366–381 (2000)CrossRefMATHGoogle Scholar
  3. 3.
    Horn, P.: Autonomic computing: IBM’s perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory (October 2001)Google Scholar
  4. 4.
    IBM Corporation. An architectural blueprint for autonomic computing. Technical report, IBM Corporation (2006)Google Scholar
  5. 5.
    Mokhov, S.A.: Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF. In: Bergler, S. (ed.) Canadian AI 2008. LNCS (LNAI), vol. 5032, pp. 216–221. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Mokhov, S.A.: 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 2008), pp. 375–382. IEEE Computer Society (July 2008)Google Scholar
  7. 7.
    Mokhov, S.A.: 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), Turku, Finland, pp. 1288–1294. IEEE Computer Society (July 2008)Google Scholar
  8. 8.
    Mokhov, S.A., Debbabi, M.: File type analysis using signal processing techniques and machine learning vs. file unix utility for forensic analysis. In: Goebel, O., Frings, S., Guenther, D., Nedon, J., Schadt, D. (eds.) Proceedings of the IT Incident Management and IT Forensics (IMF 2008), Mannheim, Germany. LNI, vol. 140, pp. 73–85. GI (2008)Google Scholar
  9. 9.
    Mokhov, S.A., Huynh, L.W., Wang, L.: The integrity framework within the Java Data Security Framework (JDSF): Design refinement and implementation. In: Sobh, T., Elleithy, K., Mahmood, A. (eds.) Novel Algorithms and Techniques in Telecommunications and Networking, Proceedings of CISSE 2008, pp. 449–455. Springer, Heidelberg (December 2008), printed in (January 2010)Google Scholar
  10. 10.
    Mokhov, S.A., Jayakumar, R.: Distributed Modular Audio Recognition Framework (DMARF) and its applications over web services. In: Sobh, T., Elleithy, K., Mahmood, A. (eds.) Proceedings of TeNe 2008, University of Bridgeport, CT, USA, pp. 417–422. Springer, Heidelberg (December 2008), printed in (January 2010)Google Scholar
  11. 11.
    Mokhov, S.A., Rassai, F., Huynh, L.W., Wang, L.: The authentication framework within the Java Data Security Framework (JDSF): Design refinement and implementation. In: Sobh, T., Elleithy, K., Mahmood, A. (eds.) Novel Algorithms and Techniques in Telecommunications and Networking, Proceedings of CISSE 2008, pp. 423–429. Springer, Heidelberg (2008), printed in (January 2010)Google Scholar
  12. 12.
    Mokhov, S.A., Vassev, E.: Autonomic specification of self-protection for Distributed MARF with ASSL. In: Proceedings of C3S2E 2009, pp. 175–183. ACM, New York (2009)CrossRefGoogle Scholar
  13. 13.
    Murch, R.: Autonomic Computing: On Demand Series. IBM Press, Prentice Hall (2004)Google Scholar
  14. 14.
    Sun Microsystems, Inc. Java IDL. Sun Microsystems, Inc. (2004)Google Scholar
  15. 15.
    Sun Microsystems, Inc. The Java web services tutorial (for Java Web Services Developer’s Pack, v2.0). Sun Microsystems, Inc. (February 2006)Google Scholar
  16. 16.
    The Planetary Society. Space topics: Voyager - the story of the mission (2009), http://planetary.org/explore/topics/spacemissions/voyager/objectives.html
  17. 17.
    Truszkowski, W., Hinchey, M., Rash, J., Rouff, C.: NASA’s swarm missions: The challenge of building autonomous software. IT Professional 6(5), 47–52 (2004)CrossRefGoogle Scholar
  18. 18.
    Vassev, E.: ASSL: Autonomic System Specification Language – A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing (November 2009) ISBN: 3-838-31383-6Google Scholar
  19. 19.
    Vassev, E., Hinchey, M.G., Paquet, J.: 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, pp. 1652–1657. ACM (2008)Google Scholar
  20. 20.
    Vassev, E., Hinchey, M.: ASSL specification and code generation of self-healing behavior for NASA swarm-based systems. In: Proceedings of the 6th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2009), pp. 77–86. IEEE Computer Society (2009)Google Scholar
  21. 21.
    Vassev, E., Hinchey, M.: Modeling the image-processing behavior of the NASA Voyager mission with ASSL. In: Proceedings of the 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2009), pp. 246–253. IEEE Computer Society (2009)Google Scholar
  22. 22.
    Vassev, E., Hinchey, M., Paquet, J.: 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 2008), pp. 54–64. IEEE Computer Society (2008)Google Scholar
  23. 23.
    Vassev, E., Mokhov, S.A.: Self-optimization property in autonomic specification of Distributed MARF with ASSL. In: Shishkov, B., Cordeiro, J., Ranchordas, A. (eds.) Proceedings of ICSOFT 2009, Sofia, Bulgaria, vol. 1, pp. 331–335. INSTICC Press (July 2009)Google Scholar
  24. 24.
    Vassev, E., Mokhov, S.A.: Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing. In: Lee, R., Ormandjieva, O., Abran, A., Constantinides, C. (eds.) SERA 2010. SCI, vol. 296, pp. 1–15. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  25. 25.
    Vassev, E.I.: 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)Google Scholar
  26. 26.
    Wollrath, A., Waldo, J.: Java RMI tutorial. Sun Microsystems, Inc. (1995-2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Emil Vassev
    • 1
  • Serguei A. Mokhov
    • 2
  1. 1.Lero - The Irish Software Engineering Research CentreUniversity of LimerickLimerickIreland
  2. 2.Faculty of Engineering and Computer ScienceConcordia UniversityMontrealCanada

Personalised recommendations