On a Uniform Framework for the Definition of Stochastic Process Languages
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Component-oriented verification of noninterference
Journal of Systems Architecture: the EUROMICRO Journal
A language for behavioural modelling of architectural patterns
Proceedings of the Third Workshop on Behavioural Modelling
On the semantics of Markov automata
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Performability measure specification: combining CSRL and MSL
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Approximating Markovian testing equivalence
Theoretical Computer Science
Exploiting the hierarchical structure of rule-based specifications for decision planning
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
TwoEagles: a model transformation tool from architectural descriptions to queueing networks
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Weak markovian bisimulation congruences and exact CTMC-Level aggregations for sequential processes
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
On the semantics of Markov automata
Information and Computation
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
A reliability model for Service Component Architectures
Journal of Systems and Software
Hi-index | 0.00 |
The design and the verification of modern software applications requires the analysis of several different aspects, such as software correctness, quality of service, and security, and of the possible inter-relations among them. Process algebraic architectural languages and the related analysis techniques provide a formal paradigm that allows for the modeling and analysis of such systems and of the related properties during the early stages of the design process. The book presents such a paradigm in a novel way that privileges the discussion of its foundational characteristics and then introduces a number of guidelines, integrated with ad-hoc methodologies and exemplifying case studies, to support the practical benefits of using such a paradigm. The book can be of help for both researchers and graduate students who intend to approach the process algebraic formal paradigm and for the practitioners who intend to apply the related approach to software design and verification.