By Alessandro Aldini

ISBN-10: 184800222X

ISBN-13: 9781848002227

ISBN-10: 1848002238

ISBN-13: 9781848002234

Concurrency thought, software program structure, process modeling and verification, and dependability and function evaluate could appear unrelated disciplines, yet actually they're deeply intertwined and will be a part of an built-in view in an effort to effectively deal with the expanding complexity of software program platforms today.

This ebook introduces a procedure algebraic method of software program structure layout. method algebra, initially conceived for reasoning in regards to the semantics of concurrent courses, presents a foundational foundation for the modeling and verification of useful and nonfunctional elements of speaking concurrent structures. this is exploited on the software program structure point of layout to enhance the formality of layout files and make attainable the research of procedure homes on the early layout stages.

The first a part of the ebook bargains an outline of the recommendations and result of approach algebra conception offering heritage fabric at the syntax and semantics for strategy calculi in addition to at the bisimulation, trying out, and hint techniques to the definition of behavioral equivalences for nondeterministic, deterministically timed, and stochastically timed processes.

Part supplies directions for a principled transformation of strategy algebra into an architectural description language, sooner than demonstrating easy methods to use technique algebraic ideas to deal with the detection of architecture-level mismatches, performance-driven choice between replacement designs, and the success of a tradeoff among dependability positive aspects and function indices.

Graduate scholars and software program pros, will discover a approach Algebraic method of software program structure layout an invaluable addition to their bookshelf.

Show description

Read or Download A Process Algebraic Approach to Software Architecture Design PDF

Similar systems analysis & design books

Enterprise JavaBeans by Monson-Haefel R. PDF

As many Java builders and IS managers already understand, Sun's strong company JavaBean (EJB) expertise deals an enticing alternative for constructing server-side parts. an appropriate learn for either managers and Java programmers, firm JavaBeans offers a shockingly transparent and fascinating advent to designing and programming with EJBs.

Unicode demystified.A practical programmer's guide to the by Richard Gillam PDF

Unicode offers a special quantity for each personality a working laptop or computer offers with, it doesn't matter what platform, what software or what language. this article offers a hands-on programmer's consultant to Unicode. It deals particular information on integrating Unicode with different applied sciences, together with Java.

Download e-book for iPad: Coded Modulation Systems (Information Technology: by John B. Anderson

Coded Modulation platforms is an creation to the topic of coded modulation in electronic conversation. it really is designed for lecture room use and for somebody desirous to research the tips at the back of this contemporary form of coding. Coded modulation is sign encoding that takes under consideration the character of the channel over which it's used.

Download e-book for kindle: Fault-Tolerant Parallel and Distributed Systems by Dimiter R. Avresky, David R. Kaeli

An important use of computing sooner or later should be within the context of the worldwide "digital convergence" the place every thing turns into electronic and each­ factor is inter-networked. the applying can be ruled by means of garage, seek, retrieval, research, trade and updating of data in a large choice of types.

Additional resources for A Process Algebraic Approach to Software Architecture Design

Example text

29. Let P1 , P2 ∈ PL be guarded process terms containing free occurrences of k ∈ N process variables X1 , . . , Xk ∈ Var at most. We define P1 ≈Tr P2 iff P1 {Qi → Xi | 1 ≤ i ≤ k} ≈Tr P2 {Qi → Xi | 1 ≤ i ≤ k} for all Q1 , . . , Qk ∈ P. 16. Let P1 , P2 ∈ PL be guarded process terms containing free occurrences of k ∈ N process variables X1 , . . , Xk ∈ Var at most. Whenever P1 ≈Tr P2 , then rec X : P1 ≈Tr rec X : P2 for all X ∈ Var. 5. 4. XT,5 T,8 T While axiom XTr,6 states that ≈Tr is able to abstract from any τ -action, axiom XTr,5 states that ≈Tr does not respect at all the branching structure of process terms.

For the sake of simplicity, we concentrate on a discrete time domain, and hence we can use natural numbers for modeling clock ticks. Many deterministically timed process calculi have appeared in the literature. Among them we mention temporal CCS [157], timed CCS [199], timed CSP [174], real-time ACP [20], and urgent LOTOS [50], as well as C I PA [3], TPL [114], ATP [163], TIC [173], and PAFAS [78]. Due to the presence of several temporal properties of interest, as observed in [162, 74] these calculi differ on the basis of a number of time-related options, some of which are recalled below: • Durationless actions versus durational actions.

We have decided to hide the execution of pass as it represents an implementation detail that should not be perceived by an external observer. 1? 3, in order to answer this question we have to investigate the existence of some relation between PCpipe,2 and ProdCons0/2 . The first step consists of comparing [[PCpipe,2 ]] and [[ProdCons0/2 ]], which are shown below: P ||{d}(LB ||{ p} RB)/{p} ||{w}C deposit ProdCons 0/2 withdraw P ||{d}(LB ||{p} RB)/{ p} ||{w}C τ P || (LB || RB)/{p} || C {d} {p} {w} withdraw deposit P ||{d}(LB ||{ p} RB)/{p} ||{w}C deposit withdraw ProdCons 1/2 deposit withdraw ProdCons 2/2 In addition to the same shorthands as before for process constants and action names on the left-hand side, we have LB for pass .

Download PDF sample

A Process Algebraic Approach to Software Architecture Design by Alessandro Aldini

by Anthony

Rated 4.20 of 5 – based on 33 votes