Wu, Hao (2019) Synthesising Call Sequences from OCL Operational Contracts. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, New York, United States, pp. 1871-1873. ISBN 9781450359337

Preview

Download (544kB) | Preview

Abstract

The Unified Modeling Language (UML) is widely used by software engineers in different phases of software development cycle. It allows them to visualise and depict a system into different diagrams. Among these diagrams, UML class diagrams are used to capture the structure of a system including classes, attributes and associations. The set of operation calls defined in a UML class diagram then capture the behaviour of a system. These operation calls typically constrain the inputs and outputs via a set of pre or postconditions (operational contracts) written in Object Constraint Language (OCL). Hence, a sequence of operation calls conforming to pre or postconditions is crucial to analyse, verify and understand the behaviour of a system. In this paper, we propose a new technique for synthesising call sequences from a set of operational contracts. This technique works by reducing a synthesis problem to a satisfiability modulo theories (SMT) problem. The preliminary results show that our technique is capable of synthesising call sequences at a large scale.

Item Type:	Book Section
Additional Information:	Cite as: Hao Wu. 2019. Synthesising call sequences from OCL operational contracts. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC '19). Association for Computing Machinery, New York, NY, USA, 1871–1873. DOI:https://doi.org/10.1145/3297280.3297612
Keywords:	UML; OCL; SMT Solver; Sequence Synthesis;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	14351
Identification Number:	https://doi.org/10.1145/329280.3297612
Depositing User:	Hao Wu
Date Deposited:	20 Apr 2021 14:27
Journal or Publication Title:	Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Publisher:	Association for Computing Machinery
Refereed:	Yes
URI:	Publisher
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads