Vassev, Emil and Mokhov, Serguei A. (2010) Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study. Transactions on Computational Science, Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems, LNCS (7050). pp. 130-157. (In Press)
Preview |
Text (A successor of camera-ready with small corrections) (application/pdf)
474kBassl-dmarf-soft-sys-arxiv.pdf - Submitted Version |
Abstract
In this paper, we discuss our research towards developing special properties that introduce autonomic behavior in 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.
| Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering Concordia University > Research Units > Centre for Pattern Recognition and Machine Intelligence |
|---|---|
| Item Type: | Article |
| Refereed: | Yes |
| Authors: | Vassev, Emil and Mokhov, Serguei A. |
| Journal or Publication: | Transactions on Computational Science, Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems |
| Date: | 2010 |
| Projects: |
|
| Funders: |
|
| Keywords: | autonomic computing, formal methods, ASSL, DMARF |
| ID Code: | 36201 |
| Deposited By: | Serguei Mokhov |
| Deposited On: | 05 Jan 2012 17:15 |
| Last Modified: | 18 Jan 2018 17:36 |
References:
[1] DNSSEC.NET. DNSSEC: DNS Security Extensions Securing the Domain Name System, 2002-2011. http://www.dnssec.net/, last viewed November 2010.[2] K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. STTT, 2(4):366{381, 2000.
[3] P. Horn. Autonomic computing: IBM's perspective on the state of information technology. Technical report, IBM T. J. Watson Laboratory, Oct. 2001.
[4] IBM Corporation. An architectural blueprint for autonomic computing. Technical report, IBM Corporation, 2006.
[5] 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, LNAI 5032, pages 216{221, Berlin Heidelberg, May 2008. Springer-Verlag.
[6] 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. IEEE Computer Society, July 2008.
[7] 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.
[8] 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), LNI140, pages 73-85. GI, Sept. 2008.
[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 T. Sobh, K. Elleithy, and A. Mahmood, editors, Novel Algorithms and Techniques in Telecommunications and Networking, Proceedings of CISSE'08, pages 449-455. Springer, Dec. 2008. Printed in January 2010.
[10] S. A. Mokhov and R. Jayakumar. Distributed Modular Audio Recognition Framework (DMARF) and its applications over web services. In T. Sobh, K. Elleithy, and A. Mahmood, editors, Proceedings of TeNe'08, pages 417-422, University of Bridgeport, CT, USA, Dec. 2008. Springer. Printed in January 2010.
[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 T. Sobh, K. Elleithy, and A. Mahmood, editors, Novel Algorithms and Techniques in Telecommunications and Networking, Proceedings of CISSE'08, pages 423-429. Springer, Dec. 2008. Printed in January 2010.
[12] S. A. Mokhov and E. Vassev. Autonomic specification of self-protection for Distributed MARF with ASSL. In Proceedings of C3S2E'09, pages 175-183, New York, NY, USA, May 2009. ACM.
[13] R. Murch. Autonomic Computing: On Demand Series. IBM Press, Prentice Hall, 2004.
[14] Sun Microsystems, Inc. Java IDL. Sun Microsystems, Inc., 2004.
[15] Sun Microsystems, Inc. The Java web services tutorial (for Java Web Services Developer's Pack, v2.0). [online], Feb. 2006.
[16] The Planetary Society. Space topics: Voyager - the story of the mission, 2009. http://planetary.org/explore/topics/spacemissions/voyager/objectives.html.
[17] W. Truszkowski, M. Hinchey, J. Rash, and C. Rouff. NASA's swarm missions: The challenge of building autonomous software. IT Professional, 6(5):47-52, 2004.
[18] E. Vassev. ASSL: Autonomic System Specification Language -- A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Nov. 2009. ISBN: 3-838-31383-6.
[19] E. Vassev and M. Hinchey. 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'09), pages 77-86. IEEE Computer Society, 2009.
[20] E. Vassev and M. Hinchey. 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'09), pages 246-253. IEEE Computer Society, 2009.
[21] 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.
[22] 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, pages 1652-1657. ACM, 2008.
[23] E. Vassev and S. A. Mokhov. Self-optimization property in autonomic specification of Distributed MARF with ASSL. In B. Shishkov, J. Cordeiro, and A. Ranchordas, editors, Proceedings of ICSOFT'09, volume 1, pages 331-335, Sofia, Bulgaria, July 2009. INSTICC Press.
[24] E. Vassev and S. A. Mokhov. Towards autonomic specification of Distributed MARF with ASSL: Self-healing. In Proceedings of SERA 2010 (selected papers), volume 296 of SCI, pages 1-15. Springer, 2010.
[25] 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.
[26] A. Wollrath and J. Waldo. Java RMI tutorial. Sun Microsystems, Inc., 1995-2005.
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page
Download Statistics
Download Statistics