{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T14:23:19Z","timestamp":1648909399077},"reference-count":10,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2005,10]]},"abstract":"<jats:p> ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer\/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transformation of a Lotos specification to an Estelle specification is presented. The method is applicable to various Lotos specification styles and to various communications protocols of ISO OSI layers. <\/jats:p><jats:p> Our method has applications in conformance testing of such systems and building common semantic model for the various FDTs. In this paper, we develop an algorithm for constructing a 'Data Oriented'-Restricted Behavior Tree T that represent both the control flow aspects and the data flow aspects of the system. Then, we develop an algorithm for constructing the Estelle specifications from T. A minimization rule is also developed to optimize the size of the Estelle specification by reducing both the number of states and the number of transitions. <\/jats:p>","DOI":"10.1142\/s0218194005002567","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T09:31:31Z","timestamp":1131355891000},"page":"873-891","source":"Crossref","is-referenced-by-count":3,"title":["FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS"],"prefix":"10.1142","volume":"15","author":[{"given":"HAZEM","family":"EL-GENDY","sequence":"first","affiliation":[{"name":"Ministry of Awkaf, Cairo, Egypt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"NABIL","family":"EL-KADHI","sequence":"additional","affiliation":[{"name":"EpiTech, 14\/16 Rue Voltaire 94270 Kremelin Bicetre, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf7","doi-asserted-by":"crossref","unstructured":"H.\u00a0Saiedian, An Invitation to Formal Methods (IEEE Computer, 1996)\u00a0pp. 16\u201330.","DOI":"10.1109\/MC.1996.488298"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(94)90002-7"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1109\/5.259431"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1109\/5.58319"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1109\/32.16602"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(94)00054-K"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1006\/jnca.2002.0143"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016033610952"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1109\/49.840201"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1049\/ip-com:20000661"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194005002567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:48:08Z","timestamp":1565142488000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194005002567"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10]]},"references-count":10,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2005,10]]}},"alternative-id":["10.1142\/S0218194005002567"],"URL":"https:\/\/doi.org\/10.1142\/s0218194005002567","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10]]}}}