{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T11:14:23Z","timestamp":1648898063906},"reference-count":32,"publisher":"Elsevier BV","issue":"11-12","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1016\/s0950-5849(99)00031-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"697-713","source":"Crossref","is-referenced-by-count":9,"title":["A service creation environment based on scenarios"],"prefix":"10.1016","volume":"41","author":[{"given":"R.","family":"Dssouli","sequence":"first","affiliation":[]},{"given":"S.","family":"Som\u00e9","sequence":"additional","affiliation":[]},{"given":"J.","family":"Vaucher","sequence":"additional","affiliation":[]},{"given":"A.","family":"Salah","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"12","key":"10.1016\/S0950-5849(99)00031-2_BIB1","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","article-title":"Software Engineering","volume":"C-25","author":"Boehm","year":"1976","journal-title":"IEEE Transaction on Computers"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB2","series-title":"Information System Development Process","first-page":"117","article-title":"Utilizing scenarios in the software development process","author":"Benner","year":"1993"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB3","unstructured":"D. Amyot, L. Logrippo, R.J.A. Buhr, Sp\u00e9cification et conception de syst\u00e8mes communicants: une approche rigoureuse bas\u00e8e sur des sc\u00e9narios d'usage. in: CFIP97, Li\u00e8ge, Belgique, September 1997."},{"key":"10.1016\/S0950-5849(99)00031-2_BIB4","doi-asserted-by":"crossref","unstructured":"M. Glinz, An integrated formal model of scenarios based on statecharts, in: Software Engineering\u2014ESEC\u201995, Proceedings of the 5th European Software Engineering Conference, Springler LNCS 989,1995, pp. 254\u2013271.","DOI":"10.1007\/3-540-60406-5_19"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB5","series-title":"Object-Oriented Modelling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/52.268953","article-title":"Formal approach to scenario analysis","volume":"March","author":"Hsia","year":"1994","journal-title":"IEEE Software"},{"issue":"7","key":"10.1016\/S0950-5849(99)00031-2_BIB7","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1002\/spe.4380240704","article-title":"Automatic synthesis of state machines from trace diagrams","volume":"24","author":"Koskimies","year":"1994","journal-title":"Software-Practice and Experience"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB8","unstructured":"S.S. Som\u00e9, D\u00e9rivation de Sp\u00e9cification \u00e0 partir de Sc\u00e9narios d'Interaction, PhD thesis, Universit\u00e9 de Montr\u00e9al, 1997."},{"key":"10.1016\/S0950-5849(99)00031-2_BIB9","first-page":"259","article-title":"Syntactic detection of process divergence and non-local choice inmessage sequence charts","author":"BenAbdallah","year":"1997","journal-title":"Tacas"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB10","unstructured":"ITU, Recommendation Z.120: Message Sequence Chart (MSC), ITU, Geneva, 1996."},{"issue":"5","key":"10.1016\/S0950-5849(99)00031-2_BIB11","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01211629","article-title":"Interpreting message flow graphs","volume":"7","author":"Ladkin","year":"1995","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"STATECHARTS: A visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB13","series-title":"Use Case Maps for Object-Oriented System","author":"Buhr","year":"1995"},{"issue":"9","key":"10.1016\/S0950-5849(99)00031-2_BIB14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.1976.233812","article-title":"Constructing programs from example computations","volume":"SE-2","author":"Biermann","year":"1976","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB15","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-63531-9_22","article-title":"Integration of sequential scenarios","volume":"1301","author":"Desharnais","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB16","first-page":"70","article-title":"An analyzer for message sequence charts","volume":"17","author":"Alur","year":"1996","journal-title":"Software: Concepts and Tools"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB17","series-title":"Timing constraints in message sequence chart specification","author":"BenAbdallah","year":"1997"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB18","doi-asserted-by":"crossref","unstructured":"B. Regnell, M. Andersson, J. Bergstrand, A hierarchical use case model with graphical representation, in: Proceedings of ECBS\u201996, IEEE Second International Symposium and Workshop on Engineering of Computer-Based Systems, IEEE, March 1996.","DOI":"10.1109\/ECBS.1996.494538"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB19","doi-asserted-by":"crossref","unstructured":"M.P.E. Heimdahl, N.G. Leveson, Completeness and consistency analysis of state-based requirements, in: Proceedings of the 17th International Conference on Software Engineering, 1995, pp. 3\u201314.","DOI":"10.1145\/225014.225015"},{"issue":"1","key":"10.1016\/S0950-5849(99)00031-2_BIB20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","article-title":"Using viewpoints for inconsistency management","volume":"11","author":"Easterbrook","year":"1996","journal-title":"IEE Software Engineering Journal"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB21","unstructured":"A. En-Nouaary, R. Dssouli, F. Khendek, Timed scenarios to sdl: specification,implementation and testing of real-systems, in: Submitted for SDL Forum\u201999, 1999."},{"key":"10.1016\/S0950-5849(99)00031-2_BIB22","unstructured":"ITU-T, Message Sequence Chart (MSC), Recommendation Z.120, 1993."},{"issue":"2","key":"10.1016\/S0950-5849(99)00031-2_BIB23","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB24","doi-asserted-by":"crossref","unstructured":"S. Som\u00e9, R. Dssouli, J. Vaucher, Scenarios to timed automata: building specifications from users requirements, in: Proceedings of the 2nd Asia Pacific Software Engineering Conference (APSEC\u201995), IEEE, December 1995.","DOI":"10.1109\/APSEC.1995.496953"},{"issue":"3\/4","key":"10.1016\/S0950-5849(99)00031-2_BIB25","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB26","first-page":"379","article-title":"On the use of transition diagrams in the design of a user interface for an interactive computer system","volume":"00","author":"Parnas","year":"1969","journal-title":"Proceedings of the ACM Annual Conference"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB27","unstructured":"S. Som\u00e9, R. Dssouli, An enhancement of timed automata generation from timed scenarios using grouped states, Technical Report 1029, DIRO-Universit\u00e9 de Montr\u00e9al, 1996."},{"issue":"6","key":"10.1016\/S0950-5849(99)00031-2_BIB28","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0950-5849(94)90033-7","article-title":"(In)completeness in specifications","volume":"36","author":"Alagar","year":"1994","journal-title":"Information and Software Technology"},{"issue":"8","key":"10.1016\/S0950-5849(99)00031-2_BIB29","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/2.223539","article-title":"Feature interactions and formal specifications in telecommunications","volume":"26","author":"Zave","year":"1993","journal-title":"Computer"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB30","series-title":"Proceedings of the Feature Interactions in Telecommunications Networks","article-title":"Detection of feature interactions with REST","author":"Dssouli","year":"1997"},{"key":"10.1016\/S0950-5849(99)00031-2_BIB31","unstructured":"J.F. Guillery, Detection of telephone service interactions. Technical report, D\u00e9partement IRO, Universit\u00e9 de Montr\u00e9al, 1996."},{"key":"10.1016\/S0950-5849(99)00031-2_BIB32","series-title":"Feature Interactions in Telecommunications Systems","article-title":"A feature Interaction Benchmark for IN and beyond","author":"Cameron","year":"1994"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000312?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000312?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:22:01Z","timestamp":1556058121000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":32,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["S0950584999000312"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00031-2","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}