Structural and behavioural compatibility of graphical service specifications
type: Item
instance of: scholarly article
title: Structural and behavioural compatibility of graphical service specifications
zbMATH Open document ID: 1178.68033
author: A. Cherchago
author: R. Heckel
published in: The Journal of Logic and Algebraic Programming
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 5083809
zbMATH Keywords: web services
zbMATH Keywords: service specification matching
zbMATH Keywords: graph transformation
zbMATH Keywords: conditional parameterised rules
zbMATH Keywords: substitutability
describes a project that uses: Eiffel
MaRDI profile type: Publication
full work available at URL: j.jlap.2006.05.003
OpenAlex ID: W1963737976
cites work: Graph Transformations
cites work: A formal approach to service specification and matching based on graph transformation
cites work: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
cites work: Q4890712
cites work: Q3995131
cites work: Web services. Concepts, architectures and applications
cites work: Q4371400
cites work: Q2720121
cites work: Q4417810
cites work: Q4890710
cites work: Q4194478
cites work: Q4941931
cites work: Q4739564
cites work: Fundamental Approaches to Software Engineering
DOI: 10.1016/J.JLAP.2006.05.003
description: scientific article; zbMATH DE number 5083809