Cargando…

Property-preserving petri net process algebra in software engineering /

In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct - possessing the desirable properties and free from undesirable ones. However, the operators...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Huang, Hejiao
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : World Scientific, ©2012.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Preface; Contents; 1. Introduction; 1.1 This Book's Approach for Component-Based System Design; 1.2 Background Information and Main Features of PPPA; 1.3 Organization of This Book; 2. Fundamentals on PPPA and Related Work; 2.1 Preliminaries and Basic Properties of Petri Nets; 2.2 General Approaches for Verification; 2.2.1 Verification via reachability analysis; 2.2.2 Verification via characterizations or problem conversion; 2.2.3 Verification via property-preserving transformations; 2.3 Related Work and Discussion; 2.3.1 Reviews on property-preserving refinements for Petri nets.