Lancaster EPrints

Generating Hierarchical State Machines from Use Case Charts.

Whittle, Jon and Jayaraman, P. (2006) Generating Hierarchical State Machines from Use Case Charts. In: RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference. IEEE Computer Society, pp. 16-25. ISBN 0-7695-2555-5

Full text not available from this repository.
Item Type: Contribution in Book/Report/Proceedings
Additional Information: This paper extends previous work on synthesizing state machines from requirements scenarios. It presents an algorithm to generate highly structured state machines from requirements written in an intuitive yet formally specified language. It is the first algorithm capable of generating richly structured state machines and provides a new solution to a major drawback with synthesis algorithms ' that the scenarios do not contain enough semantic information for rich synthesis. The paper was published in one of the top software engineering conferences (acceptance rate 14%) and was followed up with an ICSE 2007 demonstration paper describing a tool implementing the algorithm. RAE_import_type : Conference contribution RAE_uoa_type : Computer Science and Informatics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57675
Deposited By: ep_importer_pure
Deposited On: 20 Aug 2012 11:47
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:28
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57675

Actions (login required)

View Item