The University of Southampton
University of Southampton Institutional Repository

Hierarchical and Recursive State Machines with Context-Dependent Properties

Torre, Salvatore La, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties At ICALP. 30 Jun - 04 Jul 2003. , pp. 776-789.

Record type: Conference or Workshop Item (Paper)


Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by allowing atomic propositions to label all the kinds of vertices and not only basic nodes. We call the obtained models context-dependent hierarchical/recursive state machines. We study on such models cycle detection, reachability and Ltl model-checking. Despite of a more succinct representation, we prove that Ltl model-checking can be done in time linear in the size of the model and exponential in the size of the formula, as for standard Ltl model-checking. Reachability and cycle detection become NP-complete, and if we place some restrictions on the representation of the target states, we can decide them in time linear in the size of the formula and the size of the model.

PDF fulltext(4).pdf - Version of Record
Download (206kB)

More information

Published date: 2003
Additional Information: Event Dates: June 30 - July 4, 2003
Venue - Dates: ICALP, 2003-06-30 - 2003-07-04
Organisations: Electronic & Software Systems


Local EPrints ID: 272469
ISBN: 3-540-40493-7
PURE UUID: 57d04f4e-c758-44b1-945b-a2b2c3830d6a

Catalogue record

Date deposited: 13 Jun 2011 14:56
Last modified: 18 Jul 2017 06:24

Export record


Author: Salvatore La Torre
Author: Margherita Napoli
Author: Mimmo Parente
Author: Gennaro Parlato

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.