Dynamic Hierarchical Machines

Authors:
Ruggero Lanotte;Andrea Maggiolo-Schettini;Adriano Peron;Simone Tini
Affiliations:
Dipartimento di Informatica, Università di Pisa, Via Buonarroti 2, I-56127 Pisa, Italy;Dipartimento di Informatica, Università di Pisa, Via Buonarroti 2, I-56127 Pisa, Italy;Dipartimento di Scienze Fisiche, Univerità di Napoli Federico II, Via Cinthia, I-80126, Italy;Dipartimento di Scienze CC.FF.MM., Università dell'Insubria, Via Valleggio 11, I-22100 Como, Italy
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Year:
2003

Citing 16
Cited 1

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Real-time object-oriented modeling

Real-time object-oriented modeling
Model checking of hierarchical state machines

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Mobile ambients

Theoretical Computer Science
Resource access control in systems of mobile agents

Information and Computation
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Nomadic Pict: Language and Infrastructure Design for Mobile Agents

IEEE Concurrency
Seal: A Framework for Secure Mobile Computations

ICCL'98 Workshop on Internet Programming Languages
Language-Based Security

MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Communicating Hierarchical State Machines

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Reachability Analysis of Pushdown Automata: Application to Model-Checking

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Efficient Algorithms for Model Checking Pushdown Systems

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Analysis of Recursive State Machines

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Enforceable Security Policies

Enforceable Security Policies

Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present Dynamic Hierarchical Machines (DHMs), an extension of Communicating Hierarchical Automata allowing dynamic activation of components. We give an operational semantics of DHMs and we provide examples of modeling in the context of security. We characterize a fragment of DHMs which are equivalent to Recursive Hierarchical Machines and therefore to Pushdown Machines.