Operational semantics of task models

MaRDI QIDQ5309498zbMATH OpenFDO

Authors

Publication date 9 October 2007

Mathematics Subject Classification ID

Computer science (68-XX) Theory of computing (68Qxx)

Recommendations

• Temporal semantics of compositional task models and problem solving methods
• Task modeling in systems design
• scientific article; zbMATH DE number 2080959
• Partial order semantics for use case and task models
• scientific article; zbMATH DE number 2080953

Cited in

(8)

• Compositional operational semantics of a UML-kernel-model language
• Temporal semantics of compositional task models and problem solving methods
• scientific article; zbMATH DE number 2087402 (Why is no real title available?)
• Modeling and reengineering for anti-TBM operational tasks based on matrices
• Task modeling in systems design
• Partial order semantics for use case and task models
• A Language for Task Orchestration and Its Semantic Properties
• Simulation of operational semantics of machine instructions

This page was built for publication: Operational semantics of task models

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