A service creation environment based on scenarios |
| |
| Affiliation: | 1. Département d''Informatique et de Recherche Opérationnelle, Université de Montréal, C.P.6128, succ centre ville, Montréal, Quebec, Canada H3C 3J7;2. KBRE, SITE, University of Ottawa, Ottawa, Canada;1. University of Utrecht, School of Economics, Utrecht, The Netherlands;2. Department of Economics, Krannert School of Management, Purdue University, West Lafayette, IN 47907-1310, USA;1. Área de Biodiversidad y Conservación, ESCET, Universidad Rey Juan Carlos, 28933 Móstoles, Madrid, Spain;2. Swedish Species Information Centre, Swedish University of Agricultural Sciences (SLU), PO Box 7007, SE-75007 Uppsala, Sweden;1. Chemical Resources Laboratory, Tokyo Institute of Technology, Nagatsuta 4259-R1-8, Midori-Ku, Yokohama 226-8503, Japan;2. Graduate School of Bioscience and Biotechnology, Tokyo Institute of Technology, Nagatsuta 4259, Midori-Ku, Yokohama, 226-8501, Japan;3. Core Research for Evolutional Science and Technology (CREST), Japan Science and Technology Agency (JST), Tokyo 102-0075, Japan;4. The Institute of Scientific and Industrial Research, Osaka University, 8-1 Mihogaoka, Ibaraki, Osaka 567-0047, Japan;5. Research Institute for Electronic Science, Hokkaido University, Kita 20, Nishi 10, Kita-Ku, Sapporo 001-0020, Japan;6. Graduate School of Pharmaceutical Sciences, Tohoku University, Aoba-Ku, Sendai 980-8578, Japan;1. Institute of Biotechnology, Key Laboratory of Chemical Biology and Molecular Engineering of National Ministry of Education, Shanxi University, Taiyuan 030006, China;2. College of Life Science, Zhejiang Chinese Medical University, Hangzhou 310053, China;1. Tourism Research Australia, based in Brisbane, Level 16, 307 Queen Street, Brisbane 4000, Australia;2. Griffith Business School, Nathan Campus, Griffith University, 170 Kessels Road, Nathan, QLD 4111, Australia;3. Tourism Research Australia, 25 National Circuit, Forrest, ACT 2603, Australia;4. School of Hospitality and Tourism Management, University of Surrey, GU2 7XH, United Kingdom;5. School of Marketing, Australian School of Business University of New South Wales, NSW 2052, Australia |
| |
| Abstract: | Scenarios are often constructed for illustrating example runs through reactive system. Scenarios that describe possible interactions between a system and its environment are widely used in requirement engineering, as a means for users to communicate their functional requirements. Various software development methods use scenarios to define user requirements, but often lack tool support. Existing tools are graphical editors rather than tool support for design. This paper presents a service creation environment for elicitation, integration, verification and validation of scenarios. A semi-formal language is defined for user oriented scenario representation, and a prototype tool implementing an algorithm that integrates them for formal specification generation. This specification is then used to automatically find and report inconsistencies in the scenarios. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
