scispace - formally typeset
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

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

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.