Structural and behavioural compatibility of graphical service specifications

DOI10.1016/j.jlap.2006.05.003zbMath1178.68033OpenAlexW1963737976MaRDI QIDQ861295

A. Cherchago, Reiko 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

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

Related Items (3)

Amalgamation of domain specific languages with behaviour ⋮ Extended Triple Graph Grammars with Efficient and Compatible Graph Translators ⋮ Connector Rewriting with High-Level Replacement Systems

Uses Software

• Eiffel

Cites Work

• Web services. Concepts, architectures and applications
• Graph Transformations
• Fundamental Approaches to Software Engineering
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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