• Publications
  • Influence
Foundations of Databases
This book discusses Languages, Computability, and Complexity, and the Relational Model, which aims to clarify the role of Semantic Data Models in the development of Query Language Design.
Semantic database modeling: survey, applications, and research issues
This paper provides a tutorial introduction to the primary components of semantic models, which are the explicit representation of objects, attributes of and relationships among objects, type constructors for building complex types, ISA relationships, and derived schema components.
Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes
This short paper motivates the approach, surveys research and its applications, and discusses how principles and techniques from database research can further develop the artifact-centric paradigm.
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events
This paper presents the formal operational semantics of GSM, with an emphasis on how interaction between artifact instances is supported, and shows the equivalence of three different formulations of the GSM semantics for artifact instance interaction.
IFO: a formal semantic database model
A new, formally defined database model is introduced which combines fundamental principles of "semantic" database modeling in a coherent fashion and can serve as the foundation for a theoretical investigation into a wide variety of fundamental issues concerning the logical representation of data in databases.
On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles
A formally specified well-formedness condition on GSM models that guarantees the equivalence of the three formulations of the GSM operational semantics while permitting all of the commonly arising patterns for using GSM constructs to model business operations.
Blockchains for Business Process Management - Challenges and Opportunities
The challenges and opportunities of blockchain for business process management (BPM) are outlined and how blockchains could be used in the context of the established BPM lifecycle and how they might become relevant beyond are reflected.
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
  • R. Hull
  • Computer Science
    OTM Conferences
  • 9 November 2008
This short paper presents a structured framework for a class of data-centric business process models, which are based on "business artifacts", and identifies a broad array of remaining research challenges.
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles
The Guard-Stage-Milestone (GSM) meta-model for lifecycles is introduced, which is an evolution of the previous work on BEL's, and support hierarchy and parallelism within a single entity instance.
A Data-Centric Design Methodology for Business Processes
This chapter describes a design methodology for business processes and workflows that focuses first on “business artifacts”, which represent key (real or conceptual) business entities, including both