FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W89687488> ?p ?o ?g. }

• W89687488 abstract "Many computing systems consist of a possibly huge number of components that not only work independently but also communicate with each other. The catastrophic consequences of failures, such as loss of human lives, environmental damages, and financial losses, in many of these critical systems compel computer scientists and engineers to develop techniques for ensuring that these systems are implemented correctly despite of their complexity. Although a number of theories and software tools have been developed to support the formal description and verification of functional properties of systems, only in recent years the formal modeling and assessment of performance characteristics have received attention. This thesis addresses the problem of providing a suitable linguistic support which enables designers to formally describe and evaluate system performance in the early stages of system design, in order to avoid cost increases due to the late discovery of inefficiency. A reasonable solution should constitute a first step towards a methodology for the specification and analysis of computer, communication and software systems that achieves a reasonable balance among formality, expressivity, usability and efficiency. As a solution to the problem above, in this thesis we propose an integrated approach to modeling and analyzing functional and performance characteristics of systems which relies on formal description techniques extended with a stochastic representation of time. Such an approach, inspired by Olderog’s work on relating different views of concurrent systems, is based on both stochastically timed process algebras and stochastically timed Petri nets in order to profit from their complementary advantages: compositional modeling/manipulation capabilities and structural analysis techniques based on an explicit description of concurrency. In order to develop the integrated approach in the Markovian case, in this thesis we propose a new stochastically timed process algebra called EMPA (Extended Markovian Process Algebra), inspired by Herzog’s TIPP and Hillston’s PEPA, which has a considerable expressive power, as it allows for the description of not only exponentially timed activities but also immediate activities, priority and probability related features, and nondeterminism, and is based on an intuitive master-slaves synchronization mechanism, which allows more complex synchronization mechanisms to be simulated. In order to support the various phases and analyses of the integrated approach, EMPA is equipped with a suitable collection of semantics, mapping terms to integrated transition systems and their projections (functional transition systems and continuous/discrete time Markov chains) and generalized stochastic Petri nets by Ajmone Marsan-Balbo et al., respectively, as well as a notion of integrated equivalence, relating terms describing systems with the same functional and performance properties." @default.
• W89687488 created "2016-06-24" @default.
• W89687488 creator A5000720054 @default.
• W89687488 creator A5090241572 @default.
• W89687488 date "2011-01-01" @default.
• W89687488 modified "2023-09-27" @default.
• W89687488 title "Theory and Application of Extended Markovian Process Algebra" @default.
• W89687488 cites W109112237 @default.
• W89687488 cites W133701161 @default.
• W89687488 cites W14035963 @default.
• W89687488 cites W1482332845 @default.
• W89687488 cites W1483963878 @default.
• W89687488 cites W1488664597 @default.
• W89687488 cites W1493243743 @default.
• W89687488 cites W1494118982 @default.
• W89687488 cites W1496748552 @default.
• W89687488 cites W1501020965 @default.
• W89687488 cites W1503973138 @default.
• W89687488 cites W1504623906 @default.
• W89687488 cites W1506425194 @default.
• W89687488 cites W1507985299 @default.
• W89687488 cites W1514324734 @default.
• W89687488 cites W1515687042 @default.
• W89687488 cites W1518200793 @default.
• W89687488 cites W1522645051 @default.
• W89687488 cites W1525103753 @default.
• W89687488 cites W1530422364 @default.
• W89687488 cites W1531089277 @default.
• W89687488 cites W1542815565 @default.
• W89687488 cites W1543374740 @default.
• W89687488 cites W1543797207 @default.
• W89687488 cites W1547562281 @default.
• W89687488 cites W1552467245 @default.
• W89687488 cites W1573197863 @default.
• W89687488 cites W1575288406 @default.
• W89687488 cites W1576138800 @default.
• W89687488 cites W1583256926 @default.
• W89687488 cites W1587275578 @default.
• W89687488 cites W1593373400 @default.
• W89687488 cites W1597091613 @default.
• W89687488 cites W1602232868 @default.
• W89687488 cites W1607065182 @default.
• W89687488 cites W1608119595 @default.
• W89687488 cites W1632351212 @default.
• W89687488 cites W1803230550 @default.
• W89687488 cites W1850900101 @default.
• W89687488 cites W186176372 @default.
• W89687488 cites W1863244539 @default.
• W89687488 cites W1874180568 @default.
• W89687488 cites W1891612005 @default.
• W89687488 cites W1907401487 @default.
• W89687488 cites W1964873762 @default.
• W89687488 cites W1965697381 @default.
• W89687488 cites W1966429200 @default.
• W89687488 cites W1971107784 @default.
• W89687488 cites W1973535275 @default.
• W89687488 cites W1974090207 @default.
• W89687488 cites W1976268573 @default.
• W89687488 cites W1978358700 @default.
• W89687488 cites W1978469611 @default.
• W89687488 cites W1981737360 @default.
• W89687488 cites W1986755980 @default.
• W89687488 cites W1996109622 @default.
• W89687488 cites W1996989781 @default.
• W89687488 cites W2000302396 @default.
• W89687488 cites W2005328758 @default.
• W89687488 cites W2006095419 @default.
• W89687488 cites W2010241460 @default.
• W89687488 cites W2011771887 @default.
• W89687488 cites W2013658284 @default.
• W89687488 cites W2018291475 @default.
• W89687488 cites W2021089599 @default.
• W89687488 cites W202997858 @default.
• W89687488 cites W2030875267 @default.
• W89687488 cites W2034486676 @default.
• W89687488 cites W2034883517 @default.
• W89687488 cites W2035959929 @default.
• W89687488 cites W2036267700 @default.
• W89687488 cites W2046577860 @default.
• W89687488 cites W2055454967 @default.
• W89687488 cites W2058547052 @default.
• W89687488 cites W2062442550 @default.
• W89687488 cites W2068361557 @default.
• W89687488 cites W2071324800 @default.
• W89687488 cites W2075933625 @default.
• W89687488 cites W2077318760 @default.
• W89687488 cites W2078423317 @default.
• W89687488 cites W2079610046 @default.
• W89687488 cites W2090612021 @default.
• W89687488 cites W2094902343 @default.
• W89687488 cites W2095244541 @default.
• W89687488 cites W2095504289 @default.
• W89687488 cites W2098083416 @default.
• W89687488 cites W2100648544 @default.
• W89687488 cites W2105361165 @default.
• W89687488 cites W2105436462 @default.
• W89687488 cites W2108289439 @default.
• W89687488 cites W2108746194 @default.
• W89687488 cites W2109142454 @default.
• W89687488 cites W2109507516 @default.

• next