Synthesizing concurrency control components from process algebraic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4038 LNCS, Issue , 2006, Pages 28-43

  Bontá, Edoardo ^a   Bernardo, Marco ^a   Magee, Jeff ^b   Kramer, Jeff ^b  

^a UNIVERSITY OF URBINO   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTER ARCHITECTURE; COMPUTER SCIENCE; COMPUTER SYSTEMS; PROBLEM SOLVING; PROCESS CONTROL; SOFTWARE ENGINEERING; TRANSLATION (LANGUAGES);

CONCURRENCY CONTROL COMPONENTS; PROCESS ALGEBRAIC SPECIFICATIONS; SOFTWARE COMPONENT; SOFTWARE SYSTEMS;

CONCURRENCY CONTROL;

EID: 33746223507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767954_3     Document Type: Conference Paper

References (16)

1. A. Aldini and M. Bernardo, "On the Usability of Process Algebra: An Architectural View", in Theoretical Computer Science 335:281-329, 2005.
2. R. Allen and D. Garlan, "A Formal Basis for Architectural Connection", in ACM Trans, on Software Engineering and Methodology 6:213-249, 1997.
3. J.A. Bergstra, A. Ponse, and S.A. Smolka (eds.), "Handbook of Process Algebra", Elsevier, 2001.
4. M. Bernardo and E. Bonta, "Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions", in Proc. of the 4th Working IEEE/IFIP Conf. on Software Architecture (WICSA 2004), IEEE-CS Press, pp. 167-176, Oslo (Norway), 2004.
5. M. Bernardo and E. Bontà, "Preserving Architectural Properties in Multithreaded Code Generation", in Proc. of the 7th Int. Conf. on Coordination Models and Languages (COORDINATION 2005), LNCS 3454:188-203, Namur (Belgium), 2005.
6. T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification Language LOTOS", in Computer Networks and ISDN Systems 14:25-59, 1987.
7. C. Canal, E. Pimentel, and J.M. Troya, "Compatibility and Inheritance in Software Architectures", in Science of Computer Programming 41:105-138, 2001.
8. X. Deng, M.B. Dwyer, J. Hatcliff, and M. Mizuno, "Invariant-based Specification, Synthesis, and Verification of Synchronization in Concurrent Programs", in Proc. of the 24th Int. Conf. on Software Engineering (ICSE 2002), ACM press, pp. 442-452, Orlando (Florida), 2002.
9. C.A.R. Hoare, "Communicating Sequential Processes", Prentice Hall, 1985.
10. P. Inverardi and S. Uchitel, "Proving Deadlock Freedom in Component-Based Programming", in Proc. of the 4th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029:60-75, Genova (Italy), 2001.
11. P. Inverardi, A.L. Wolf, and D. Yankelevich, "Static Checking of System Behaviors Using Derived Component Assumptions", in ACM Trans, on Software Engineering and Methodology 9:239-272, 2000.
12. J. Magee and J. Kramer, "Concurrency: State Models & Java Programs", Wiley, 1999.
13. R. Milner, "Communication and Concurrency", Prentice Hall, 1989.
14. D.E. Perry and A.L. Wolf, "Foundations for the Study of Software Architecture", in ACM SIGSOFT Software Engineering Notes 17:40-52, 1992.
15. M. Shaw and D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall, 1996.
16. T. Yavuz-Kahveci and T. Bultan, "Specification, Verification, and Synthesis of Concurrency Control Components", in ACM SIGSOFT Software Engineering Notes 27:169-179, 2002.