LEADER 06835nam 22008055 450 001 9910483369103321 005 20230222032737.0 010 $a3-540-87603-0 024 7 $a10.1007/978-3-540-87603-8 035 $a(CKB)1000000000490193 035 $a(SSID)ssj0000685510 035 $a(PQKBManifestationID)11410067 035 $a(PQKBTitleCode)TC0000685510 035 $a(PQKBWorkID)10716922 035 $a(PQKB)10682073 035 $a(DE-He213)978-3-540-87603-8 035 $a(MiAaPQ)EBC3063227 035 $a(MiAaPQ)EBC6357238 035 $a(PPN)129062960 035 $a(EXLCZ)991000000000490193 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAbstract State Machines, B and Z$b[electronic resource] $eFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /$fedited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XII, 384 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5238 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-87602-2 320 $aIncludes bibliographical references and index. 327 $a1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker?s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. 330 $aThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5238 606 $aSoftware engineering 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aDatabase management 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aDatabase Management 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aDatabase management. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aDatabase Management. 676 $a005.12 686 $a54.10$2bcl 686 $aDAT 550f$2stub 686 $aSS 4800$2rvk 686 $a004$2sdnb 702 $aBo?rger$b E$g(Egon),$f1946- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483369103321 996 $aAbstract State Machines, B and Z$9774059 997 $aUNINA