article

Open access

Protocol specifications and component adaptors

Editor: Andrew W. Appel Authors:

Daniel M. Yellin,

Robert E. StromAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 19, Issue 2

Pages 292 - 333

https://doi.org/10.1145/244795.244801

Published: 03 March 1997 Publication History

PDF eReader

References

[1]

ALLEN, R. AND GARLAN, D. 1994. Formalizing architectural connection. In Proceedings of the 16th International Conference on Software Engineering. IEEE, New York.]]

Crossref

Google Scholar

[2]

ARJOMANDI, E., O'FARRELL, W., KALAS, I., KOBLENTS, G., EIGLER, F., AND GAO, G. 1995. ABC++: Concurrency by inheritance in C++. IBM Syst. J. 34, 1.]]

Crossref

Google Scholar

[3]

ARNOLD, K. AND GOSLING, J. 1996. The Java Programming Language. Addison Wesley, Reading, Mass.]]

Crossref

Google Scholar

[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.]]

Crossref

Google Scholar

[5]

BRAND, D. AND ZAFIROPULO, P. 1983. On communicating finite-state machines. J. ACM 30, 2 (Apr.), 323-342.]]

Crossref

Google Scholar

[6]

BROCKSCHMIDT, K. 1994. Inside OLE,2. Microsoft Press, Redmond, Wash.]]

Google Scholar

[7]

CAMPBELL, R. H. AND HABERMANN, A. N. 1974. The Specification of Process Synchronization by Path E,xpressions. Vol. 16. Springer-Verlag, Berlin, 89-102.]]

Crossref

Google Scholar

[8]

DIGITALK. 1993. PARTS Workbench User's Guide. Digitalk, Sunnyvale, Calif.]]

Google Scholar

[9]

GARLAN, D., ALLEN, R., AND OCKERBLOOM, J. 1995. Architectural mismatch or why its hard to build systems out of existing parts. In Proceedings of the 17th International Conference on Software E,ngineering. IEEE, New York.]]

Crossref

Google Scholar

[10]

GOUDA, M. G., GURARI, E. M., LAI, T., AND ROSIER, L. E. 1987. On deadlock detection in systems of communicating finite state machines. Comput. Artif. Intell. 6, 3, 209-228.]]

Crossref

Google Scholar

[11]

GOUDA, M. G., MANNING, E. G., AND Yu, Y. T. 1984. On the progess of communication between two finite-state machines. Inf. Control 63, 200-216.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[13]

IBM. 1993. SOMobjects Developer Toolkit Users Guide, Version 2.0. IBM, Armonk, N.Y.]]

Google Scholar

[14]

IBM. 1994. VisualAge User's Guide and Reference. IBM, Armonk, N.Y.]]

Google Scholar

[15]

KAM, J. B. AND ULLMAN, J. D. 1977. Monotone data flow anMysis frameworks. Acta Inf. 7, 305-317.]]

Google Scholar

[16]

KILDALL, G. t. 1973. A unified approach to global program optimization. In The 1st ACM Symposium on Principles of Programming Languages. ACM, New York, 194-206.]]

Crossref

Google Scholar

[17]

KONSTANTAS, D. 1993. Object oriented interoperability. In Visual Objects, D. Tsichritzis, Ed. Universite De Geneve, Switzerland. Also Appeared in ECOOP 93.]]

Crossref

Google Scholar

[18]

LAM, S. S. 1988. Protocol conversion. IE,E,E, Trans. Softw. Eng. 14, 3 (Mar.), 353-362.]]

Crossref

Google Scholar

[19]

LUCKHAM, D. C., I~ENNEY, J. J., AUGUSTIN, L. M., VERA, J., BRYAN, D., AND MANN, W. 1995. Specification and analysis of system architecture using Rapide. IEEE Trans. Softw. Eng. SE21, 4 (Apr.), 336-355.]]

Crossref

Google Scholar

[20]

NIERSTRASZ, O. 1993. Regular types for active objects. In OOPSLA '93 Conference Proceedings. ACM SIGPLAN Not. 25, 10 (Oct.).]]

Crossref

Google Scholar

[21]

OKUMURA, K. 1986. A formal protocol conversion method. In Proceedings of the ACM SIGCOMM '86 Symposium. ACM, New York, 30-37.]]

Crossref

Google Scholar

[22]

PINTADO, X. AND JUNOD, B. 1992. Gluons: Support for software component cooperation. In Object Frameworks, D. Tsichritzis, Ed. Universite De Geneve, Switzerland.]]

Google Scholar

[23]

PRTILO, J. M. AND ATLEE, J. A. 1991. Module reuse by interface adaption. Softw. Pract. Exper. 21, 6 (June).]]

Crossref

Google Scholar

[24]

RUSSELL, J., STROM, R. E., AND YELLIN, D. M. 1994. A checkable interface language for pointerbased structures. In ACM Workshop on Interface Languages. SIGPLAN Not. 29, 8 (Aug.).]]

Crossref

Google Scholar

[25]

SHU, J. AND LIU, M. 1989. A synchronization model for protocol conversion. In Proceedings of IEEE Infocom 89. IEEE, New York.]]

Google Scholar

[26]

STROM, R. AND gEMINI, S. 1986. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. SE12, 1 (Jan.), 157-171.]]

Crossref

Google Scholar

[27]

STROM, R. E., BACON, D. F., GOLDBERG, A., LOWRY, A., YELLIN, D., AND gEMINI, S. A. 1991. Hermes: A Language for Distributed Computing. Prentice-Hall, Englewood Cliffs, N.J.]]

Crossref

Google Scholar

[28]

STROM, R. E. AND YELLIN, D. M. 1993. Extending typestate checking using conditional liveness analysis. IEEE Trans. Softw. Eng. SE19, 5 (May), 478-485.]]

Crossref

Google Scholar

[29]

THATTE, S. 1994. Automated synthesis of interface adaptors for reuseable classes. In ACM SIGPLAN-SIGACT POPL '9g Conference Proceedings. ACM, New York, 174-187.]]

Crossref

Google Scholar

[30]

UDELL, J. 1994. Componentware. BYTE 19, 5 (May).]]

Google Scholar

[31]

VAN DEN BOS, J. AND LaFFRa, C. 1991. PROCOL - A concurrent object-oriented language with protocols delegation and constraints. Acta Inf. 28, 511-538.]]

Crossref

Google Scholar

[32]

WIEDERHOLD, G. 1992. Mediators in the architecture of future information systems. IEEE Cornput. lg, 3 (Mar.), 38-48.]]

Crossref

Google Scholar

Cited By

View all

Boltz NGetir Yaman SInverardi PDe Lemos RVan Landuyt DZisman ABaresi LMa XPasquale L(2024)Human empowerment in self-adaptive socio-technical systemsProceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3643915.3644082(200-206)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643915.3644082
Radja Hamli Chaoui AElmansouri RKhebizi A(2023)Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols EvolutionInternational Journal of Organizational and Collective Intelligence10.4018/ijoci.31844613:1(1-33)Online publication date: 17-Feb-2023
https://dl.acm.org/doi/10.4018/ijoci.318446
Mouakher IDhaou FAlsaidi S(2023)A Formal Approach to Component Adaptation with a Tool Support2023 3rd International Conference on Computing and Information Technology (ICCIT)10.1109/ICCIT58132.2023.10273983(160-166)Online publication date: 13-Sep-2023
https://doi.org/10.1109/ICCIT58132.2023.10273983
Show More Cited By

Recommendations

Research on the Method of Protocol Conversion of PROFIBUS and IPv6 Internet
ICEICE '12: Proceedings of the 2012 Second International Conference on Electric Information and Control Engineering - Volume 02

PROFIBUS and Internet are heterogeneous networks in different protocols. To realize PROFIBUS remote monitoring via internet, the protocol conversion is necessary. This paper proposes a method of protocol conversion between PROFIBUS and TCP/IP protocols. ...
Modelling and Conversion of Heterogeneous Modbus Protocols Based on UML and MySQL
CAIBDA '24: Proceedings of the 2024 4th International Conference on Artificial Intelligence, Big Data and Algorithms

With the development of industrial fieldbus technology, Modbus derives many different variants of protocols, and the communication between devices using different Modbus protocols faces certain challenges. In this paper, starting from the structure and ...
An efficient method for protocol conversion
ICCCN '95: Proceedings of the 4th International Conference on Computer Communications and Networks

Abstract: We propose an efficient algorithm for constructing optimized protocol converters to achieve interoperability between heterogeneous computer networks. This method first generates constraints from existing protocols and imposes them to channel ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 19, Issue 2

March 1997

190 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/244795

Editor:
Andrew W. Appel
Princeton Univ., Princeton, NJ

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 March 1997

Published in TOPLAS Volume 19, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

436
Total Citations
View Citations
2,283
Total Downloads

Downloads (Last 12 months)119
Downloads (Last 6 weeks)15

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Boltz NGetir Yaman SInverardi PDe Lemos RVan Landuyt DZisman ABaresi LMa XPasquale L(2024)Human empowerment in self-adaptive socio-technical systemsProceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3643915.3644082(200-206)Online publication date: 15-Apr-2024
https://dl.acm.org/doi/10.1145/3643915.3644082
Radja Hamli Chaoui AElmansouri RKhebizi A(2023)Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols EvolutionInternational Journal of Organizational and Collective Intelligence10.4018/ijoci.31844613:1(1-33)Online publication date: 17-Feb-2023
https://dl.acm.org/doi/10.4018/ijoci.318446
Mouakher IDhaou FAlsaidi S(2023)A Formal Approach to Component Adaptation with a Tool Support2023 3rd International Conference on Computing and Information Technology (ICCIT)10.1109/ICCIT58132.2023.10273983(160-166)Online publication date: 13-Sep-2023
https://doi.org/10.1109/ICCIT58132.2023.10273983
Qiao XSheng QChen W(2022)Handling Irreconcilable Mismatches in Web Services MediationService-Oriented Computing10.1007/978-3-662-45391-9_35(445-452)Online publication date: 11-Mar-2022
https://dl.acm.org/doi/10.1007/978-3-662-45391-9_35
Canal CSalaün G(2022)Adaptation of Asynchronously Communicating SoftwareService-Oriented Computing10.1007/978-3-662-45391-9_34(437-444)Online publication date: 11-Mar-2022
https://dl.acm.org/doi/10.1007/978-3-662-45391-9_34
Sharma VHietala KMcCamant S(2021)Finding Substitutable Binary Code By Synthesizing AdaptersIEEE Transactions on Software Engineering10.1109/TSE.2019.293100047:8(1626-1643)Online publication date: 1-Aug-2021
https://doi.org/10.1109/TSE.2019.2931000
Ouederni M(2021)Compatibility checking for asynchronously communicating softwareScience of Computer Programming10.1016/j.scico.2020.102569205(102569)Online publication date: May-2021
https://doi.org/10.1016/j.scico.2020.102569
Bennaceur AZisman AMcCormick CBarthaud DNuseibeh BLitoiu MClarke STei K(2019)Won't take no for an answerProceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2019.00019(77-88)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/SEAMS.2019.00019
Palm EPaniagua CBodin USchelen O(2019)Syntactic Translation of Message Payloads Between At Least Partially Equivalent Encodings2019 IEEE International Conference on Industrial Technology (ICIT)10.1109/ICIT.2019.8755159(812-817)Online publication date: Feb-2019
https://doi.org/10.1109/ICIT.2019.8755159
Paniagua CEliasson JDelsing J(2019)Interoperability Mismatch Challenges in Heterogeneous SOA-based Systems2019 IEEE International Conference on Industrial Technology (ICIT)10.1109/ICIT.2019.8754991(788-793)Online publication date: Feb-2019
https://doi.org/10.1109/ICIT.2019.8754991
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Research on the Method of Protocol Conversion of PROFIBUS and IPv6 Internet

Modelling and Conversion of Heterogeneous Modbus Protocols Based on UML and MySQL

An efficient method for protocol conversion