Verifying Service Choreography Model Based on Description Logic

Mathematical Problems in Engineering - Egypt
doi 10.1155/2016/8947157
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Hindawi Limited

Related search

A Context Model for Service Composition Based on Dynamic Description Logic

Intelligent Information Processing IV
English

Service Mediator Model for Value Co-Creation Based on Service Dominant Logic

Journal of Service Science and Management
2013English

Service Selection Based on Dominant Role of the Choreography

International Journal on Web Service Computing
2016English

Formal Logic Research in Mobile Service Recommendation Model Based on Situation Calculus

DEStech Transactions on Computer Science and Engineering
2018English

Flexible Choreography-Driven Service Selection

Intelligenza Artificiale
Artificial Intelligence
2012English

Verifying Communicating Agents by Model Checking in a Temporal Action Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Data Flow Testing of Service Choreography

2009English

A Systematic Literature Review of Service Choreography Adaptation

Service Oriented Computing and Applications
HardwareSoftwareInformation SystemsArchitectureManagement Information Systems
2012English

Semantic Web Service Choreography: Contracting and Enactment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy