A Rigorous Model of Service Component Architecture

DOI10.1016/j.entcs.2008.03.084zbMath1279.68053OpenAlexW2063400074MaRDI QIDQ2873686

Jing Liu, Zhenbang Chen, Zuohua Ding

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.084

zbMATH Keywords

verificationformal semanticsPetri netsservice compositionservice component architecture

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• WSAT
• BPEL2PN
• Jiazzi

Cites Work

• Unnamed Item
• Unnamed Item
• Refinement and verification in component-based model-driven design
• Component adaptation through flexible subservicing
• Computer Aided Verification

This page was built for publication: A Rigorous Model of Service Component Architecture