A rigorous model of service component architecture

DOI10.1016/J.ENTCS.2008.03.084MaRDI QIDQ2873686zbMATH OpenOpenAlexFDO

Authors Zuohua Ding, Zhenbang Chen, Jing Liu

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

formal semanticsPetri netsservice component architectureservice compositionverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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)

Recommendations

• An interface model for service-oriented software architecture
• A formal model for service-oriented interactions
• Compositional Service Trees
• Service-oriented systems engineering: modeling services and layered architectures
• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions

Cites work

• Component adaptation through flexible subservicing
• Computer Aided Verification
• Formalizing web service choreographies
• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• Refinement and verification in component-based model-driven design

Cited in

(7)

• Dependability certification of services: a model-based approach
• Specifying services with UML and UML-RT: foundations, challenges and limitations
• MDD4SOA. Model-driven development for service-oriented architectures.
• Describing Service-Oriented Architecture by extended Darwin
• A flow analysis approach for service-oriented architectures
• An interface model for service-oriented software architecture
• Service-oriented systems engineering: modeling services and layered architectures

Describes a project that uses

Uses Software

• BPEL2PN
• WSAT
• Jiazzi

This page was built for publication: A rigorous model of service component architecture

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