Partial order semantics for use case and task models

DOI10.1007/S00165-010-0158-ZzbMath1216.68078OpenAlexW2003127245MaRDI QIDQ539426

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

partially ordered setssemanticsformal frameworktask modelsuse case models

Mathematics Subject Classification ID

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

Related Items (1)

Partial order semantics for use case and task models

Uses Software

• Isabelle/HOL
• AsmL

Cites Work

• Partial order semantics for use case and task models
• A formal framework for viewpoint consistency
• Extensional equivalences for transition systems
• A calculus of mobile processes. I
• Isabelle/HOL. A proof assistant for higher-order logic
• Process Algebra
• Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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