scientific article; zbMATH DE number 1949609

MaRDI QIDQ4412508zbMATH OpenFDO

Authors

Publication date 15 July 2003

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

zbMATH Keywords

class diagramCSPstate diagramUML

Mathematics Subject Classification ID

Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Viewing CSP specifications with UML-RT diagrams
• scientific article; zbMATH DE number 1693515
• Automatic Generation of CSP || B Skeletons from xUML Models
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• Toward extracting -calculus from UML sequence and state diagrams

Cited in

(6)

• scientific article; zbMATH DE number 1693515 (Why is no real title available?)
• Toward extracting -calculus from UML sequence and state diagrams
• Viewing CSP specifications with UML-RT diagrams
• Formalising concurrent UML state machines using coloured Petri nets
• scientific article; zbMATH DE number 2096834 (Why is no real title available?)
• Automatic Generation of CSP || B Skeletons from xUML Models

This page was built for publication:

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