{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:10:42Z","timestamp":1649020242225},"reference-count":32,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1016\/s0169-7552(96)00110-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:08:22Z","timestamp":1027598902000},"page":"501-528","source":"Crossref","is-referenced-by-count":8,"title":["Structural models for specifying telephone systems"],"prefix":"10.1016","volume":"29","author":[{"given":"Mohammed","family":"Faci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Logrippo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Stepien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-7552(96)00110-9_BIB1","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/TCOM.1980.1094696","article-title":"A general transition model for protocols and communication services","volume":"28","author":"Bochmann","year":"1980","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/S0169-7552(96)00110-9_BIB2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB3","series-title":"LOTOSPHERE: Software Development with LOTOS","article-title":"Correctness preserving transformations for the early phases of software development","author":"Bolognesi","year":"1995"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB4","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1016\/0169-7552(94)90014-0","article-title":"G-LOTOS, a graphical language for distributed systems","volume":"26","author":"Bolognesi","year":"1994","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB5","author":"Bolognesi","year":"1995"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB6","article-title":"Design, specification and validation of telephony systems in LOTOS","author":"Boumezbeur","year":"1996"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/35.229520","article-title":"Specifying telephone systems in LOTOS","author":"Boumezbeur","year":"1993","journal-title":"IEEE Commun. Mag."},{"key":"10.1016\/S0169-7552(96)00110-9_BIB8","series-title":"Proc. 7th Internat. Conf. on Software Engineering for Telecommunication Switching Systems","first-page":"59","article-title":"The feature interaction problem in telecommunications systems","author":"Bowen","year":"1989"},{"issue":"3","key":"10.1016\/S0169-7552(96)00110-9_BIB9","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/35.199613","article-title":"A feature interaction benchmark for IN and beyond","volume":"31","author":"Cameron","year":"1993","journal-title":"IEEE Commun."},{"key":"10.1016\/S0169-7552(96)00110-9_BIB10","series-title":"formal Description Techniques, II","first-page":"211","article-title":"An object-oriented interpretation of LOTOS","author":"Cusack","year":"1990"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB11","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/35.127556","article-title":"International standards for intelligent networks","author":"Duran","year":"1992","journal-title":"IEEE Commun. Mag."},{"key":"10.1016\/S0169-7552(96)00110-9_BIB12","article-title":"Detecting feature interactions in telecommunications systems designs","author":"Faci","year":"1995"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB13","series-title":"Proc. 3rd AMAST Workshop on Real-Time Systems","first-page":"280","article-title":"An algebraic framework for the feature interaction problem","author":"Faci","year":"1996"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB14","series-title":"Protocol Specification, Testing, and Verification IX","article-title":"Formal specifications of telephone systems in LOTOS","author":"Faci","year":"1990"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB15","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/0169-7552(91)90073-L","article-title":"Formal specifications of telephone systems in LOTOS: The constraint-oriented style approach","volume":"21","author":"Faci","year":"1991","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB16","series-title":"Proc. 2nd Internat. Workshop on Feature Interactions in Telecommunications Software Systems","first-page":"136","article-title":"Specifying features and analysing their interactions in a LOTOS environment","author":"Faci","year":"1994"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB17","series-title":"Proc. 2nd International Workshop on Feature Interactions in Telecommunications Software Systems","year":"1994"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB18","series-title":"LOTOSPHERE: Software Development with LOTOS","article-title":"Correctness preserving transformations for the late phases of software development","author":"Fantechi","year":"1995"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB19","author":"Hoare","year":"1985"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB20","article-title":"Formal specification and feature interaction detection in the intelligent network","author":"Kamoun","year":"1996"},{"issue":"5","key":"10.1016\/S0169-7552(96)00110-9_BIB21","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0169-7552(92)90011-E","article-title":"A introduction to LOTOS: Learnign by examples","volume":"23","author":"Logrippo","year":"1992","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB22","series-title":"IEEE Global Telecommunications Conf.","first-page":"721","article-title":"Future telecommunications services","author":"Martin","year":"1988"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB23","author":"Milner","year":"1989"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB24","series-title":"Formal Description Techniques, IV","first-page":"409","article-title":"Inheritance in LOTOS","author":"Rudkin","year":"1992"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB25","series-title":"Theories and Experiences for Real-Time System Development","first-page":"265","article-title":"Status-oriented telephone service specification","volume":"Vol. 2","author":"Stepien","year":"1994"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB26","series-title":"Proc. 3rd Internat. Workshop on Feature Interactions in Telecommunications Software Systems","first-page":"136","article-title":"Representing and verifying intentions in telephony features using abstract data types","author":"Stepien","year":"1994"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB27","series-title":"Protocol Specification, Testing and Verification XIV","first-page":"71","article-title":"Feature interaction detection by using backward reasoning with LOTOS","author":"Stepien","year":"1995"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB28","author":"Thorner","year":"1994"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB29","series-title":"LOTOSPHERE: Software Development with LOTOS","article-title":"LOTOS specification style for OSI","author":"Turner","year":"1995"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB30","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","article-title":"Specification styles in distributed systems design and verification","volume":"89","author":"Vissers","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0169-7552(96)00110-9_BIB31","series-title":"Formal Description Techniques, V","first-page":"231","article-title":"Protocol design using LOTOS: A critical synthesis of a standardization experience","author":"Kremer","year":"1993"},{"key":"10.1016\/S0169-7552(96)00110-9_BIB32","series-title":"Proc. 3rd International Workshop on Feature Interactions in Telecommunications III","year":"1995"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296001109?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296001109?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T01:32:20Z","timestamp":1556674340000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169755296001109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["S0169755296001109"],"URL":"https:\/\/doi.org\/10.1016\/s0169-7552(96)00110-9","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}