Property-preserving petri net process algebra in software engineering /

Mostrar otras versiones (1)

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:
System design.
Petri nets.
Conception de systèmes.
Réseaux de Pétri.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security > General.
Petri nets
System design
Acceso en línea:Texto completo
Descripción
Sumario: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 may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification, involving a tremendous amount of effort. This book presents a component -based methodology for the creation and verification of.
Descripción Física:1 online resource (295 pages) : illustrations
Bibliografía:Includes bibliographical references.
ISBN:9789814324298
9814324299

Ejemplares similares