Application-Layer Connector Synthesis
暂无分享,去创建一个
Paola Inverardi | Massimo Tivoli | Romina Spalazzese | P. Inverardi | Romina Spalazzese | Massimo Tivoli
[1] Simon S. Lam. Correction to "Protocol Conversion" , 1988, IEEE Trans. Software Eng..
[2] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .
[3] Carlos Canal,et al. Model-Based Adaptation of Behavioral Mismatching Components , 2008, IEEE Transactions on Software Engineering.
[4] Boualem Benatallah,et al. Protocol-aware matching of web service interfaces for adapter development , 2010, WWW '10.
[5] Peyman Oreizy,et al. Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.
[6] Stephen Kell,et al. Rethinking software connectors , 2007, SYANCO '07.
[7] Pascal Fradet,et al. Adaptor Synthesis for Real-Time Components , 2007, TACAS.
[8] Sebastián Uchitel,et al. A workbench for synthesising behaviour models from scenarios , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[9] Alberto L. Sangiovanni-Vincentelli,et al. Convertibility verification and converter synthesis: two faces of the same coin , 2002, ICCAD 2002.
[10] Antonio Bucchiarone,et al. An architectural approach to the correct and automatic assembly of evolving component-based systems , 2008, J. Syst. Softw..
[11] Paul E. Green. Protocol Conversion , 1986, IEEE Trans. Commun..
[12] Armando Fox,et al. Interoperability Among Independently Evolving Web Services , 2004, Middleware.
[13] Alberto L. Sangiovanni-Vincentelli,et al. Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces] , 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
[14] Zhiming Liu,et al. Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers , 2005, ICTAC.
[15] Fabio Casati,et al. Semi-automated adaptation of service interactions , 2007, WWW '07.
[16] Douglas C. Schmidt,et al. Ultra-Large-Scale Systems: The Software Challenge of the Future , 2006 .
[17] Kenneth L. Calvert,et al. Formal Methods for Protocol Conversion , 1990, IEEE J. Sel. Areas Commun..
[18] Michel Wermelinger,et al. Connectors for Mobile Programs , 1998, IEEE Trans. Software Eng..
[19] Katia P. Sycara,et al. Towards automatic mediation of OWL-S process models , 2007, IEEE International Conference on Web Services (ICWS 2007).
[20] Grzegorz Rozenberg. Advances in Petri Nets 1993 , 1991, Lecture Notes in Computer Science.
[21] Mary Shaw,et al. An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.
[22] Antonio Brogi,et al. A formal approach to component adaptation , 2005, J. Syst. Softw..
[23] Roman Neruda,et al. An Agent for Asymmetric Process Mediation in Open Environments , 2008, SOCASE.
[24] Michel Wermelinger,et al. Higher-order architectural connectors , 2003, TSEM.
[25] Sebastián Uchitel,et al. Detecting implied scenarios in message sequence chart specifications , 2001, ESEC/FSE-9.
[26] Paola Inverardi,et al. Mediating Connector Patterns for Components Interoperability , 2010, ECSA.
[27] Giovanni Denaro,et al. Ensuring interoperable service-oriented systems through engineered self-healing , 2009, ESEC/FSE '09.
[28] Nenad Medvidovic,et al. High Performance Software Architectures: A Connector-Oriented Approach , 2006 .
[29] Henry Muccini,et al. CHARMY: A Framework for Designing and Verifying Architectural Specifications , 2009, IEEE Transactions on Software Engineering.
[30] Frank Buschmann,et al. A system of patterns , 1995 .
[31] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[32] Shing-Chi Cheung,et al. Behaviour Analysis of Distributed Systems Using the Tracta Approach , 2004, Automated Software Engineering.
[33] Zakaria Maamar,et al. Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings , 2007, SOCASE.
[34] David Garlan,et al. A compositional formalization of connector wrappers , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[35] Valérie Issarny,et al. Towards a formalization of mediating connectors for on the fly interoperability , 2009, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture.
[36] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[37] Christel Baier,et al. Syanco 2007: international workshop on synthesis and analysis of component connectors , 2007, ESEC-FSE '07.
[38] Marlon Dumas,et al. Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation , 2006, Business Process Management.
[39] Amit P. Sheth,et al. Semantic Interoperability and Integration , 2005, Semantic Interoperability and Integration.
[40] Valérie Issarny,et al. A Theory of Mediators for Eternal Connectors , 2010, ISoLA.
[41] Paola Inverardi,et al. Components Interoperability through Mediating Connector Patterns , 2010, WCSI.
[42] Steven A. Battle,et al. Protocol Mediation for Adaptation in Semantic Web Services , 2006, ESWC.
[43] Marc Pouzet,et al. Synchronization of periodic clocks , 2005, EMSOFT.
[44] M. Weiser,et al. Hot topics-ubiquitous computing , 1993 .
[45] Fabio Casati,et al. Developing Adapters for Web Services Integration , 2005, CAiSE.
[46] Adrian Mocan,et al. WSMX Process Mediation Based on Choreographies , 2005, Business Process Management Workshops.
[47] Guido Governatori,et al. Compliance aware business process design , 2008 .
[48] Feng Jiang,et al. Rule-Based Automatic Generation of Mediator Patterns for Service Composition Mismatches , 2008, 2008 The 3rd International Conference on Grid and Pervasive Computing - Workshops.
[49] André Arnold,et al. Finite transition systems , 1994 .
[50] Lora Aroyo,et al. The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.
[51] Howard Barringer,et al. Component Verification with Automatically Generated Assumptions , 2005, Automated Software Engineering.
[52] Gio Wiederhold,et al. Mediators in the architecture of future information systems , 1992, Computer.
[53] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[54] Alexander L. Wolf,et al. Software architecture , 2001 .
[55] Dieter Fensel,et al. A Semantic Web Mediation Architecture , 2006, CSWWS.
[56] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[57] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[58] Stephen M. Watt. Algebraic generalization , 2005, SIGS.
[59] Paola Inverardi,et al. Failure-free coordinators synthesis for component-based architectures , 2008, Sci. Comput. Program..
[60] Mark Weiser,et al. The computer for the 21st Century , 1991, IEEE Pervasive Computing.
[61] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[62] Matteo Pradella,et al. An Automatic Approach to Enable Replacement of Conversational Services , 2009, ICSOC/ServiceWave.
[63] Valérie Issarny,et al. On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring , 2010, ISoLA.
[64] Peter Sommerlad,et al. Pattern-Oriented Software Architecture , 1996 .
[65] Romina Spalazzese,et al. A Theory of Mediating Connectors to achieve Interoperability , 2011 .
[66] Peter Sommerlad,et al. Pattern-Oriented Software Architecture Volume 1: A System of Patterns , 1996 .
[67] Luís Soares Barbosa,et al. Specifying Software Connectors , 2004, ICTAC.
[68] Jian Wang,et al. A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation , 2008, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008).
[69] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[70] Paola Inverardi,et al. SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems , 2007, 29th International Conference on Software Engineering (ICSE'07).
[71] Daniel M. Yellin,et al. Protocol specifications and component adaptors , 1997, TOPL.
[72] Gordon Plotkin,et al. A Note on Inductive Generalization , 2008 .
[73] P. S. Thiagarajan,et al. Message Sequence Charts , 2003, UML for Real.
[74] Robert M. Keller,et al. Formal verification of parallel programs , 1976, CACM.
[75] Yérom-David Bromberg,et al. Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability , 2011, SFM.
[76] Massimo Tivoli,et al. SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors , 2006, Obj. Logiciel Base données Réseaux.
[77] Nenad Medvidovic,et al. Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[78] Paola Inverardi,et al. Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting , 1995, Theor. Comput. Sci..
[79] Ratnesh Kumar,et al. A Discrete Event Systems Approach for Protocol Conversion , 1997, Discret. Event Dyn. Syst..
[80] Kaoru Okumura. A formal protocol conversion method , 1986, SIGCOMM '86.
[81] Michael R. Genesereth,et al. The Conceptual Basis for Mediation Services , 1997, IEEE Expert.
[82] W. Wonham,et al. Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..
[83] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[84] Alain Finkel,et al. The Minimal Coverability Graph for Petri Nets , 1991, Applications and Theory of Petri Nets.
[85] Alfredo Navarra,et al. Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems , 2008, J. Syst. Softw..
[86] Dušan Bálek,et al. Connectors in Software Architectures , 2002 .
[87] Michael Koch,et al. Ubiquitous Computing , 2001, CSCW-Kompendium.
[88] Roberto Bruni,et al. A basic algebra of stateless connectors , 2006, Theor. Comput. Sci..
[89] Paola Inverardi,et al. A Comprehensive Setting for Matching and Unification over Iterative Terms , 1999, Fundam. Informaticae.
[90] Mark Weiser. The computer for the 21st century , 1991 .
[91] David Garlan,et al. Compositional transformation of software connectors , 2004 .
[92] Yannis Kalfoglou,et al. Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.