Methodologies and Tools for Modeling Rule-based Web Services

2007 ◽  
Author(s):  
Ion-Mircea Diaconescu
Keyword(s):  
Web Services ◽  
Rule Based ◽  
Modeling Rule

Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation

2011 ◽  
Vol 2 (1) ◽  
pp. 18-35
Author(s):  
Daniel Fitzner
Keyword(s):  
Web Services ◽  
Service Composition ◽  
Reference System ◽  
Input Parameter ◽  
Input Output ◽  
Web Based ◽  
Rule Based ◽  
Service Chain ◽  
Spatial Reference ◽  
Automated Handling

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.

FUZZY PETRI NETS FOR MODELING RULE-BASED REASONING

1998 ◽  
Vol 07 (04) ◽  
pp. 463-485 ◽  
Author(s):  
JONATHAN LEE ◽  
KEVIN F. R. LIU ◽  
WEILING CHIANG
Keyword(s):  
Petri Nets ◽  
Fuzzy Rule ◽  
Fuzzy Reasoning ◽  
Fuzzy Rules ◽  
Rule Based ◽  
Imprecise Information ◽  
Fuzzy Petri Nets ◽  
Reasoning Algorithm ◽  
Modeling Rule

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.

Rule-Based Security Capabilities Matching for Web Services

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

Modeling Rule-Based Item Generation

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

Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation

2013 ◽  
pp. 1619-1637
Author(s):  
Daniel Fitzner
Keyword(s):  
Web Services ◽  
Service Composition ◽  
Reference System ◽  
Input Parameter ◽  
Input Output ◽  
Web Based ◽  
Rule Based ◽  
Service Chain ◽  
Current Process ◽  
Automated Handling

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