Structural and behavioural compatibility of graphical service specifications

DOI10.1016/J.JLAP.2006.05.003MaRDI QIDQ861295zbMATH OpenOpenAlexFDO

Authors A. Cherchago, R. Heckel

Publication date 9 January 2007

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2006.05.003

zbMATH Keywords

web servicesgraph transformationsubstitutabilityconditional parameterised rulesservice specification matching

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Network design and communication in computer systems (68M10)

Recommendations

• Graph Transformations
• A formal approach to service specification and matching based on graph transformation
• Service Specification and Matchmaking Using Description Logic
• A Behavioural Congruence for Web Services
• An algebraic theory for web service contracts

Cites work

• scientific article; zbMATH DE number 1610602 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 1956476 (Why is no real title available?)
• scientific article; zbMATH DE number 2088360 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• A formal approach to service specification and matching based on graph transformation
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• Fundamental Approaches to Software Engineering
• Graph Transformations
• Web services. Concepts, architectures and applications

Cited in

(7)

• Analysing and determining substitutability of different granularity Web services
• Graph Transformations
• A Graph-Based Design Framework for Services
• Connector rewriting with high-level replacement systems
• Extended triple graph grammars with efficient and compatible graph translators
• Amalgamation of domain specific languages with behaviour
• A formal approach to service specification and matching based on graph transformation

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Structural and behavioural compatibility of graphical service specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861295)