Title | Transformation of UML Activity Diagram for Enhanced Reasoning |
---|
Authors | Chishti, I., Basukoski, A., Chaussalet, T.J. and Beeknoo, N. |
---|
Type | Conference paper |
---|
Abstract | IT industry has adopted the unified modelling language activity diagram (UML-AD) as a de facto standard. UML AD facilitates modellers to graphically represent and document business processes to show the flow of activities and behaviour of a system. However, UML AD has many drawbacks such as lack of formal semantics i.e. ontology used for the constructs based on intuition, that vaguely describes processes and no provision for verifiability. Petri Net (PN) has been around for decades and used to model the workflow systems but PNs and its variants are too complex for business process modellers with no prior experience. A logical foundation is desirable to construct a business process with a precision that facilitates in transforming UML AD into a formal mechanism supported by verifiability capabilities for enhanced reasoning. Therefore, in this paper, we will provide a framework that will provide formal definitions for UML AD core terms and constructs used for modelling, and subsequently transform them to formal representation called point graph(PG). This will provide an insight into UML AD and will improve the overall functionality required from a modelling tool. A case study is conducted at King’s College Hospital trust’ to improve their patient flows of an accident and emergency (A&E) department. |
---|
Keywords | Transformation, UML Activity Diagram, Ontology, logical foundation, Point Interval Temporal Logic, Point Graph. |
---|
Year | 2018 |
---|
Conference | Future Technologies Conference 2018 |
---|
Publisher | Springer |
---|
Accepted author manuscript | |
---|
Publication dates |
---|
Published online | 20 Oct 2018 |
---|
Journal | Advances in Intelligent Systems and Computing |
---|
Journal citation | 881, pp. 466-482 |
---|
ISSN | 2194-5357 |
---|
Book title | Proceedings of the Future Technologies Conference (FTC) 2018: Volume 2 |
---|
Book editor | Arai K. |
---|
| Bhatia R. |
---|
| Kapoor S. |
---|
ISBN | 9783030026820 |
---|
| 9783030026837 |
---|
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-030-02683-7_33 |
---|
Web address (URL) of conference proceedings | https://www.springer.com/la/book/9783030026820 |
---|