Mirror, mirror in my hand: a duality between specifications and models of process behaviour

DOI10.1017/S0960129500001067zbMATH Open0857.68076OpenAlexW2112503809MaRDI QIDQ4715670FDOQ4715670

Authors: José Fiadeiro, José Félix Costa 

Publication date: 18 November 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500001067

Recommendations

• A framework for the constitution of modelling processes: A proposition
• The requirements model and behaviour in specification of requirements
• The extended process model-transforming process specifications into ontological representations
• scientific article; zbMATH DE number 1728494
• Anti-alignments in conformance checking -- the dark side of process models

zbMATH Keywords

reactive systemstemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal theories as modularisation units for concurrent system specification
• Up and Down The Temporal Way

Cited In (7)

• Parchments for CafeOBJ logics
• Stratified institutions and elementary homomorphisms
• Graded consequence: an institution theoretic study
• Preservation in many-valued truth institutions
• Title not available (Why is that?)
• Saturated models in institutions
• Ultraproducts and possible worlds semantics in institutions

This page was built for publication: Mirror, mirror in my hand: a duality between specifications and models of process behaviour

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