Methodologies and Tools for Modeling Rule-based Web Services

Author(s):  
Ion-Mircea Diaconescu
2011 ◽  
Vol 2 (1) ◽  
pp. 18-35
Author(s):  
Daniel Fitzner

Geoprocessing operations offered via web services provide the means for building complex web-based geospatial applications. Often, certain postconditions such as the spatial reference system, bounding box, schema or quality that hold on the output dataset after the execution of a geoprocessing service are determined and derived from the properties of the inputs passed to the service. Further, geoprocesses often hold preconditions that relate to more than one input, such as the requirement that all inputs must have the same schema. Within current process descriptions for geoprocessing operations, such conditions which we call cross-parameter conditions, can not be explicitly specified. In this paper, the author gives an approach to formalize such cross input-output and cross input parameter conditions in a rule-based language. Further, the author proposes an algorithm for deriving pre- and postconditions for a service composition or workflow out of the pre- and postconditions of the services involved, allowing a more automated handling of workflows in general.


1998 ◽  
Vol 07 (04) ◽  
pp. 463-485 ◽  
Author(s):  
JONATHAN LEE ◽  
KEVIN F. R. LIU ◽  
WEILING CHIANG

In this paper, a fuzzy Petri nets for modeling fuzzy rule-based reasoning is proposed to bring together the possibilistic entailment and the fuzzy reasoning to handle uncertain and imprecise information. The three key components in our fuzzy rule-based reasoning: fuzzy propositions, truth-qualified fuzzy rules, and truth-qualified fuzzy facts, can be formulated as fuzzy places, uncertain transitions, and uncertain fuzzy tokens, respectively. Four types of uncertain transitions, inference, aggregation, duplication and aggregation-duplication transitions, are introduced to meet the mechanism of fuzzy rule-based reasoning. A reasoning algorithm based on fuzzy Petri nets is also presented to improve the efficiency of fuzzy rule-based reasoning. The reasoning algorithm is consistent with not only the rule-based reasoning but also the execution of Petri nets.


2013 ◽  
Vol 73 (4) ◽  
pp. 1349-1367 ◽  
Author(s):  
Bo Yu ◽  
Lin Yang ◽  
Yongjun Wang ◽  
Bofeng Zhang ◽  
Yuan Cao ◽  
...  
Keyword(s):  

Psychometrika ◽  
2011 ◽  
Vol 76 (2) ◽  
pp. 337-359 ◽  
Author(s):  
Hanneke Geerlings ◽  
Cees A. W. Glas ◽  
Wim J. van der Linden

2013 ◽  
pp. 1619-1637
Author(s):  
Daniel Fitzner

Geoprocessing operations offered via web services provide the means for building complex web-based geospatial applications. Often, certain postconditions such as the spatial reference system, bounding box, schema or quality that hold on the output dataset after the execution of a geoprocessing service are determined and derived from the properties of the inputs passed to the service. Further, geoprocesses often hold preconditions that relate to more than one input, such as the requirement that all inputs must have the same schema. Within current process descriptions for geoprocessing operations, such conditions which we call cross-parameter conditions, can not be explicitly specified. In this paper, the author gives an approach to formalize such cross input-output and cross input parameter conditions in a rule-based language. Further, the author proposes an algorithm for deriving pre- and postconditions for a service composition or workflow out of the pre- and postconditions of the services involved, allowing a more automated handling of workflows in general.


Sign in / Sign up

Export Citation Format

Share Document