Preserving architectural properties in multithreaded code generation

Lecture Notes in Computer Science

Volumn 3454, Issue , 2005, Pages 188-203

  Bernardo, Marco ^a   Bontà, Edoardo ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CODES (SYMBOLS); COMPUTER ARCHITECTURE;

ARCHITECTURAL PROPERTIES; MULTITHREADED CODE GENERATION; SOFTWARE SYSTEMS; SYSTEM PROPERTIES;

COMPUTER SOFTWARE;

EID: 24644447088     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11417019_13     Document Type: Conference Paper

References (15)

1. A. Aldini and M. Bernardo, "On the Usability of Process Algebra: An Architectural View", to appear in Theoretical Computer Science.
2. J. Aldrich, C. Chambers, and D. Notkin, "ArchJava: Connecting Software Architecture to Implementation", in Proc. of the 24th Int. Conf. on Software Engineering (ICSE 2002), IEEE-CS Press, pp. 187-197, Orlando (FL), 2002.
3. R. Allen and D. Garlan, "A Formal Basis for Architectural Connection", in ACM Trans. on Software Engineering and Methodology 6:213-249, 1997.
4. M. Bernardo and E. Bontà, "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, P. Ciancarini, and L. Donatiello, "Architecting Families of Software Systems with Process Algebras", in ACM Trans. on Software Engineering and Methodology 11:386-426, 2002.
6. C. Canal, E. Pimentel, and J.M. Troya, "Compatibility and Inheritance in Software Architectures", in Science of Computer Programming 41:105-138, 2001.
7. D. Garlan, "Formal Modeling and Analysis of Software Architectures: Components, Connectors, and Events", in Formal Methods for Software Architectures, LNCS 2804:1-24, 2003.
8. R. Guimarães and W. Borelli, "An Automatic Java Code Generation Tool for Telecom Distributed Systems", in Proc. of the Int. Conf. on Software, Telecommunications and Computer Networks (SOFTCOM 2002), Split (Croatia), 2002.
9. 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.
10. 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.
11. J. Magee and J. Kramer, "Concurrency: State Models & Java Programs", Wiley, 1999.
12. N. Medvidovic, D.S. Rosenblum, and R.N. Taylor, "A Language and Environment for Architecture-Based Software Development and Evolution", in Proc. of the 21st Int. Conf. on Software Engineering (ICSE 1999), IEEE-CS Press, pp. 44-53, Los Angeles (CA), 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.