The Meta-Protocol framework
A communication protocol is a set of rules shared by two or more communicating parties on the sequence of operations and the format of messages to be exchanged. Standardization organizations define protocols in the form of recommendations (e.g., RFC) written in technical English, which requires a ma...
Saved in:
| Published in: | The Journal of systems and software Vol. 86; no. 11; pp. 2711 - 2724 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
New York
Elsevier Sequoia S.A
01-11-2013
|
| Subjects: | |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | A communication protocol is a set of rules shared by two or more communicating parties on the sequence of operations and the format of messages to be exchanged. Standardization organizations define protocols in the form of recommendations (e.g., RFC) written in technical English, which requires a manual translation of the specification into the protocol implementation. This human translation is error-prone due in part to the ambiguities of natural language and in part due to the complexity of some protocols. To mitigate these problems, we divided the expression of a protocol specification into two parts. First, we designed an XML-based protocol specification language (XPSL) that allows for the high-level specification of a protocol -- expressed as a Finite State Machine (FSM) -- using Component-Based Software Engineering (CBSE) principles. Then, the components required by the protocol are specified in any suitable technical language (formal or informal). In addition, we developed the multi-layer Meta-Protocol framework, which allows for on-the-fly protocol discovery and negotiation, distribution of protocol specifications and components, and automatic protocol implementation in any programming language. [PUBLICATION ABSTRACT] |
|---|---|
| AbstractList | A communication protocol is a set of rules shared by two or more communicating parties on the sequence of operations and the format of messages to be exchanged. Standardization organizations define protocols in the form of recommendations (e.g., RFC) written in technical English, which requires a manual translation of the specification into the protocol implementation. This human translation is error-prone due in part to the ambiguities of natural language and in part due to the complexity of some protocols. To mitigate these problems, we divided the expression of a protocol specification into two parts. First, we designed an XML-based protocol specification language (XPSL) that allows for the high-level specification of a protocol -- expressed as a Finite State Machine (FSM) -- using Component-Based Software Engineering (CBSE) principles. Then, the components required by the protocol are specified in any suitable technical language (formal or informal). In addition, we developed the multi-layer Meta-Protocol framework, which allows for on-the-fly protocol discovery and negotiation, distribution of protocol specifications and components, and automatic protocol implementation in any programming language. [PUBLICATION ABSTRACT] A communication protocol is a set of rules shared by two or more communicating parties on the sequence of operations and the format of messages to be exchanged. Standardization organizations define protocols in the form of recommendations (e.g., RFC) written in technical English, which requires a manual translation of the specification into the protocol implementation. This human translation is error-prone due in part to the ambiguities of natural language and in part due to the complexity of some protocols. To mitigate these problems, we divided the expression of a protocol specification into two parts. First, we designed an XML-based protocol specification language (XPSL) that allows for the high-level specification of a protocolaexpressed as a Finite State Machine (FSM)ausing Component-Based Software Engineering (CBSE) principles. Then, the components required by the protocol are specified in any suitable technical language (formal or informal). In addition, we developed the multi-layer Meta-Protocol framework, which allows for on-the-fly protocol discovery and negotiation, distribution of protocol specifications and components, and automatic protocol implementation in any programming language. |
| Author | Abdullah, Ibrahim S. Menascé, Daniel A. |
| Author_xml | – sequence: 1 givenname: Ibrahim S. surname: Abdullah fullname: Abdullah, Ibrahim S. – sequence: 2 givenname: Daniel A. surname: Menascé fullname: Menascé, Daniel A. |
| BookMark | eNpdkD1PwzAURS1UJNrCD0AslVhYEt57jmNnRBVfUhEMZbYcY4uGNC52KsS_xxVMTPcOR0_vnhmbDGFwjJ0jlAhYX3dll1JJgLwEUUJTH7EpKskLJFITNs1MlTvSCZul1AGAJKApu1i_u8WTG03xEsMYbOgXPpqt-wrx45Qde9Mnd_aXc_Z6d7tePhSr5_vH5c2qsBxwLEzbtNbX1FglW8Er31SGC1FLkrk5SRVZ56xreQteCakUvTUIFXeeCLzhc3b1e3cXw-fepVFvN8m6vjeDC_uksZYoqrxNZfTyH9qFfRzydxorThwUiTpT-EvZGFKKzutd3GxN_NYI-qBLdzrr0gddGoTOuvgPuZBdfg |
| CODEN | JSSODM |
| Cites_doi | 10.1016/0169-7552(89)90078-0 10.1109/MC.2003.1244536 10.1145/332051.332074 10.1109/6046.944478 10.1109/32.67579 10.3233/JCS-2001-91-203 10.1109/TNET.2002.1012362 10.1109/52.714622 10.1145/292523.292524 10.1007/s11241-007-9026-1 |
| ContentType | Journal Article |
| Copyright | Copyright Elsevier Sequoia S.A. Nov 2013 |
| Copyright_xml | – notice: Copyright Elsevier Sequoia S.A. Nov 2013 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.jss.2013.05.096 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-1228 |
| EndPage | 2724 |
| ExternalDocumentID | 3071566591 10_1016_j_jss_2013_05_096 |
| Genre | Feature |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9M8 AABNK AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXKI AAXUO AAYFN AAYOK AAYXX ABBOA ABDPE ABEFU ABFNM ABFRF ABFSI ABJNI ABMAC ABTAH ABXDB ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADJOM ADMUD AEBSH AEFWE AEKER AENEX AFJKZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AJOXV AKRWK ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CITATION CS3 DU5 E.L EBS EFJIC EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TAE TN5 TWZ UHS UNMZH VH1 WUQ XPP ZMT ZY4 ~G- 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c301t-ab9bcf629c87b534f94a355672794ae7242ceeceb3b0f857882d91043ef220fa3 |
| ISSN | 0164-1212 |
| IngestDate | Thu Oct 24 23:32:53 EDT 2024 Thu Oct 10 18:38:52 EDT 2024 Thu Nov 21 22:48:38 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 11 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c301t-ab9bcf629c87b534f94a355672794ae7242ceeceb3b0f857882d91043ef220fa3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| OpenAccessLink | http://www.cs.gmu.edu/~menasce/papers/accepted-version-1-s2.0-S0164121213001386-main.pdf |
| PQID | 1432308256 |
| PQPubID | 45802 |
| PageCount | 14 |
| ParticipantIDs | proquest_miscellaneous_1671542018 proquest_journals_1432308256 crossref_primary_10_1016_j_jss_2013_05_096 |
| PublicationCentury | 2000 |
| PublicationDate | 2013-11-00 20131101 |
| PublicationDateYYYYMMDD | 2013-11-01 |
| PublicationDate_xml | – month: 11 year: 2013 text: 20131101 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | The Journal of systems and software |
| PublicationYear | 2013 |
| Publisher | Elsevier Sequoia S.A |
| Publisher_xml | – name: Elsevier Sequoia S.A |
| References | 10.1016/j.jss.2013.05.096_bib0200 Morris (10.1016/j.jss.2013.05.096_bib0130) 1999 Belina (10.1016/j.jss.2013.05.096_bib0020) 1989; 16 10.1016/j.jss.2013.05.096_bib0185 10.1016/j.jss.2013.05.096_bib0165 Binstock (10.1016/j.jss.2013.05.096_bib0035) 2003 Dierks (10.1016/j.jss.2013.05.096_bib0055) 1999 (10.1016/j.jss.2013.05.096_bib0160) 1996 Raman (10.1016/j.jss.2013.05.096_bib0145) 2002; 10 Hiltunen (10.1016/j.jss.2013.05.096_bib0080) 2000 Sportt (10.1016/j.jss.2013.05.096_bib0175) 2000; 43 Daconate (10.1016/j.jss.2013.05.096_bib0050) 2000 Hayden (10.1016/j.jss.2013.05.096_bib0070) 1998 Vassall (10.1016/j.jss.2013.05.096_bib0205) 2001 Liu (10.1016/j.jss.2013.05.096_bib0110) 1994 Basu (10.1016/j.jss.2013.05.096_bib0015) 1998 Perrin (10.1016/j.jss.2013.05.096_bib0140) 2002; 6 Zheng (10.1016/j.jss.2013.05.096_bib0215) 2001; 3 Apte (10.1016/j.jss.2013.05.096_bib0010) 2003 Caro (10.1016/j.jss.2013.05.096_bib0045) 2003 Hamburger (10.1016/j.jss.2013.05.096_bib0060) 2002 Rensesse (10.1016/j.jss.2013.05.096_bib0150) 1995 Zweig (10.1016/j.jss.2013.05.096_bib0220) 1990 Rodrigues (10.1016/j.jss.2013.05.096_bib0155) 2007; 37 Kotok (10.1016/j.jss.2013.05.096_bib0105) 2002 Wong (10.1016/j.jss.2013.05.096_bib0210) 2001 Thees (10.1016/j.jss.2013.05.096_bib0190) 1998 Brown (10.1016/j.jss.2013.05.096_bib0040) 1998; 15 McDaniel (10.1016/j.jss.2013.05.096_bib0125) 1999 Song (10.1016/j.jss.2013.05.096_bib0170) 2001; 9 Harris (10.1016/j.jss.2013.05.096_bib0065) 2002 Heineman (10.1016/j.jss.2013.05.096_bib0075) 2001 Perrig (10.1016/j.jss.2013.05.096_bib0135) 2000 Bhatti (10.1016/j.jss.2013.05.096_bib0030) 1998; 16 Huni (10.1016/j.jss.2013.05.096_bib0090) 1995 Abdullah (10.1016/j.jss.2013.05.096_bib0005) 2003 Hutchinson (10.1016/j.jss.2013.05.096_bib0095) 1991; 17 Maughan (10.1016/j.jss.2013.05.096_bib0115) 1998 Tran (10.1016/j.jss.2013.05.096_bib0195) 1999 Bhatti (10.1016/j.jss.2013.05.096_bib0025) 1995 Holzner (10.1016/j.jss.2013.05.096_bib0085) 2002 Stallings (10.1016/j.jss.2013.05.096_bib0180) 2000 Jung (10.1016/j.jss.2013.05.096_bib0100) 2000 McDaniel (10.1016/j.jss.2013.05.096_bib0120) 2000 |
| References_xml | – volume: 16 start-page: 311 year: 1989 ident: 10.1016/j.jss.2013.05.096_bib0020 article-title: CCITT specification and description language SDL publication-title: Computer Networks and ISDN Systems doi: 10.1016/0169-7552(89)90078-0 contributor: fullname: Belina – start-page: 56 issue: November year: 2003 ident: 10.1016/j.jss.2013.05.096_bib0045 article-title: SCTP: a proposed standard for robust internet data transport publication-title: IEEE Computer doi: 10.1109/MC.2003.1244536 contributor: fullname: Caro – year: 1996 ident: 10.1016/j.jss.2013.05.096_bib0160 – volume: 43 start-page: 63 issue: April (4) year: 2000 ident: 10.1016/j.jss.2013.05.096_bib0175 article-title: Componentization the enterprise application packages publication-title: Communications of the ACM doi: 10.1145/332051.332074 contributor: fullname: Sportt – year: 2001 ident: 10.1016/j.jss.2013.05.096_bib0075 contributor: fullname: Heineman – start-page: 217 year: 1999 ident: 10.1016/j.jss.2013.05.096_bib0130 article-title: The Click router contributor: fullname: Morris – start-page: 191 year: 1990 ident: 10.1016/j.jss.2013.05.096_bib0220 article-title: The conduit: a communication abstraction in C++ contributor: fullname: Zweig – year: 2000 ident: 10.1016/j.jss.2013.05.096_bib0180 contributor: fullname: Stallings – start-page: 28 year: 1999 ident: 10.1016/j.jss.2013.05.096_bib0195 article-title: Application of CBSE to projects with evolving requirements – a lesson-learned contributor: fullname: Tran – volume: 3 start-page: 356 issue: September (3) year: 2001 ident: 10.1016/j.jss.2013.05.096_bib0215 article-title: An improved UDP protocol for video transmission over internet-to-wireless networks publication-title: IEEE Transactions on Multimedia doi: 10.1109/6046.944478 contributor: fullname: Zheng – year: 1999 ident: 10.1016/j.jss.2013.05.096_bib0055 contributor: fullname: Dierks – year: 1998 ident: 10.1016/j.jss.2013.05.096_bib0115 contributor: fullname: Maughan – start-page: 455 year: 1998 ident: 10.1016/j.jss.2013.05.096_bib0015 article-title: Promela++: a language for constructing correct and efficient protocols contributor: fullname: Basu – year: 1998 ident: 10.1016/j.jss.2013.05.096_bib0070 contributor: fullname: Hayden – year: 2000 ident: 10.1016/j.jss.2013.05.096_bib0120 article-title: Ismene: provisioning and policy reconciliation in secure group communication contributor: fullname: McDaniel – start-page: 138 year: 1995 ident: 10.1016/j.jss.2013.05.096_bib0025 article-title: A system for constructing configurable high-level protocols contributor: fullname: Bhatti – volume: 17 start-page: 64 issue: 1 year: 1991 ident: 10.1016/j.jss.2013.05.096_bib0095 article-title: The x-kernel: an architecture for implementing network protocols publication-title: IEEE Transactions on Software Engineering doi: 10.1109/32.67579 contributor: fullname: Hutchinson – volume: 9 start-page: 47 issue: 1/2 year: 2001 ident: 10.1016/j.jss.2013.05.096_bib0170 article-title: Athena: a novel approach to efficient automatic security publication-title: Journal of Computer Security doi: 10.3233/JCS-2001-91-203 contributor: fullname: Song – start-page: 1 year: 1995 ident: 10.1016/j.jss.2013.05.096_bib0090 article-title: A framework for Network Protocol Software contributor: fullname: Huni – ident: 10.1016/j.jss.2013.05.096_bib0200 – volume: 10 start-page: 297 issue: June (3) year: 2002 ident: 10.1016/j.jss.2013.05.096_bib0145 article-title: ITP: an image transport protocol for the Internet publication-title: IEEE/ACM Transactions on Networking doi: 10.1109/TNET.2002.1012362 contributor: fullname: Raman – ident: 10.1016/j.jss.2013.05.096_bib0185 – year: 2003 ident: 10.1016/j.jss.2013.05.096_bib0010 contributor: fullname: Apte – start-page: 80 year: 1995 ident: 10.1016/j.jss.2013.05.096_bib0150 article-title: A framework for protocol composition in Horus contributor: fullname: Rensesse – year: 2000 ident: 10.1016/j.jss.2013.05.096_bib0050 contributor: fullname: Daconate – year: 2002 ident: 10.1016/j.jss.2013.05.096_bib0085 contributor: fullname: Holzner – year: 2002 ident: 10.1016/j.jss.2013.05.096_bib0105 contributor: fullname: Kotok – start-page: 319 year: 2001 ident: 10.1016/j.jss.2013.05.096_bib0210 article-title: A configurable and extensible transport protocol contributor: fullname: Wong – volume: 15 start-page: 37 issue: September–October (5) year: 1998 ident: 10.1016/j.jss.2013.05.096_bib0040 article-title: The current state of CBSE publication-title: IEEE Software doi: 10.1109/52.714622 contributor: fullname: Brown – year: 2002 ident: 10.1016/j.jss.2013.05.096_bib0060 contributor: fullname: Hamburger – year: 2001 ident: 10.1016/j.jss.2013.05.096_bib0205 contributor: fullname: Vassall – ident: 10.1016/j.jss.2013.05.096_bib0165 – year: 2003 ident: 10.1016/j.jss.2013.05.096_bib0035 contributor: fullname: Binstock – year: 2000 ident: 10.1016/j.jss.2013.05.096_bib0080 article-title: The Cactus approach to building configurable middleware services contributor: fullname: Hiltunen – volume: 16 start-page: 321 issue: November (4) year: 1998 ident: 10.1016/j.jss.2013.05.096_bib0030 article-title: COYOTE a system for constructing fine-grain configurable communication services publication-title: ACM Transactions on Computer Systems doi: 10.1145/292523.292524 contributor: fullname: Bhatti – start-page: 43 year: 2002 ident: 10.1016/j.jss.2013.05.096_bib0065 article-title: The design of a transport protocol for on-demand graphical rendering contributor: fullname: Harris – start-page: 191 year: 2003 ident: 10.1016/j.jss.2013.05.096_bib0005 article-title: Protocol specification and automatic implementation using XML and CBSE contributor: fullname: Abdullah – start-page: 99 year: 1999 ident: 10.1016/j.jss.2013.05.096_bib0125 article-title: Antigone: a flexible framework for secure group communication contributor: fullname: McDaniel – volume: 6 start-page: 569 year: 2002 ident: 10.1016/j.jss.2013.05.096_bib0140 article-title: Automatic code generation based on generic description of intelligent instrument publication-title: IEEE International Conference on Systems, Man, and Cybernetics contributor: fullname: Perrin – start-page: 36 year: 2000 ident: 10.1016/j.jss.2013.05.096_bib0100 article-title: A component-based architecture for software communication systems contributor: fullname: Jung – year: 1998 ident: 10.1016/j.jss.2013.05.096_bib0190 article-title: Protocol implementation with Estelle – from prototypes to efficient implementations contributor: fullname: Thees – start-page: 64 year: 2000 ident: 10.1016/j.jss.2013.05.096_bib0135 article-title: Looking for diamonds in the desert-extending automatic protocol generation to three-party authentication and key agreement protocols contributor: fullname: Perrig – start-page: 181 year: 1994 ident: 10.1016/j.jss.2013.05.096_bib0110 article-title: An FSM-based program generator for communication protocol software contributor: fullname: Liu – volume: 37 start-page: 45 issue: October (1) year: 2007 ident: 10.1016/j.jss.2013.05.096_bib0155 article-title: Implementation and analysis of real-time communication protocol compositions publication-title: Journal of Real-Time Systems doi: 10.1007/s11241-007-9026-1 contributor: fullname: Rodrigues |
| SSID | ssj0007202 |
| Score | 2.088281 |
| Snippet | A communication protocol is a set of rules shared by two or more communicating parties on the sequence of operations and the format of messages to be... |
| SourceID | proquest crossref |
| SourceType | Aggregation Database |
| StartPage | 2711 |
| SubjectTerms | Ambiguity Computer programs Extensible Markup Language Format Negotiations Protocol Software engineering Specifications Standardization Studies Systems design Translations |
| Title | The Meta-Protocol framework |
| URI | https://www.proquest.com/docview/1432308256 https://search.proquest.com/docview/1671542018 |
| Volume | 86 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3PT9swFLY6uOyyH2zTGAwFidNQUGI7cXKstiBAwCa1SL1ZTupoVCLZSKv9-_scO0nLpmkc6CFK7cpV_Fmfv_f83gshRxrbXMxT4QsFCuRlwMCDOvBDXgp8Yk21MRTPJuJ6lnzJeDYadZl1Q9uTIo02YG0yZx-Bdj8oGnAPzHEF6rj-N-5Xeqn8b_f1sgbMx2UXf7UuRIeUsFaM2oLOtl5zA2b-pYag2HE-h52qWv_LOYzr77d3g8P0SleqKexx-5Cy7jykzpsQMpdW17u4ujSXif65qm_V8eRkvO59jE2RQxf3rC1jJgKDUJfh7SjVVbd2SydcJ0hhv_7B3NaJsDhZNKaIesjaeqrpX6pkX3-VpzeXl3KazaabvXZXhmaCRI1MRYNtCvYB-W2Pz7PZRb9BC9qGovZP0x12t2F_D_5_U65s7tatBJm-Ii8cXN7Ygv6ajHS1Q1527-XwHE2_IXsA19tYA16_Bt6Sm9Ns-vnMdy_B8Atw79JXeZoXZUzTIhF5xHiZcgWNaA7QcacFJBZ0TqFzlgdlAv5N6BwSkDNdUhqUir0jW1Vd6ffE00leFJCL0PCMxwpKLQ6VpvMIVrOKVLJLPnXPKn_YWieyCwJcSEyMNBMjg0hiYnbJfjcb0i3_BnYko6b-UYTuw74bhGVOoVSl6xV-EwMgjpGSD_8eYo88H1boPtla3q_0R_Ksma8OHKK_AahTVpk |
| link.rule.ids | 315,782,786,27933,27934 |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+Meta-Protocol+framework&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Abdullah%2C+Ibrahim+S&rft.au=Menasc%C3%A9%2C+Daniel+A&rft.date=2013-11-01&rft.pub=Elsevier+Sequoia+S.A&rft.issn=0164-1212&rft.eissn=1873-1228&rft.volume=86&rft.issue=11&rft.spage=2711&rft_id=info:doi/10.1016%2Fj.jss.2013.05.096&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=3071566591 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon |