Amanote Research

Amanote Research

    RegisterSign In

A Method of E-Service Workflow Composition Based on Linear Logic Inference Rules

doi 10.2991/iccia.2012.155
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2012

Authors
Shan ZhouFangyu Zhang
Publisher

Atlantis Press


Related search

Method for Forming Test Workflow Based on Fuzzy Inference

Radio Electronics, Computer Science, Control
2018English

A Context Model for Service Composition Based on Dynamic Description Logic

Intelligent Information Processing IV
English

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Service Composition Approach Based on Patterns

Advanced Engineering Forum
2011English

Service Composition Engine Based on Service-Ontology

2008English

An Inference Method for Personalized Automotive Service Based on Rough Set and Evidential Reasoning

Journal of Engineering Science and Technology Review
Engineering
2017English

Inference Rules and Decision Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Architecture of Dynamic Service Composition Using Logic Petri Nets

Journal of Software Engineering and Applications
2011English

Verifying Service Choreography Model Based on Description Logic

Mathematical Problems in Engineering
MathematicsEngineering
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy