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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore :
World Scientific,
©2012.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn789546490 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.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 |d OCLCO |d OCLCQ |d OCLCL | ||
| 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 | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 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 | |
| 650 | 7 | |a System design |2 fast | |
| 700 | 1 | |a Huang, Hejiao. | |
| 758 | |i has work: |a Property-Preserving Petri Net Process Algebra in Software Engineering (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3Mqg6V4mBcrypBk84G9Mq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 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://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=919108 |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 | ||