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.
This work was supported in part by an IRCSET postdoctoral fellowship grant (now termed as EMPOWER) at University College Dublin, Ireland, by the Science Foundation Ireland grant 03/CE2/I303_1 to Lero (the Irish Software Engineering Research Centre), and by the Faculty of Engineering and Computer Science of Concordia University, Montreal, Canada.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
DNSSEC.NET. DNSSEC: DNS Security Extensions Securing the Domain Name System (2002-2010), http://www.dnssec.net/ (last viewed November 2010)
Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. STTTÂ 2(4), 366â381 (2000)
Horn, P.: Autonomic computing: IBMâs perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory (October 2001)
IBM Corporation. An architectural blueprint for autonomic computing. Technical report, IBM Corporation (2006)
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)
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)
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)
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)
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)
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)
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)
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)
Murch, R.: Autonomic Computing: On Demand Series. IBM Press, Prentice Hall (2004)
Sun Microsystems, Inc. Java IDL. Sun Microsystems, Inc. (2004)
Sun Microsystems, Inc. The Java web services tutorial (for Java Web Services Developerâs Pack, v2.0). Sun Microsystems, Inc. (February 2006)
The Planetary Society. Space topics: Voyager - the story of the mission (2009), http://planetary.org/explore/topics/spacemissions/voyager/objectives.html
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)
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-6
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)
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)
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)
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)
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)
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)
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)
Wollrath, A., Waldo, J.: Java RMI tutorial. Sun Microsystems, Inc. (1995-2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Âİ 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Vassev, E., Mokhov, S.A. (2012). Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL. In: Gavrilova, M.L., Tan, C.J.K., Phan, CV. (eds) Transactions on Computational Science XV. Lecture Notes in Computer Science, vol 7050. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28525-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-28525-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28524-0
Online ISBN: 978-3-642-28525-7
eBook Packages: Computer ScienceComputer Science (R0)