Partial order semantics for use case and task models

DOI10.1007/S00165-010-0158-ZMaRDI QIDQ539426zbMATH OpenOpenAlexFDO

Authors Daniel Sinnig, Ferhat Khendek, Patrice Chalin

Publication date 30 May 2011

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-010-0158-z

zbMATH Keywords

formal frameworkpartially ordered setssemanticstask modelsuse case models

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Operational semantics of task models
• scientific article; zbMATH DE number 2080955
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 1754583

Cites work

• A calculus of mobile processes. I
• A formal framework for viewpoint consistency
• Extensional equivalences for transition systems
• scientific article; zbMATH DE number 1670514 (Why is no real title available?)
• scientific article; zbMATH DE number 1693518 (Why is no real title available?)
• scientific article; zbMATH DE number 1696896 (Why is no real title available?)
• scientific article; zbMATH DE number 108536 (Why is no real title available?)
• scientific article; zbMATH DE number 3573791 (Why is no real title available?)
• scientific article; zbMATH DE number 1964938 (Why is no real title available?)
• scientific article; zbMATH DE number 2079810 (Why is no real title available?)
• scientific article; zbMATH DE number 1412986 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Partial order semantics for use case and task models
• Process Algebra
• Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations

Cited in

(3)

• scientific article; zbMATH DE number 2080955 (Why is no real title available?)
• Operational semantics of task models
• Partial order semantics for use case and task models

Describes a project that uses

Uses Software

• Isabelle/HOL
• AsmL

This page was built for publication: Partial order semantics for use case and task models

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