Combining graphical and formal development of open distributed systems

DOI10.1007/3-540-47884-1_18MaRDI QIDQ4737568zbMATH OpenFDO

Authors Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350319.htm

Mathematics Subject Classification ID

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

• A graph-based approach to the compositional specification of distributed systems
• A UML approach to the design of open distributed systems
• Declarative modelling of distributed systems with graph rewriting languages.
• A formal approach to the engineering of domain-specific distributed systems
• scientific article; zbMATH DE number 1515852
• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• A framework for prototyping and reasoning about distributed systems
• Towards formal specification of a distributed computing system
• A formal framework for the development of concurrent object-based systems

Cited in

(4)

• Specification of mixed systems in Korrigan with the support of a UML-inspired graphical notation
• A UML approach to the design of open distributed systems
• Specifying concurrent system behavior and timing constraints using OCL and UML
• scientific article; zbMATH DE number 1860618 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Combining graphical and formal development of open distributed systems

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