Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436MaRDI QIDQ5479147zbMATH OpenOpenAlexFDO

Authors Youcef Hammal

Publication date 7 July 2006

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

Full work available at URL https://doi.org/10.1007/11562436

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2016088
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• Improving UML with Petri nets
• scientific article; zbMATH DE number 5198306
• scientific article; zbMATH DE number 2006503

Cited in

(16)

• Branching Time Semantics for UML 2.0 Sequence Diagrams
• scientific article; zbMATH DE number 1304378 (Why is no real title available?)
• Formalising the UML in structured temporal theories
• Improving UML with Petri nets
• Dependability analysis of DES based on MARTE and UML state machines models
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• scientific article; zbMATH DE number 1686276 (Why is no real title available?)
• Semantics and execution time of new timed statecharts
• Formalising concurrent UML state machines using coloured Petri nets
• A discrete-time UML semantics for concurrency and communication in safety-critical applications
• Statechartable Petri nets
• scientific article; zbMATH DE number 5198306 (Why is no real title available?)
• A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
• A metamodeling approach to transform UML 2.0 Sequence Diagrams to Petri nets
• An interleaving semantics for UML 2 interactions using Petri nets
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005

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