W
Wendy MacCaull
Researcher at St. Francis Xavier University
Publications - 87
Citations - 735
Wendy MacCaull is an academic researcher from St. Francis Xavier University. The author has contributed to research in topics: Workflow & Workflow management system. The author has an hindex of 14, co-authored 82 publications receiving 701 citations. Previous affiliations of Wendy MacCaull include Dalhousie University & Kyushu University.
Papers
More filters
Journal ArticleDOI
Diel variations in the photosynthetic parameters of coastal marine phytoplankton
Wendy MacCaull,Trevor Platt +1 more
TL;DR: Correlations with environmental covariates support the hypothesis that the photosynthetic rhythms observed in the field result both from intrinsic oscillations within the phytoplankton cells and from varying environmental factors.
Book ChapterDOI
DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment
TL;DR: The DPF workbench is an implementation of the basic ideas from the Diagram Predicate Framework, which provides a graph based formalisation of (meta)modelling and model transformations and offers fully diagrammatic specification of domain-specific modelling languages.
Proceedings ArticleDOI
A metamodelling approach to behavioural modelling
TL;DR: This paper proposes a metamodelling approach to behavioural modelling that combines diagrammatic modelling with formal foundations based on category theory and graph transformations to solve the challenge of dynamic semantics of behavioural models.
Book ChapterDOI
Compensable workflow nets
TL;DR: A graphical modeling language Compensable Workflow Modeling Language (CWML) is introduced and a case study is presented, using CWML to model a real world scenario, and the resulting CWF-net is translated into DVE (the input language of the DiVinE model checker) and verified to verify properties of interest.
Journal ArticleDOI
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus
Wendy MacCaull,Ewa Orłlowska +1 more
TL;DR: A general framework for proof systems for relational theories reflecting relationships between semantics of relational logics and the rules of the respective proof systems is presented.