Posts
All the articles I've posted.
Restricting Enumeration Values in Requirements Specifications: New Enumeration or Constraint?
A field must accept only part of an existing enumeration. Define a narrower enumeration, or keep the full list and state the restriction as a rule? A decision rule drawn from subtyping, type systems and derivation by restriction.
A Theoretical Basis for Modeling the EUDAMED Domain
A theoretical basis for modeling the EUDAMED domain: a real entity, an MDR-defined role and a EUDAMED record are three separate sorts, not one thing under different names, grounded in foundational ontology, institutional-fact theory and compliance theory.
On Business Rules
Slides from a 2020 talk on business rules: a survey of colleagues that showed uneven practice, and what the OMG SBVR standard says about writing them.
On Business Requirements
Slides from a 2018 talk on what business requirements are and how they differ from a specification — with the answer looked for in Michael Jackson's problem frames.