University of Surrey

Test tubes in the lab Research in the ATI Dance Research

A Step towards Merging xUML and CSP||B

Treharne, H, Schneider, S, Grant, N, Evans, N and Ifill, W (2006) A Step towards Merging xUML and CSP||B In: Seminar on Rigorous Methods for Software Construction and Analysis, 2006-05-07 - 2006-05-12, Schloss Dagstuhl, GERMANY.

Full text not available from this repository.

Abstract

Much research work has been done on linking UML, and formal methods but few have focused on using formal methods to check the integrity of the UML models so that the models can be verified. In this paper we focus on executable UML and on the issues related to concurrent state machines. We show that one integrated formal methods approach, CSP parallel to B, has the potential to be tailored to support reasoning about concurrent state machines and in turn expose any weaknesses in the UML model. We identify future avenues of research so that a system methodology based on executable UML can be enhanced by formal reasoning.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Authors :
NameEmailORCID
Treharne, Hh.treharne@surrey.ac.ukUNSPECIFIED
Schneider, Ss.schneider@surrey.ac.ukUNSPECIFIED
Grant, NUNSPECIFIEDUNSPECIFIED
Evans, NUNSPECIFIEDUNSPECIFIED
Ifill, WUNSPECIFIEDUNSPECIFIED
Date : 2006
Contributors :
ContributionNameEmailORCID
UNSPECIFIEDAbrial, JRUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDGlasser, UUNSPECIFIEDUNSPECIFIED
publisherSPRINGER-VERLAG BERLIN, UNSPECIFIEDUNSPECIFIED
Depositing User : Symplectic Elements
Date Deposited : 17 May 2017 11:29
Last Modified : 17 May 2017 14:56
URI: http://epubs.surrey.ac.uk/id/eprint/831538

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800