A Process Algebraic Approach to Software Architecture Design
Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but in reality they are deeply intertwined and should be part of an integrated view in order to succe
- PDF / 4,052,235 Bytes
- 316 Pages / 439.37 x 666.142 pts Page_size
- 25 Downloads / 187 Views
Alessandro Aldini Flavio Corradini
•
Marco Bernardo
A Process Algebraic Approach to Software Architecture Design
123
Alessandro Aldini Universit`a di Urbino Ist. di Scienze e Tecnologie dell’Informazione Piazza della Repubblica 13 61029 Urbino Italy [email protected]
Flavio Corradini Universit`a di Camerino Dip.to di Matematica e Informatica Via Madonna delle Carceri 9 62032 Camerino Italy [email protected]
Marco Bernardo Universit`a di Urbino Ist. di Scienze e Tecnologie dell’Informazione Piazza della Repubblica 13 61029 Urbino Italy [email protected]
ISBN 978-1-84800-222-7 e-ISBN 978-1-84800-223-4 DOI 10.1007/978-1-84800-223-4 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number: 2009931044 c Springer-Verlag London Limited 2010 Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered names, trademarks, etc., in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Cover design: KuenkelLopka GmbH Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
To Marilena and Emma To Giuseppina and Andrea To Monica, Alice, and Diego
Preface
In the field of formal methods in computer science, concurrency theory is receiving a constantly increasing interest. This is especially true for process algebra. Although it had been originally conceived as a means for reasoning about the semantics of concurrent programs, process algebraic formalisms like CCS, CSP, ACP, π -calculus, and their extensions (see, e.g., [154, 119, 112, 22, 155, 181, 30]) were soon used also for comprehending functional and nonfunctional aspects of the behavior of communicating concurrent systems. The scientific impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioning the standardization procedure that led to the development of the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of w
Data Loading...
