Informatics and Applications

2014, Volume 8, Issue 4, pp 110-124

CONCEPTUAL MODELING OF MULTIDIALECT WORKFLOWS

L. Kalinichenko
S. Stupnikov
A. Vovchenko
D. Kovalev

Abstract

This paper contributes to the techniques for conceptual representation of data analysis algorithms and data integration facilities as well as processes to specify data and behavior semantics in one paradigm. An investigation of a novel approach for applying a combination of semantically different platform-independent rule-based languages (dialects) for interoperable conceptual specifications over various rule-based systems (RSs) relying on the rule-based program transformation technique recommended by the W3C Rule Interchange Format (RIF) is extended here. Such approach is combined with the facilities aimed at the semantic rule-based mediation intended for the heterogeneous data base integration. This paper extends a previous research of the authors in the direction of workflow modeling for definition of compositions of algorithmic modules in a process structure. A capability of the multidialect workflow support specifying the tasks in semantically different languages mostly suited to the task orientation is presented. A practical workflow use case, the interoperating tasks of which are specified in several rule-based languages (RIF-CASPD, RIF-BLD, RIF-PRD), is introduced. In addition, OWL 2 is used for the conceptual schema definition, RIF-PRD is used also for the workflow orchestration. The use case implementation infrastructure includes a production rule-based system (IBM ILOG), a logic rule-based system (DLV), and a mediation system.

[+] References (24)

Kalinichenko, L. A., S. A. Stupnikov, A. E. Vovchenko, and D. Y. Kovalev. 2013. Conceptual declarative problem specification and solving in data intensive domains. Informatics and Applications - Inform Appl. 7(4):112-139. Available at: http://synthesis.ipi.ac. ru/synthesis/publications/13ia-multidialect (accessed December 9, 2014).
Kalinichenko, L. A., S. A. Stupnikov, and D. O. Martynov. 2007. SYNTHESIS: A language for canonical information modeling and mediator definition for problem solving in heterogeneous information resource environments. Moscow: IPIRAN. 171 p.
Boley, H., and M. Kifer, eds. 2013. RIF framework for logic dialects. W3C recommendation. 2nd ed
Boley, H., and M. Kifer, eds. 2013. RIF basic logic dialect. W3C Recommendation. 2nd ed. Available at: http://www.w3.org/TR/2013/REC-rif-bld- 20130205/ (accessed December 9, 2014).
Heymans, S., and M. Kifer, eds. 2009. RIF core an-swer set programming dialect. Available at: http:// ruleml.org/rif/RIF-CASPD.html (accessed November 5, 2014).
Leone, N., G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. 2006. The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3):499-562.
DeSante, M. C., G. Hallmark, and A. Paschke, eds. 2013. RIF production rule dialect. W3C Recommendation. 2nd ed. Available at: http://www.w3.org/TR/2013/REC-rif- prd-20130205/ (accessed December 9, 2014).
Motik, B., P. F. Patel-Schneider, and B. Parsia, eds. 2012. OWL 2 Web Ontology Language structural specification and functional-style syntax. W3C Recommendation. 2nd ed. Available at: http://www.w3.org/TR/owl2-syntax/ (accessed November 5, 2014).
Calvanese, D., G. De Giacomo, D. Lembo, M. Lenzerini, A. Poggi, and R. Rosati. 2007. Ontology-based database access. 15th Italian Symposium on Advanced Database Systems Proceedings. 324-331.
Ramakrishnan, L., and B. Plale. 2010. A multi-dimensional classification model for scientific workflow characteristics. 1st Workshop (International) on Workflow Approaches to New Data-Centric Science Proceedings. New York: ACM. Article No. 4. 12 p. Available at: http://dl.acm.org/citation.cfm?id=1833402 (accessed December 9, 2014).
Boukhebouze, M, Y. Amghar, A.-N. Benharkat, and Z. Maamar. 2011. A rule-based approach to model and verify flexible business processes. Int. J. Business Process Integration Management 5(4):287-307.
Polleres, A., H. Boley, and M. Kifer, eds. 2013. RIF datatypes and Built-Ins 1.0 W3C Recommendation. 2nd ed. Available at: http://www.w3.org/TR/2013/REC-rif- dtb-20130205/ (accessed December 9, 2014).
Production Rule Representation (PRR), Version 1.0. OMG Document Number: formal/2009-12-01. Available at: http://www.omg.org/spec/PRR/1.0 (accessed November 5, 2014).
Yu, J., andR. Buyya. 2005. Ataxonomy of scientific workflow systems for grid computing. ACM SIGMOD Records 34(3):44-49.
Kowalski, R., and F Sadri. 2009. Integrating logic programming and production systems in abductive logic programming agents. Web reasoning and rule systems. Eds. A. Polleres and T. Swift. Lecture notes in computer science ser. Springer. 5837:1-23.
Cosentino, V., M.D. Del Fabro, and A. El Ghali. 2012. A model driven approach for bridging ILOG rule language and RIF 6th Symposium (International) on Rules RuleML Proceedings. CEUR-WS.org. 874:96-102.
Veiga, F D. J. 2011. Implementation of the RIF-PRD. Universidade Nova de Lisboa. Master Thesis. Available at: http:/ / run.unl.pt/bitstream/10362/6310/l/Veiga_ 2011. pdf (accessed November 5, 2014).
Markowitz, H. M. 1991. Portfolio selection: Efficient diversification of investments. Wiley. 402 p.
Sharpe, W F 1966. Mutual fund performance. J. Business 39(S1):119-138.
Bollen, J., H. Maoa, and X. Zeng. 2011. Twitter mood predicts the stockmarket. J. Comput. Sci. 2(1):1-8.
IBM WebSphere ILOG JRules Version 7.0. Online documentation. Available at: http://pic.dhe.ibm.com/ infocenter/brjrules/v7r0/index.jsp (accessed Novem-ber 5, 2014).
IBM Operational Decision Manager. Available at: http:// www-03.ibm.com/software/products/en/odm (accessed November 5, 2014).
IBM Operational Decision Manager Version 8.5 Information Center. Available at: http://pic.dhe.ibm.com/ infocenter/dmanager/v8r5/index.jsp (accessed November 5, 2014).
Wilson, T, J. Wiebe, and P. Hoffmann. 2005. Recognizing contextual polarity in phrase-level sentiment Analysis. Conference on Human Language Technology and Empirical Methods in Natural Language Processing Proceedings. Stroudsburg: Association for Computational Linguistics. 347-354.

[+] About this article