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

MARC

LEADER 00000cam a2200000Ia 4500
001 EBSCO_ocn789546490
003 OCoLC
005 20231017213018.0
006 m o d
007 cr mn|||||||||
008 120425s2012 si a ob 000 0 eng d
010 |a  2011278909 
040 |a HKP  |b eng  |e pn  |c HKP  |d EBLCP  |d MHW  |d YDXCP  |d MERUC  |d N$T  |d OCLCQ  |d OCLCF  |d DEBSZ  |d OCLCQ  |d E7B  |d STF  |d OCLCQ  |d LOA  |d JBG  |d AGLDB  |d MOR  |d PIFAG  |d ZCU  |d OCLCQ  |d U3W  |d WRM  |d VTS  |d NRAMU  |d ICG  |d INT  |d VT2  |d OCLCQ  |d OTZ  |d WYU  |d OCLCQ  |d DKC  |d OCLCQ  |d M8D  |d UKAHL  |d OCLCQ  |d AJS  |d OCLCO  |d OCLCQ 
016 7 |a 015956597  |2 Uk 
019 |a 797852325  |a 966211951  |a 988411332  |a 988411602  |a 991924285  |a 1037797694  |a 1038691464  |a 1045506054  |a 1055381066  |a 1064176800  |a 1065890759  |a 1081287220  |a 1086419836  |a 1228614395 
020 |a 9789814324298  |q (electronic bk.) 
020 |a 9814324299  |q (electronic bk.) 
020 |z 9789814324281 
020 |z 9814324280 
029 1 |a AU@  |b 000054187528 
029 1 |a DEBBG  |b BV043142945 
029 1 |a DEBBG  |b BV044165389 
029 1 |a DEBSZ  |b 37259638X 
029 1 |a DEBSZ  |b 397312032 
029 1 |a DEBSZ  |b 421411708 
029 1 |a DEBSZ  |b 454997515 
029 1 |a NZ1  |b 15908357 
029 1 |a AU@  |b 000073139041 
035 |a (OCoLC)789546490  |z (OCoLC)797852325  |z (OCoLC)966211951  |z (OCoLC)988411332  |z (OCoLC)988411602  |z (OCoLC)991924285  |z (OCoLC)1037797694  |z (OCoLC)1038691464  |z (OCoLC)1045506054  |z (OCoLC)1055381066  |z (OCoLC)1064176800  |z (OCoLC)1065890759  |z (OCoLC)1081287220  |z (OCoLC)1086419836  |z (OCoLC)1228614395 
050 4 |a QA76.9.S88  |b P75 2012eb 
072 7 |a COM  |x 060040  |2 bisacsh 
072 7 |a COM  |x 043050  |2 bisacsh 
072 7 |a COM  |x 053000  |2 bisacsh 
082 0 4 |a 005.8 
049 |a UAMI 
245 0 0 |a Property-preserving petri net process algebra in software engineering /  |c Hejiao Huang [and others]. 
260 |a Singapore :  |b World Scientific,  |c ©2012. 
300 |a 1 online resource (295 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
520 |a 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. 
505 0 |a 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. 
504 |a Includes bibliographical references. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a System design. 
650 0 |a Petri nets. 
650 6 |a Conception de systèmes. 
650 6 |a Réseaux de Pétri. 
650 7 |a COMPUTERS  |x Internet  |x Security.  |2 bisacsh 
650 7 |a COMPUTERS  |x Networking  |x Security.  |2 bisacsh 
650 7 |a COMPUTERS  |x Security  |x General.  |2 bisacsh 
650 7 |a Petri nets.  |2 fast  |0 (OCoLC)fst01059237 
650 7 |a System design.  |2 fast  |0 (OCoLC)fst01141401 
700 1 |a Huang, Hejiao. 
776 0 8 |i Print version:  |t Property-preserving petri net process algebra in software engineering.  |d Singapore : World Scientific, ©2012  |w (DLC) 2011278909 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=457207  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH25565253 
938 |a EBL - Ebook Library  |b EBLB  |n EBL919108 
938 |a ebrary  |b EBRY  |n ebr10563529 
938 |a EBSCOhost  |b EBSC  |n 457207 
938 |a YBP Library Services  |b YANK  |n 7223093 
994 |a 92  |b IZTAP