Login | Register

Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java

Title:

Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java

Han, Bin, Mokhov, Serguei A. and Paquet, Joey (2009) Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java. In: Software Engineering Research and Applications (SERA 2010), Montreal, QC, Canada.

This is the latest version of this item.

[thumbnail of http://arxiv.org/abs/0906.4837]
Preview
Text (http://arxiv.org/abs/0906.4837) (application/pdf)
0906.4837v1.pdf - Draft Version
264kB

Official URL: http://dx.doi.org/10.1109/SERA.2010.40

Abstract

We present advances in the software engineering design and implementation of the multi-tier run-time system for the General Intensional Programming System (GIPSY) by further unifying the distributed technologies used to implement the Demand Migration Framework (DMF) in order to streamline distributed execution of hybrid intensional-imperative programs using Java.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Conference or Workshop Item (Paper)
Refereed:Yes
Authors:Han, Bin and Mokhov, Serguei A. and Paquet, Joey
Journal or Publication:CISSE
Date:2009
Projects:
  • General Intensional Programming System
Funders:
  • Concordia University
  • NSERC
Digital Object Identifier (DOI):10.1109/SERA.2010.40
Keywords:intensional programming, run-time system, multi-tier architecture, General Intensional Programming System (GIPSY), General Eduction Engine (GEE), Demand Migration Framework (DMF), Demand Migration System (DMS), Jini, JMS, multi-threading, RMI, Abstract Factory pattern, Factory Method pattern, Strategy pattern, Singleton pattern
ID Code:7788
Deposited By: Serguei Mokhov
Deposited On:30 Sep 2011 15:10
Last Modified:18 Jan 2018 17:31
Related URLs:

References:

E. A. Ashcroft and W. W. Wadge, "R for semantics," ACM Transactions on Programming Languages and Systems, vol. 4, no. 2, pp. 283-294, Apr. 1982.

X. Tong, "Design and implementation of context calculus in the GIPSY," Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Apr. 2008.

J. Paquet and A. H. Wu, "GIPSY - a platform for the investigation on intensional programming languages," in Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005). CSREA Press, Jun. 2005, pp. 8-14.

B. Lu, "Developing the distributed component of a framework for processing intensional programming languages," Ph.D. dissertation, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Mar. 2004.

S. A. Mokhov, "Towards hybrid intensional programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY," Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Oct. 2005, ISBN 0494102934.
-, Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF. Lambert Academic Publishing, Mar. 2010, ISBN 978-3-8383-1198-2.

S. A. Mokhov and J. Paquet, "Using the General Intensional Programming System (GIPSY) for evaluation of higher-order intensional logic (HOIL) expressions," in Proceedings of SERA 2010. IEEE Computer Society, 2010, to appear; online at http://arxiv.org/abs/0906.3911.

J. Paquet, "Scientific intensional programming," Ph.D. dissertation, Department of Computer Science, Laval University, Sainte-Foy, Canada, 1999.

J. Paquet, S. A. Mokhov, and X. Tong, "Design and implementation of context calculus in the GIPSY environment," in Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC). Turku, Finland: IEEE Computer Society, Jul. 2008, pp. 1278-1283.

J. Plaice, B. Mancilla, G. Ditu, and W. W. Wadge, "Sequential demand-driven evaluation of eager TransLucid," in Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC). Turku, Finland: IEEE Computer Society, Jul. 2008, pp. 1266-1271.

T. Rahilly and J. Plaice, "A multithreaded implementation for TransLucid," in Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC). Turku, Finland: IEEE Computer Society, Jul. 2008, pp. 1272-1277.

J. Paquet, "Distributed eductive execution of hybrid inten-sional programs," in Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09). Seattle, Washington, USA: IEEE Computer Society, Jul. 2009, pp. 218-224.

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

B. Lu, P. Grogono, and J. Paquet, "Distributed execution of multidimensional programming languages," in Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2003), vol. 1. International Association of Science and Technology for Development, Nov. 2003, pp. 284-289.

Jini Community, "Jini network technology," [online], Sep. 2007, http://java.sun.com/developer/products/jini/index.jsp.

Sun Microsystems, "Java Message Service (JMS)," [online], Sep. 2007, http://java.sun.com/products/jms/.

K. Wan, V. Alagar, and J. Paquet, "A context theory for intensional programming," in Workshop on Context Representation and Reasoning (CRR05), Jul. 2005.

K. Wan, "Lucx: Lucid enriched with context," Ph.D. dissertation, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2006.

S. A. Mokhov, J. Paquet, and X. Tong, "A type system for hybrid intensional-imperative programming support in GIPSY," in Proceedings of C3S2E'09. New York, NY, USA: ACM, May 2009, pp. 101-107.

S. A. Mokhov and J. Paquet, "A type system for higher-order intensional logic support for variable bindings in hybrid intensional-imperative programs in GIPSY," in Proceedings of SERA'10. IEEE Computer Society, May 2010, to appear.

C. Dodd, Intensional Programming I. World Scientific, Singapore, 1996, ch. Rank analysis in the GLU compiler, pp. 76-82.

R. Jagannathan, C. Dodd, and I. Agi, "GLU: A high-level system for granular data-parallel programming," in Concurrency: Practice and Experience, vol. 1, 1997, pp. 63-83.

A. A. Faustini and W. W. Wadge, "An eductive interpreter for the language Lucid," SIGPLAN Not., vol. 22, no. 7, pp. 86-91, 1987.

E. I. Vassev, "General architecture for demand migration in the GIPSY demand-driven execution engine," Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Jun. 2005, ISBN 0494102969.

A. H. Pouteymour, "Comparative study of Demand Migration Framework implementation using JMS and Jini," Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Sep. 2008.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995, ISBN: 0201633612.

K. Beck and C. Andres, Extreme Programming Explained: Embrace Change, 2nd ed. Addison-Wesley, 2005, ISBN: 0321278658.

E. Gamma and K. Beck, "JUnit," [online], Object Mentor, Inc., 2001-2010, http://junit.org/.

J. Paquet and P. Kropf, "The GIPSY architecture," in Proceedings of Distributed Computing on the Web, Quebec City, Canada, 2000.

R. Jagannathan and C. Dodd, "GLU programmer's guide," SRI International, Menlo Park, California, Tech. Rep., 1996.

E. Vassev and J. Paquet, "A generic framework for migrating demands in the GIPSY's demand-driven execution engine," in Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005). CSREA Press, Jun. 2005, pp. 29-35.

E. Vassev and J. Paquet, "A general architecture for demand migration in a demand-driven execution engine in a heterogeneous and distributed environment," in Proceedings of the 3rd Annual Communication Networks and Services Research Conference (CNSR 2005). IEEE Computer Society, May 2005, pp. 176-182.

A. H. Pourteymour, E. Vassev, and J. Paquet, "Towards a new demand-driven message-oriented middleware in GIPSY," in Proceedings of PDPTA 2007, PDPTA. Las Vegas, USA: CSREA Press, Jun. 2007, pp. 91-97.

A. H. Pourteymour, E. Vassev, and J. Paquet, "Design and implementation of demand migration systems in GIPSY," in Proceedings of PDPTA 2009. CSREA Press, Jun. 2008.

L. Tao, "Warehouse and garbage collection in the GIPSY environment," Master's thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2004.

Contributors, University Corporation for Atmospheric Research, and National Science Foundation, "NetCDF - network common data form," [online], 2003-2009, http://www.unidata.ucar.edu/software/netcdf/.

Q. H. Mamoud, "Getting started with JavaSpaces technology: Beyond conventional distributed programming paradigms," [online], Jul. 2005, http://java.sun.com/developer/technicalArticles/tools/JavaSpaces/.

R. Flenner, Jini and JavaSpaces Application Development. Sams, 2001.

JBoss, "JBoss application server guide," [online], 2007, http://www.jboss.org/products/jbossas.

The hsqldb Development Group, "HSQLDB - lightweight 100% Java SQL database engine v.1.8.1.2," [digital], 2001-2010, http://hsqldb.org/.

R. Stallman, R. McGrath, P. Smith, and the GNU Project, "GNU Make," Free Software Foundation, Inc., [online], 1997-2006, http://www.gnu.org/software/make/.

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). IEEE Computer Society, Jul. 2008, pp. 375-382.

A. Wu, J. Paquet, and S. A. Mokhov, "Object-oriented intensional programming: Intensional Java/Lucid classes," in Proceedings of SERA 2010. IEEE Computer Society, 2010, to appear; online at: http://arxiv.org/abs/0909.0764.

S. A. Mokhov, J. Paquet, and M. Debbabi, "Formally specifying operational semantics and language constructs of Forensic Lucid," in Proceedings of the IT Incident Management and IT Forensics (IMF'08), O. Göbel, S. Frings,
D. Günther, J. Nedon, and D. Schadt, Eds. Mannheim, Germany: GI, Sep. 2008, pp. 197-216, LNI140.

Available Versions of this Item

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

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top