University of Limerick Institutional Repository

UTP semantics for shared-state, concurrent, context-sensitive process models

DSpace Repository

Show simple item record Butterfield, Andrew Mjeda, Anila Noll, John 2016-12-06T15:44:56Z 2016-12-06T15:44:56Z 2016
dc.description peer-reviewed en_US
dc.description.abstract Process Modelling Language (PML) is a notation for describing software development and business processes. It takes the form of a shared-state concurrent imperative language describing tasks as activities that require resources to start and provide resources when they complete. Its syntax covers sequential composition, parallelism, iteration and choice, but without explicit iteration and choice conditions. It is intended to support a range of context-sensitive interpretations, from a rough guide for intended behaviour, to being very prescriptive about the order in which tasks must occur. We are using Unifying Theories of Programming (UTP) to model this range of semantic interpretations, with formal links between them, typically of the nature of a refinement. We address a number of challenges that arise when trying to develop a compositional semantics for PML and its shared-state concurrent underpinnings, most notably in how UTP observations need to distinguish between dynamic state-changes and static context parameters. The formal semantics are intended as the basis for tool support for process analysis, with applications in the healthcare domain, covering such areas as healthcare pathways and software development and certification processes for medical device software. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society
dc.relation.ispartofseries 10th International Symposium on Theoretical Aspects of Software Engineering (TASE);
dc.rights © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. en_US
dc.subject formal semantics en_US
dc.subject unifying theories of programming en_US
dc.subject concurrency en_US
dc.title UTP semantics for shared-state, concurrent, context-sensitive process models en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.identifier.doi 10.1109/TASE.2016.22
dc.contributor.sponsor SFI en_US
dc.relation.projectid 10/CE/I1855 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account