Conformance notions for the coordination of interaction components

Szyperski, 2002 Mahoney, 1990, The roots of software engineering, CWI Quarterly, 3, 325 B. Spitznagel, Compositional transformation of software connectors, Ph.D. thesis, Carnegie Mellon University, number: CMUCS04128, May 2004 Papadopoulos, 1998, Coordination models and languages, Advances in Computers, 46, 330 Hepner, 2006, Patterns of conflict among software components, Journal of Systems & Software, 79, 537, 10.1016/j.jss.2005.11.211 Mattsson, 1999, Framework integration problems, causes, solutions, Communications of the ACM, 42, 80, 10.1145/317665.317679 Crnkovic, 2005, Concerning predictability in dependable component-based systems: Classification of quality attributes, vol. 3549, 257 Leveson, 1995 Shukla, 2002, Structured component composition frameworks for embedded system design, vol. 2552, 663 Lau, 1999, OOD frameworks in component-based software—Development in computational logic, vol. 1559, 101 Brogi, 2006, Component adaptation through flexible subservicing, Science of Computing Programming, 63, 39, 10.1016/j.scico.2005.07.012 Vallecillo, 2006, Typing the behavior of software components using session types, Fundamenta Informaticae, 73, 583 Ramos, 2008, Framework composition conformance via refinement checking, 119 Roscoe, 1998 Formal-Systems, Failures divergence refinement: Fdr2 user manual, 2005 R. Allen, A formal approach to software architecture, Ph.D. thesis, Carnegie Mellon, School of Computer Science, issued as CMU Technical Report CMUU-CS-97-144, 1997 Arbab, 2006, Coordination for component composition, Electronic Notes in Theoretical Computer Science, 160, 15, 10.1016/j.entcs.2006.05.013 Autili, 2007, SYNTHESIS: A tool for automatically assembling correct and distributed component-based systems, 784 Fowler, 2003 Hohpe, 2003 Buschmann, 1996 Gamma, 1995 van der Aalst, 2003, Workflow patterns, Distributed and Parallel Databases, 14, 5, 10.1023/A:1022883727209 Malone, 1997, Free on the range, IEEE Computer Society, 1, 8, 10.1109/MIC.1997.589190 X. Fu, T. Bultan, J. Su, Analysis of interacting BPEL web services, in: ACM International World Wide Web Conference, 2004, pp. 621–630 Matougui, 2005, How to implement software connectors? A reusable, abstract and adaptable connector, vol. 3543, 83 Mesquita, 2005, A strategy for the formal composition of frameworks, 404 Crnkovic, 2002, Specification, implementation and deployment of components, Communications of the ACM, 45, 35, 10.1145/570907.570928 Broy, 1998, What characterizes a software component, Software Concepts & Tools, 19, 49, 10.1007/s003780050007 Medvidovic, 2000, A classification and comparison framework for software architecture description languages, Transactions on Software Engineering, 26, 70, 10.1109/32.825767 OMG, UML 2.0 Infrastructure Specification, Object Management Group, oMG Adopted Specification. Available at http://www.omg.org/uml, 2003 Roshandel, 2004, Multi-view software component modelling for dependability, vol. 3069, 286 Ramos, 2005, A semantics for UML-RT active classes via mapping into circus, vol. 3535, 99 He, 2006, A theory of reactive components, Electronic Notes in Theoretical Computer Science, 160, 173, 10.1016/j.entcs.2006.05.022 K.C. Wallnau, Volume III: A technology for predictable assembly from certifiable components, Tech. Rep. CMU/SEI-2003-TR-009, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 2003 Shaw, 1997, A field guide to boxology, 6 Bracciali, 2001, Coordinating interaction patterns, 159 Gray, 1993 Liskov, 1994, A behavioral notion of subtyping, ACM, 16, 1811 Wehrheim, 2003, Behavioral subtyping relations for active objects, Formal Methods in System Design, 23, 143, 10.1023/A:1024764232069 Fournet, 2004, Stuck-free conformance, vol. 3114, 242 Keshav, 1998, Towards a taxonomy of architecture integration strategies, 89 Schmidt, 2000 Mehta, 2000, Towards a taxonomy of software connectors, 178 M. Mattsson, Evolution and composition of object-oriented frameworks, Ph.D. thesis, Department of Software Engineering and Computer Science, University of Karlskrona/Ronneby, Sweden, 2000 X. Chen, J. He, Z. Liu, Component Coordination in rCOS, Tech. Rep. 335, International Institute for Software Technology, United Nations University, P.O.Box 3058, Macau, 2006 Chen, 2007, A model of component-based programming, vol. 4767, 191 Brogi, 2004, Measuring component adaptation, vol. 29–49, 71