Protocol specifications and component adaptors

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Protocol specifications and component adaptors

Full text

Pdf (426 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 19 , Issue 2 (March 1997) table of contents

Pages: 292 - 333

Year of Publication: 1997

ISSN:0164-0925

Authors

Daniel M. Yellin	IBM T. J. Watson Research Center, Yorktown Heights, NY
Robert E. Strom	IBM T. J. Watson Research Center, Yorktown Heights, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 161, Citation Count: 74

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/244795.244801 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Robert Allen , David Garlan, Formalizing architectural connection, Proceedings of the 16th international conference on Software engineering, p.71-80, May 16-21, 1994, Sorrento, Italy
	2	E. Arjomandi , W. O'Farrell , I. Kalas , G. Koblents , F. Ch. Eigler , G. R. Gao, ABC++: concurrency by inheritance in C++, IBM Systems Journal, v.34 n.1, p.120-137, 1995
	3	Ken Arnold , James Gosling, The Java programming language (2nd ed.), ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
	4	AUERBACH, J. S., GOLDBERG, A. P., GOLDSZMIDT, G. S., GOPAL, A. S., KENNEDY, M. T., RAO, J. R., AND RUSSELL, J. R. 1994. Concert/C: A language for distributed programming. In Winter 1994 USE, NIX Conference. USENIX Assoc., Berkeley, Calif.
	5	Daniel Brand , Pitro Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM (JACM), v.30 n.2, p.323-342, April 1983 [doi>10.1145/322374.322380]
	6	BROCKSCHMIDT, K. 1994. Inside OLE,2. Microsoft Press, Redmond, Wash.
	7	Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
	8	DIGITALK. 1993. PARTS Workbench User's Guide. Digitalk, Sunnyvale, Calif.
	9	David Garlan , Robert Allen , John Ockerbloom, Architectural mismatch or why it's hard to build systems out of existing parts, Proceedings of the 17th international conference on Software engineering, p.179-185, April 24-28, 1995, Seattle, Washington, United States [doi>10.1145/225014.225031]
	10	M. G. Gouda , E. M. Gurari , T. H. Lai , L. E. Rosier, On deadlock detection in systems of communicating finite state machines, Computers and Artificial Intelligence, v.6 n.3, p.209-228, July 1987
	11	M G Gouda , E G Manning , Y T Yu, On the progress of communication between two finite state machines, Information and Control, v.63 n.3, p.200-216, Dec. 1986 [doi>10.1016/S0019-9958(84)80014-5]
	12	HUYNH, T., JUTLA, C., LOWRY, A., STROM, R., AND YELLIN, D. 1994. The global desktop: A graphical composition environment for local and distributed applications. In Programming Technology Forum, R. Pinter, Ed. IBM, Armonk, N.Y.
	13	IBM. 1993. SOMobjects Developer Toolkit Users Guide, Version 2.0. IBM, Armonk, N.Y.
	14	IBM. 1994. VisualAge User's Guide and Reference. IBM, Armonk, N.Y.
	15	KAM, J. B. AND ULLMAN, J. D. 1977. Monotone data flow anMysis frameworks. Acta Inf. 7, 305-317.
	16	Gary A. Kildall, A unified approach to global program optimization, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.194-206, October 01-03, 1973, Boston, Massachusetts [doi>10.1145/512927.512945]
	17	Dimitri Konstantas, Object Oriented Interoperability, Proceedings of the 7th European Conference on Object-Oriented Programming, p.80-102, July 26-30, 1993
	18	S. S. Lam, Protocol Conversion, IEEE Transactions on Software Engineering, v.14 n.3, p.353-362, March 1988 [doi>10.1109/32.4655]
	19	David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995 [doi>10.1109/32.385971]
	20	Oscar Nierstrasz, Regular types for active objects, ACM SIGPLAN Notices, v.28 n.10, p.1-15, Oct. 1, 1993
	21	K Okumura, A formal protocol conversion method, Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, p.30-37, August 05-07, 1986, Stowe, Vermont, United States
	22	PINTADO, X. AND JUNOD, B. 1992. Gluons: Support for software component cooperation. In Object Frameworks, D. Tsichritzis, Ed. Universite De Geneve, Switzerland.
	23	James M. Purtilo , Joanne M. Atlee, Module reuse by interface adaptation, Software—Practice & Experience, v.21 n.6, p.539-556, June 1991 [doi>10.1002/spe.4380210602]
	24	James R. Russell , Robert E. Strom , Daniel M. Yellin, A checkable interface language for pointer-based structures, ACM SIGPLAN Notices, v.29 n.8, p.59-73, Aug. 1994
	25	SHU, J. AND LIU, M. 1989. A synchronization model for protocol conversion. In Proceedings of IEEE Infocom 89. IEEE, New York.
	26	R E Strom , S Yemini, Typestate: A programming language concept for enhancing software reliability, IEEE Transactions on Software Engineering, v.12 n.1, p.157-171, Jan. 1986
	27	Robert E. Strom , David F. Bacon , Arthur P. Goldberg , Andy Lowry , Daniel M. Yellin , Shaula Alexander Yemini, Hermes: a language for distributed computing, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	28	R. E. Strom , D. M. Yellin, Extending Typestate Checking Using Conditional Liveness Analysis, IEEE Transactions on Software Engineering, v.19 n.5, p.478-485, May 1993 [doi>10.1109/32.232013]
	29	Satish R. Thatté, Automated synthesis of interface adapters for reusable classes, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.174-187, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177850]
	30	UDELL, J. 1994. Componentware. BYTE 19, 5 (May).
	31	Jan van den Bos , Chris Laffra, PROCOL: a concurrent object-oriented language with protocols delegation and constraints, Acta Informatica, v.28 n.6, p.511-538, Sept. 1991 [doi>10.1007/BF01463943]
	32	Gio Wiederhold, Mediators in the Architecture of Future Information Systems, Computer, v.25 n.3, p.38-49, March 1992 [doi>10.1109/2.121508]

CITED BY 74

	Luca de Alfaro , Thomas A. Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Paolo A. G. Sivilotti , Charles P. Giles, The specification of distributed objects: liveness and locality, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.11, November 08-11, 1999, Mississauga, Ontario, Canada
	Eric Wohlstadter , Stoney Jackson , Premkumar Devanbu, Generating wrappers for command line programs: the Cal-Aggie Wrap-O-Matic project, Proceedings of the 23rd International Conference on Software Engineering, p.243-252, May 12-19, 2001, Toronto, Ontario, Canada
	David Mandelin , Lin Xu , Rastislav Bodík , Doug Kimelman, Jungloid mining: helping to navigate the API jungle, ACM SIGPLAN Notices, v.40 n.6, June 2005
	Sergey Melnik , Hector Garcia-Molina , Andreas Paepcke, A mediation infrastructure for digital library services, Proceedings of the fifth ACM conference on Digital libraries, p.123-132, June 02-07, 2000, San Antonio, Texas, United States
	Heinz W. Schmidt , Ralf H. Reussner, Generating adapters for concurrent component protocol synchronisation, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, p.213-229, March 20-22, 2002
	David Rine, Human exploration and development of space: using XML database space wide web, Information Sciences—Informatics and Computer Science: An International Journal, v.150 n.3-4, p.123-151, April 2003
	Dieter Fensel , Enrico Motta , Frank van Harmelen , V. Richard Benjamins , Monica Crubezy , Stefan Decker , Mauro Gaspari , Rix Groenboom , William Grosso , Mark Musen , Enric Plaza , Guus Schreiber , Rudi Studer , Bob Wielinga, The unified problem-solving method development language UPML, Knowledge and Information Systems, v.5 n.1, p.83-131, March 2003
	Ralf H. Reussner, Automatic component protocol adaptation with the CoConut/J tool suite, Future Generation Computer Systems, v.19 n.5, p.627-639, July 2003
	D. Fensel , E. Motta, Structured Development of Problem Solving Methods, IEEE Transactions on Knowledge and Data Engineering, v.13 n.6, p.913-932, November 2001
	Andrea Bracciali , Antonio Brogi , Carlos Canal, A formal approach to component adaptation, Journal of Systems and Software, v.74 n.1, p.45-54, January 2005
	Kam Hay Fung , Graham Low , Pradeep Kumar Ray, Embracing Dynamic Evolution in Distributed Systems, IEEE Software, v.21 n.2, p.49-55, March 2004
	Carlos Canal , Lidia Fuentes , Ernesto Pimentel , José M. Troya , Antonio Vallecillo, Adding Roles to CORBA Objects, IEEE Transactions on Software Engineering, v.29 n.3, p.242-260, March 2003
	Robert J. Walker , Kevin Viggers, Implementing protocols via declarative event patterns, ACM SIGSOFT Software Engineering Notes, v.29 n.6, November 2004
	Frantisek Plasil , Stanislav Visnovsky, Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, v.28 n.11, p.1056-1076, November 2002
	Péter Arató , Zoltán Ádám Mann , András Orbán, Extending component-based design with hardware components, Science of Computer Programming, v.56 n.1-2, p.23-39, April 2005
	Yan Jin , Robert Esser , Charles Lakos, Lightweight consistency analysis of dataflow process networks, Proceedings of the twenty-sixth Australasian conference on Computer science: research and practice in information technology, p.291-300, February 01, 2003, Adelaide, Australia
	Brahim Medjahed , Athman Bouguettaya, A Multilevel Composability Model for Semantic Web Services, IEEE Transactions on Knowledge and Data Engineering, v.17 n.7, p.954-968, July 2005
	Ziyang Duan , Arthur Bernstein , Philip Lewis , Shiyong Lu, A model for abstract process specification, verification and composition, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA
	Antonio Brogi , Carlos Canal , Ernesto Pimentel, On the semantics of software adaptation, Science of Computer Programming, v.61 n.2, p.136-151, July 2006
	Boualem Benatallah , Hamid Reza Motahari-Nezhad, ServiceMosaic project: modeling, analysis and management of web services interactions, Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling, p.7-9, January 16-19, 2006, Hobart, Australia
	Rylan Cottrell , Robert J. Walker , Jörg Denzinger, Jigsaw: a tool for the small-scale reuse of source code, Companion of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Wenpin Jiao , Hong Mei, Supporting high interoperability of components by adopting an agent-based approach, Software Quality Control, v.15 n.3, p.283-307, September 2007
	José Geraldo R. Junior , Glauber Tadeu S. Carmo , Marco Tulio O. Valente, Invocation of replicated web services using smart proxies, Proceedings of the 12th Brazilian symposium on Multimedia and the web, November 19-22, 2006, Natal, Rio Grande do Norte, Brazil
	Boualem Benatallah , Fabio Casati , Farouk Toumani, Representing, analysing and managing web service protocols, Data & Knowledge Engineering, v.58 n.3, p.327-357, September 2006
	Antonio Bucchiarone , Andrea Polini , Patrizio Pelliccione , Massimo Tivoli, Towards an architectural approach for the dynamic and automatic composition of software components, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, p.12-21, July 17-20, 2006, Portland, Maine
	Alan Colman , Jun Han, Using role-based coordination to achieve software adaptability, Science of Computer Programming, v.64 n.2, p.223-245, January, 2007
	Matteo Baldoni , Cristina Baroglio , Amit K. Chopra , Nirmit Desai , Viviana Patti , Munindar P. Singh, Choice, interoperability, and conformance in interaction protocols and service choreographies, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, May 10-15, 2009, Budapest, Hungary
	José Antonio Martín , Ernesto Pimentel, Automatic Generation of Adaptation Contracts, Electronic Notes in Theoretical Computer Science (ENTCS), v.229 n.2, p.115-131, July, 2009
	Pascal André , Gilles Ardourel , Christian Attiogbé, Adaptation for Hierarchical Components and Services, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.5-20, July, 2007
	Antonio Brogi , Javier Cámara , Carlos Canal , Javier Cubo , Ernesto Pimentel, Dynamic Contextual Adaptation, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.2, p.81-95, June, 2007
	Massimo Tivoli , Paola Inverardi, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, v.71 n.3, p.181-212, May, 2008
	Javier Cubo , Gwen Salaün , Carlos Canal , Ernesto Pimentel , Pascal Poizat, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Electronic Notes in Theoretical Computer Science (ENTCS), 215, p.39-55, June, 2008
	Mathieu Braem , Niels Joncheere , Wim Vanderperren , Ragnhild Van Der Straeten , Viviane Jonckers, Concern-Specific Languages in a Visual Web Service Creation Environment, Electronic Notes in Theoretical Computer Science (ENTCS), v.163 n.2, p.3-17, April, 2007
	Antonio Brogi , Carlos Canal , Ernesto Pimentel, Behavioural Types for Service Integration: Achievements and Challenges, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.41-54, June, 2007
	Pascal Poizat , Gwen Salaün , Massimo Tivoli, An Adaptation-based Approach to Incrementally Build Component Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 182, p.155-170, June, 2007
	Niels Joncheere, The service creation environment: a telecom case study, Proceedings of the 5th workshop on Engineering properties of languages and aspect technologies, p.4-es, March 12-16, 2007, Vancouver, British Columbia, Canada
	Javier Cámara , Carlos Canal , Javier Cubo , Juan Manuel Murillo, An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.21-34, July, 2007
	Lidia Fuentes , Pablo Sánchez, Aspect-Oriented Coordination, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.87-103, July, 2007
	Christophe Sibertin-Blanc , Philippe Mauran , Gérard Padiou, Safe Adaptation of Component Coordination, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.69-85, July, 2007
	Hamid Reza Motahari Nezhad , Boualem Benatallah , Axel Martens , Francisco Curbera , Fabio Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada
	Antonio Vallecillo , Vasco T. Vasconcelos , António Ravara, Typing the Behavior of Software Components using Session Types, Fundamenta Informaticae, v.73 n.4, p.583-598, December 2006
	Marco Autili , Paola Inverardi , Alfredo Navarra , Massimo Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, Proceedings of the 29th International Conference on Software Engineering, p.784-787, May 20-26, 2007
	Heinz Schmidt , Iman Poernomo , Ralf Reussner, Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures, Journal of Integrated Design & Process Science, v.5 n.3, p.25-51, August 2001
	Quoc Bao Vo , Lin Padgham, A Component-Based Approach to Automated Web Service Composition, Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence, p.657-661, December 18-22, 2006
	Benedikt Kratz , Ralf Reussner , Willem-Jan van den Heuvel, Empirical Research Similarity Metrics For Software Component Interfaces, Journal of Integrated Design & Process Science, v.8 n.4, p.1-17, December 2004
	Andrzej Wasylkowski , Andreas Zeller , Christian Lindig, Detecting object usage anomalies, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
	Dieter Fensel , Rix Groenboom, A software architecture for knowledge-based systems, The Knowledge Engineering Review, v.14 n.2, p.153-173, August 1999
	Danny Dig , Stas Negara , Vibhu Mohindra , Ralph Johnson, ReBA: refactoring-aware binary adaptation of evolving libraries, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Willem-Jan van den Heuvel , H. Weigand , Marcel Hiel, Configurable adapters: the substrate of self-adaptive web services, Proceedings of the ninth international conference on Electronic commerce, August 19-22, 2007, Minneapolis, MN, USA
	Radu Mateescu , Pascal Poizat , Gwen Salaün, Behavioral adaptation of component compositions based on process algebra encodings, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Stephen Kell, Rethinking software connectors, International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, p.1-12, September 03-04, 2007, Dubrovnik, Croatia
	Jos de Bruijn , Ruben Lara , Sinuhe Arroyo , Juan Miguel Gomez , Sung-Kook Han , Dieter Fensel, A unified Semantic Web services architecture based on WSMF and UPML, International Journal of Web Engineering and Technology, v.2 n.2/3, p.148-180, December 2005
	Dave Clarke, A Basic Logic for Reasoning about Connector Reconfiguration, Fundamenta Informaticae, v.82 n.4, p.361-390, February 2008
	Marco Autili , Leonardo Mostarda , Alfredo Navarra , Massimo Tivoli, Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems, Journal of Systems and Software, v.81 n.12, p.2210-2236, December, 2008
	Javier Cámara , Carlos Canal , Gwen Salaün, Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 215, p.111-130, June, 2008
	Patrizio Pelliccione , Massimo Tivoli , Antonio Bucchiarone , Andrea Polini, An architectural approach to the correct and automatic assembly of evolving component-based systems, Journal of Systems and Software, v.81 n.12, p.2237-2251, December, 2008
	Patrizio Pelliccione , Massimo Tivoli , Antonio Bucchiarone , Andrea Polini, An architectural approach to the correct and automatic assembly of evolving component-based systems, Journal of Systems and Software, v.81 n.12, p.2237-2251, December, 2008
	Amit K. Chopra, Business process interoperability: extended abstract, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program, p.1730-1731, May 12-16, 2008, Estoril, Portugal
	Rylan Cottrell , Robert J. Walker , Jörg Denzinger, Semi-automating small-scale source code reuse via structural correspondence, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Ilie Şavga , Michael Rudolf , Sebastian Götz , Uwe Aßmann, Practical refactoring-based framework upgrade, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Amit K. Chopra , Munindar P. Singh, Constitutive interoperability, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, May 12-16, 2008, Estoril, Portugal
	Roman Vaculin , Roman Neruda , Katia Sycara, The process mediation framework for semantic web services, International Journal of Agent-Oriented Software Engineering, v.3 n.1, p.27-58, February 2009
	Qing Li , An Liu , Hai Liu , Baoping Lin , Liusheng Huang , Naijie Gu, Web services provision: solutions, challenges and opportunities (invited paper), Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, January 15-16, 2009, Suwon, Korea
	Fabricio Fernandes , Robin Passama , Jean-Claude Royer, Event strictness for components with complex bindings, Proceeding of the 2nd annual conference on India software engineering conference, February 23-26, 2009, Pune, India
	Farhad Arbab , Meng Sun , Christel Baier, Synthesis of Reo Circuits from Scenario-based Specifications, Electronic Notes in Theoretical Computer Science (ENTCS), v.229 n.2, p.21-41, July, 2009
	Franz Puntigam, Synchronization as a Special Case of Access Control, Electronic Notes in Theoretical Computer Science (ENTCS), 241, p.113-133, July, 2009
	Lars Gesellensetter , Sabine Glesner, Only the Best Can Make It: Optimal Component Selection, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.2, p.105-124, May, 2007
	José Antonio Martín , Ernesto Pimentel, Dinapter: Automatic Adapter Specification for Software Composition, Electronic Notes in Theoretical Computer Science (ENTCS), 248, p.161-171, August, 2009
	Franz Puntigam, Interfaces of active objects with internal concurrency, Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century, p.1-5, July 06-10, 2009, Genova, Italy
	R. Seguel , R. Eshuis , P. Grefen, Constructing minimal protocol adaptors for service composition, Proceedings of the 4th Workshop on Emerging Web Services Technology, p.29-38, November 09-09, 2009, Eindhoven, The Netherlands
	Stephen Kell, The mythical matched modules: overcoming the tyranny of inflexible software construction, Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, October 25-29, 2009, Orlando, Florida, USA
	Francisco Durán , Meriem Ouederni , Gwen Salaün, Checking Protocol Compatibility using Maude, Electronic Notes in Theoretical Computer Science (ENTCS), 255, p.65-81, November, 2009
	Cécile Hardebolle , Frédéric Boulanger, Exploring Multi-Paradigm Modeling Techniques, Simulation, v.85 n.11-12, p.688-708, November 2009