LEADER 05633nam 22008055 450 001 9910143595603321 005 20200706094321.0 010 $a3-540-44667-2 024 7 $a10.1007/3-540-44667-2 035 $a(CKB)1000000000211500 035 $a(SSID)ssj0000324365 035 $a(PQKBManifestationID)11254562 035 $a(PQKBTitleCode)TC0000324365 035 $a(PQKBWorkID)10312732 035 $a(PQKB)11658724 035 $a(DE-He213)978-3-540-44667-5 035 $a(MiAaPQ)EBC3072899 035 $a(PPN)155204424 035 $a(EXLCZ)991000000000211500 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLectures on Formal Methods and Performance Analysis $eFirst EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /$fedited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (VII, 434 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2090 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42479-2 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aFormal Methods for Performance Evaluation -- Markovian Models for Performance and Dependability Evaluation -- to Stochastic Petri Nets -- Non-Markovian Analysis -- Process Algebra and Markov Chains -- Verification of Randomized Distributed Algorithms -- Constructing Automata from Temporal Logic Formulas: A Tutorial? -- Exploiting Structure in Solution: Decomposing Compositional Models -- Stochastic Activity Networks: Formal Definitions and Concepts? -- Distributed and Structured Analysis Approaches to Study Large and Complex Systems? -- General Distributions in Process Algebra. 330 $aTraditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods ? traditionally - cused on functionality ? with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2090 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer logic 606 $aComputer system failures 606 $aComputer communication systems 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer logic. 615 0$aComputer system failures. 615 0$aComputer communication systems. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aSystem Performance and Evaluation. 615 24$aComputer Communication Networks. 676 $a004.0151 702 $aBrinksma$b Ed$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHermanns$b Holger$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKatoen$b Joost-Pieter$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEEF/Euro Summer School on Trends in Computer Science 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143595603321 996 $aLectures on Formal Methods and Performance Analysis$91980324 997 $aUNINA