Views on behaviour protocols and their semantic foundation

DOI10.1007/978-3-642-03741-2_25MaRDI QIDQ2888499zbMATH OpenOpenAlexFDO

Authors Sebastian S. Bauer, Rolf Hennicker

Publication date 1 June 2012

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03741-2_25

Mathematics Subject Classification ID

Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Specifying component behavior with port state machines
• Behavior-oriented commitment-based protocols
• Propositional statecharts for agent interaction protocols
• UML interactions meet state machines -- an institutional approach
• scientific article; zbMATH DE number 2088161

Cites work

• An Algebraic Semantics for Contract-Based Software Components
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 2085188 (Why is no real title available?)
• Notions of bisimulation and congruence formats for SOS with data
• Reconciling statechart semantics
• Specifying component behavior with port state machines
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited in

(6)

• Proper protocol
• Specifying component behavior with port state machines
• scientific article; zbMATH DE number 3990910 (Why is no real title available?)
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• Algebraic Methodology and Software Technology
• Recent Trends in Algebraic Development Techniques

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Views on behaviour protocols and their semantic foundation

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