Authors: Anila Mjeda 1 ; Andrew Butterfield 2 and John Noll 3

Affiliations: 1 Lero, The Irish Software Research Centre, U. of Limerick and Ireland ; 2 School of Computer Science and Statistics, Trinity College Dublin and Ireland ; 3 Lero, The Irish Software Research Centre, U. of Limerick, Ireland, University of East London and U.K.

ISBN: 978-989-758-358-2

Keyword(s): Business Process Modelling, Flexible Interpretation, Formal Semantics, Unifying Theories of Programming.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Business Process Management ; Constraint Modeling and Languages ; Domain-Specific Modeling and Domain-Specific Languages ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; General-Purpose Modeling Languages and Standards ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Languages, Tools and Architectures ; MetaModeling ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering ; Software Process Modeling, Enactment and Execution ; Symbolic Systems

Abstract: Domain experts from both the software and business process modelling domains concur on the importance of having concurring and co-supportive business and software development processes. This is especially important for organisations that develop software for regulated domains where the software development processes need to abide by the requirements of the domain-specific quality assurance standards. In practice, even when following quite mature development processes to develop high assurance systems, software development is a complex activity that typically involves frequent deviations and requires considerable context-sensitive flexibility. We took a business process modelling notation called PML that was specifically designed to be lightweight and allow flexibility, and developed formal semantics for it. PML supports a range of context-sensitive interpretations, from an open-to-interpretation guide for intended behaviour, to requiring a precise order in which tasks must occur. We a re using Unifying Theories of Programming (UTP) to model this range of semantic interpretations and the paper presents a high-level view of our formal semantics for PML. We provide examples that illustrate the need for flexibility and how formal semantics can be used to analyse the equivalence of, or refinement between, strict, flexible, and weak semantics. The formal semantics are intended as the basis for tool support for process analysis and have applications in organisations that operate in regulated domains, covering such areas as the certification process for medical device software. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Mjeda, A.; Butterfield, A. and Noll, J. (2019). Business Process Modeling Flexibility: A Formal Interpretation.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 467-474. DOI: 10.5220/0007577104670474

author={Anila Mjeda. and Andrew Butterfield. and John Noll.},
title={Business Process Modeling Flexibility: A Formal Interpretation},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},


JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Business Process Modeling Flexibility: A Formal Interpretation
SN - 978-989-758-358-2
AU - Mjeda, A.
AU - Butterfield, A.
AU - Noll, J.
PY - 2019
SP - 467
EP - 474
DO - 10.5220/0007577104670474

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.