It is the cache of ${baseHref}. It is a snapshot of the page. The current page could have changed in the meantime.
Tip: To quickly find your search term on this page, press Ctrl+F or ⌘-F (Mac) and use the find bar.

User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper) | Amyot | Journal of Software
Journal of Software, Vol 6, No 5 (2011), 747-768, May 2011
doi:10.4304/jsw.6.5.747-768

User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper)

Daniel Amyot, Gunter Mussbacher

Abstract


The User Requirements Notation (URN), standardized by the International Telecommunication Union in 2008, is used to model and analyze requirements with goals and scenarios. This paper describes the first ten years of development of URN, and discusses ongoing efforts targeting the next ten years. We did a study inspired by the systematic literature review approach, querying five major search engines and using the existing URN Virtual Library. Based on the 281 scientific publications related to URN we collected and analyzed, we observe a shift from a more conventional use of URN for telecommunications and reactive systems to business process management and aspect-oriented modeling, with relevant extensions to the language being proposed. URN also benefits from a global and active research community, although industrial contributions are still sparse. URN is now a leading language for goal-driven and scenario-oriented modeling with a promising future for many application domains.



Keywords


Goals, Goal-oriented Requirement Language (GRL), modeling, review, scenarios, tools, Use Case Maps (UCM), User Requirements Notation (URN)

References


T. Abdelaziz, Towards a Comprehensive Agent-Oriented Software Engineering Methodology, Doctoral Dissertation, Universität Duisburg-Essen, Germany, October 2008

T. Abdelaziz, M. Elammari, and R. Unland, “Visualizing a Multiagent-Based Medical Diagnosis System Using a Methodology Based on Use Case Maps”, in MATES 2004: multiagent system technologies, LNCS 3187, Springer, pp. 198–212, 2004. doi:10.1007/978-3-540-30082-3_15

M.R. Abid, D. Amyot, S.S. Somé, and G. Mussbacher, “A UML Profile for Goal-Oriented Modeling”, in SDL 2009: Design for Motes and Mobiles, 14th Int. SDL Forum, LNCS 5719, Springer, pp. 133–148, September 2009. doi:10.1007/978-3-642-04554-7_9

G. Adamis, R. Horváth, Z. Pap, and K. Tarnay, “Standardized languages for telecommunication systems”. Computer Standards & Interfaces, 27(3), Elsevier, pp. 191–205, March 2005. doi:10.1016/j.csi.2004.09.005

C.P. Ayala, C. Cares, J.P. Carvallo, G. Grau, M. Haya, G. Salazar, X. Franch, E. Mayol, and C. Quer, “A Comparative Analysis of i*-Based Goal-Oriented Modelling Languages”, in Int. Workshop on Agent-Oriented Software Development Methodologies (AOSDM @SEKE), Taipei, China, pp. 43–50, July 2005

A. Alsumait, User Interface Requirements Engineering: A Scenario-Based Framework. Ph.D. thesis, Concordia University, Canada, August 2004.

A. Alsumait, A. Seffah, and T. Radhakrishnan, “Use Case Maps: A Roadmap for Usability and Software Integrated Specification”, in 17th World Computer Congress - TC13 Stream on Usability, IFIP, pp. 119–131, August 2002,

D. Amyot, Specification and Validation of Telecommuni-cations Systems with Use Case Maps and LOTOS. Ph.D. thesis, SITE, University of Ottawa, Canada, Sept. 2001.

D. Amyot, “Introduction to the User Requirements Notation: Learning by Example”. Computer Networks, 42(3), pp. 285–301, June 2003. doi:10.1016/S1389-1286(03)00244-5

D. Amyot and R. Andrade, “Description of Wireless Intelligent Network Services with Use Case Maps”, in 17th Brazilian Symposium on Computer Networks (SBRC'99), Salvador, Brazil, pp. 418–433, May 1999.

D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, and Z. Yi, “Formal Methods for Mobility Standards”, in IEEE 1999 Emerging Technology Symposium on Wireless Communications & Systems, Dallas, USA, pp. 14.1–14.7, April 1999. doi:10.1109/ETWCS.1999.897332

D. Amyot, H. Becha, R. Bræk, and J.E.Y. Rossebø, “Next Generation Service Engineering”, in ITU-T Innovations in NGN - Kaleidoscope Academic Conference, Geneva, Switzerland, pp. 195–202, May 2008. doi:10.1109/

KINGN.2008.4542266

D. Amyot, F. Bordeleau, R.J.A. Buhr, and L. Logrippo, “Formal support for design techniques: a Timethreads-LOTOS approach”, in FORTE VIII, 8th Int. Conf. on Formal Description Techniques, Chapman & Hall, pp. 57–72, 1995.

D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware, “Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS”, in Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00), IOS Press, pp. 274–289, May 2000.

D. Amyot, D.Y. Cho, X. He, and Y. He, “Generating Scenarios from Use Case Map Specifications”, in Third Int. Conf. on Quality Software (QSIC'03), IEEE CS, pp. 108–115, Nov. 2003. doi:10.1109/QSIC.2003.1319092

D. Amyot and A. Eberlein, “An Evaluation of Scenario Notations and Construction Approaches for Telecommunication”. Telecommunications Systems Journal, 24(1), Kluwer, pp. 61–94, September 2003. doi:10.1023/A:1025890110119

D. Amyot, S. Ghanavati, J. Horkoff, G. Mussbacher, L. Peyton, and E. Yu, “Evaluating Goal Models within the Goal-oriented Requirement Language”. Int. Journal of Intelligent Systems, 25(8), Wiley, pp. 841–877, August 2010. doi:10.1002/int.20433

D. Amyot, J. Horkoff, D. Gross, and G. Mussbacher, “A Lightweight GRL Profile for i* Modeling”, in 3rd Int. Work. on Requirements, Intentions and Goals in Conceptual Modeling (RIGiM 2009), LNCS 5833, Springer, pp. 254–264, Nov. 2009. doi:10.1002/int.20433

D. Amyot, M. Mussbacher, and N. Mansurov, “Understanding Existing Software with Use Case Map Scenarios”, in 3rd SDL and MSC Workshop (SAM02), LNCS 2599, Springer, pp. 124–140, June 2002. doi:10.1007/3-540-36573-7_9

D. Amyot and L. Logrippo, “Use Case Maps and LOTOS for the Prototyping and Validation of a Mobile Group Call System”. Computer Communications, 23(12), pp. 1135–1157, July 2000. doi:10.1016/S0140-3664(99)00242-X

D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray, “Use Case Maps for the Capture and Validation of Distributed Systems Requirements”, in Fourth Int. Symposium on Requirements Engineering (RE'99), IEEE CS, pp. 44–53, June 1999. doi:10.1109/ISRE.1999.777984

D. Amyot, J.-F. Roy, and M. Weiss, “UCM-Driven Testing of Web Applications”, in 12th SDL Forum (SDL 2005), LNCS 3530, Springer, pp. 247–264, June 2005. doi:10.1007/11506843_18

D. Amyot, M. Weiss, and L. Logrippo, “Generation of Test Purposes from Use Case Maps”. Computer Networks, 49(5), Elsevier, pp. 643–660, December 2005. doi:10.1016/j.comnet.2005.05.006

D. Amyot and J.B. Yan, “Flexible Verification of User-Defined Semantic Constraints in Modelling Tools”, in 18th Int. Conf. of Computer Science and Software Engineering (CASCON), IBM CAS, October 2008. doi:10.1145/1463788.1463798

R. Andrade, Capture, Reuse, and Validation of Requirements and Analysis Patterns for Mobile Systems. Ph.D. thesis, SITE, Univ. of Ottawa, Canada, May 2001.

R. Andrade and L. Logrippo, “Reusability at the Early Development Stages of the Mobile Wireless Communication Systems”, in 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2000), IIIS, Orlando, USA, pp. 11–16, July 2000.

R. Andrade, W. Viana, and D.P. Menezes, “A high-level application framework for mobile system development: IMT-2000 case study”, in 9th Int. Conf. on Telecommunications, IEEE, Beijing, China, pp. 321–325, June 2002.

P. Araya and H. Antillanca, “Una metodología de agents”, in 1er. Workshop Chileno de Ingeniería de Software, Punta Arenas, Chile, November 2001.

D. Arnold, J.-P. Corriveau, and W. Shi, “Scenario-Based Validation: Beyond the User Requirements Notation”, in 21st Australian Software Engineering Conf. (ASWEC 2010), IEEE CS, pp 75–84, April 2010. doi:10.1109/ ASWEC.2010.29

D. Barone, E. Yu, J. Won, L. Jiang, and J. Mylopoulos, “Enterprise Modeling for Business Intelligence”, in The Practice of Enterprise Modeling, LNBIP 68, Springer, pp. 31–45, 2010. doi:10.1007/978-3-642-16782-9_3

H. Becha, G. Mussbacher, and D. Amyot, “Modeling and Analyzing Non-Functional Requirements in Service Oriented Architecture with the User Requirements Notation”. Non-functional Properties in Service Oriented Architecture: Requirements, Models and Methods, IGI Global, USA, pp. 48–72, 2011. doi:10.4018/978-1-60566-794-2.ch003

S.A. Behnam, D. Amyot, and G. Mussbacher, “Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling”, in 8th Int. Conf. on Software Engineering Research, Management and Applications (SERA2010), IEEE CS, pp. 137–145, May 2010. doi:10.1109/SERA.2010.27

E.A. Billard, “Operating system scenarios as Use Case Maps”, in Fourth Int. Work. on Software and Performance (WOSP 2004), ACM Press, pp. 266–277, January 2004. doi:10.1145/974044.974087

E.A. Billard, “Patterns of agent interaction scenarios as Use Case Maps”. IEEE Transactions on Systems, Man and Cybernetics, 24B:4, pp. 1933–1939, August 2004. doi:10.1109/TSMCB.2004.828192

G. Birkhoff, Lattice theory. American Mathematical Society, 1967.

S.J. Bleistein, K. Cox, and J. Verner, “Requirements Engineering for e-Business Systems: Integrating Jackson Problem Diagrams with Goal Modeling and BPM”, in 11th Asia Pacific Software Engineering Conference (APSEC 2004), IEEE CS, pp. 410–417, November 2004. doi:10.1109/APSEC.2004.84

S.J. Bleistein, K., Cox, J. Verner, and K.T. Phalp, “Requirements engineering for e-business advantage”, Requirements Engineering, 11(1), pp. 4–16, March 2006. doi:10.1007/s00766-005-0012-7

E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.

F. Bordeleau, A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines. Ph.D. thesis, SCE Dept., Carleton University, Canada, December 1999.

F. Bordeleau and R.J.A. Buhr, “The UCM-ROOM Design Method: from Use Case Maps to Communicating State Machines”, in Conf. on the Engineering of Computer-Based Systems (ECBS), pp. 167–179, March 1997. doi:10.1109/ECBS.1997.581850

F. Bordeleau and D. Cameron, “On the Relationship between Use Case Maps and Message Sequence Charts”, in 2nd Workshop on SDL and MSC (SAM 2000), Grenoble, France, pp. 123–138, June 2000.

F. Bordeleau, J.-P. Corriveau, and B. Selic, “A Scenario-Based Approach to Hierarchical State Machine Design”, in ISORC 2000: 3rd IEEE Int. Symp. on Object-Oriented Real-time distributed Computing, IEEE CS, pp. 78–85, March 2000. doi:10.1109/ISORC.2000.839514

P. Brereton, B.A. Kitchenham, D. Budgen, M. Turner, and M. Khalil, “Lessons from applying the systematic literature review process within the software engineering domain”. J. of Systems and Software, 80(4), pp. 571–583, April 2007. doi:10.1016/j.jss.2006.07.009

J. Brown, R. Gawley, I. Spence, P. Kilpatrick, C. Gillan, and R Bashroush, “Requirements Modelling and Design Notations for Software Product Lines”, in First Int. Workshop on Variability Modelling of Software-intensive Systems (VaMoS), Limerick, Ireland, January 2007.

H. de Bruin, “A Grey-Box Approach to Component Composition”, in Generative and Component-Based Software Engineering (GCSE 99), pp. 195–209, 1999.

R.J.A. Buhr, “Use Case Maps for Attributing Behaviour to System Architecture”, in Fourth Int. Work. on Parallel and Distributed Real Time Systems (WPDRTS), pp. 3–10, 1996.

R.J.A. Buhr, “Design Patterns at Different Scales”, in Pattern Languages of Programs (PLoP96), June 1996.

R.J.A. Buhr, “A Possible Design Notation for Aspect Oriented Programming”, in ECOOP Workshop on Aspect Oriented Programming, Brussels, Belgium, July 1998.

R.J.A. Buhr, “Use Case Maps as Architectural Entities for Complex Systems”. IEEE Transactions on Software Engineering, 24(12), pp. 1131–1155, December 1998. doi:10.1109/32.738343

R.J.A. Buhr, “Understanding Macroscopic Behaviour Patterns in Object-Oriented Frameworks, with Use Case Maps (chapter 18)”. Building Application Frameworks: Object-Oriented Foundations of Framework Design, Wiley, pp. 415–440, September 1999.

R.J.A. Buhr, D. Amyot, M. Elammari, D. Quesnel, T. Gray, and S. Mankovski, “Feature-Interaction Visualiza-tion and Resolution in an Agent Environment”, in Fifth Int. Work. on Feature Interactions in Telecommunications and Software Systems (FIW'98), IOS Press, pp. 135–149, July 1998.

R.J.A. Buhr and R.S. Casselman, Use Case Maps for Object-Oriented Systems. Prentice-Hall, November 1995.

G. Bush, S. Cranefield, and M.K. Purvis, “The Styx agent methodology”. Information Science Discussion Paper Series, 2001/02, University of Otago, New Zealand, 2001.

Z. Cai and E.Yu, “Addressing Performance Requirements Using a Goal and Scenario-Oriented Approach”, in CAISE'02: 14th Int. Conf. on Advanced Information Systems Engineering, LNCS 2348, Springer, pp. 706–710, May 2002. doi:10.1007/3-540-47961-9

M. Calder, M. Kolberg, E.H. Magill, and S. Reiff-Marganiec, “Feature interaction: a critical review and considered forecast”. Computer Networks, 41, pp. 115–141, 2003.

R.S. Casselman, A Role-Based Architectural Model Applied to Object-Oriented Systems. Master’s thesis, SCE Dept., Carleton University, Canada, August 1993.

H.N. Castejón Martínez, “Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps”, in 12th SDL Forum (SDL 2005), LNCS 3530, Springer, pp. 339–359, June 2005. doi:10.1007/

_24

H.N. Castejón, Collaborations in Service Engineering: Modeling, Analysis and Execution. Ph.D. thesis, Dept. of Telematics, NTNU, Norway, November 2008.

L. Charfi, Formal Modeling and Test Generation Automation with Use Case Maps and LOTOS. M.Sc. thesis, SITE, University of Ottawa, Canada, Feb. 2001.

P. Chen, Goal-Oriented Business Process Monitoring: An Approach based on User Requirement Notation combined with Business Intelligence and Web Services. M.Sc. thesis, SCS Dept., Carleton University, Canada, December 2007.

J. Cheng, L. Yang, Y.-J. Kuai, and D.-F. Zhang, “Non-deterministic feature interaction filtering method based on scenarios with Use Case Map” (基于用例图呼叫处理场景的不

确定性冲突过滤方法), Hunan Daxue Xuebao / Journal of Hunan University Natural Sciences, 32(2), pp. 104–109, April 2005.

L. Chung, B.A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering. Kluwer Academic Publisher, 2000.

L. Constantine and L. Lockwood, Software for Use: A Practical Guide to the Models and Methods of User-Centered Design. Addison-Wesley, April 1999.

H. de Bruin, “Scenario-Based Analysis of Component Compositions”, in Generative and Component-Based Software Engineering (GCSE'00), LNCS 2177, Springer, pp. 129–146, Oct. 2000. doi:10.1007/3-540-44815-2_10

H. de Bruin and H. van Vliet, “Quality-Driven Software Architecture Composition”. Journal of Systems and Software, 66(3), Elsevier, pp. 269–284, June 2003. doi:10.1016/S0164-1212(02)00079-1

J.A. Díaz-Pace, J.P. Carlino, M. Blech, A. Soria, and M.R. Campo, “Assisting the Synchronization of UCM-based Architectural Documentation with Implementation”, in IEEE/IFIP Conf. on Software Architecture and European Conference on Software Architecture (WICSA/ECSA 2009), IEEE CS, pp. 151–160, September 2009. doi:10.1109/WICSA.2009.5290801

C. Dongmo and J. A. van der Poll, “Use Case Maps as an Aid in the Construction of a Formal Specification”, in 7th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2009), INSTICC Press, pp. 3–13, May 2009.

M. Elammari and W. Lalonde, “An agent-oriented methodology: High-level and intermediate models”, in Proc. 1st Int. Workshop on Agent-Oriented Information Systems, Seattle, USA, June 1999.

Y. Feng and L.-S. Lee, “The Importance Analysis of Use Case Map with Markov Chains”. Int. J. of Computer Science and Information Security (IJCSIS), 7(1), pp. 55–62, January 2010. arXiv:1002.1692v1

E. Folmer, J. van Gurp, and J. Bosch, “Scenario-based Assessment of Software Architecture Usability”, in Work. on Bridging the Gaps Between Software Engineering and Human-Computer Interaction (SE-HCI), IFIP, pp. 61–68, May 2003.

Y. Gao, Import/Export of URN Models in Z.151 XML File Format with jUCMNav. M.Sc. project, SITE, University of Ottawa, Canada, January 2010.

N. Genon, D. Amyot, and P. Heymans, “Analysing the Cognitive Effectiveness of the UCM Visual Notation”, in 6th Workshop on System Analysis and Modelling (SAM 2010), LNCS, Springer, October 2010 (to appear).

S. Ghanavati, A Compliance Framework for Business Processes Based on URN. M.Sc. thesis, SYS, University of Ottawa, Canada, May 2007.

S. Ghanavati, D. Amyot, and L. Peyton, “Towards a Framework for Tracking Legal Compliance in Healthcare”, in 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE'07), LNCS 44495, Springer, pp. 218–232, June 2007. doi:10.1007/978-3-540-72988-4_16

S. Ghanavati, D. Amyot, A. Siena, A. Perini, and A. Susi, “Towards a Framework for Business Process Compliance”, in Int. Workshop on Goal-based Business Process Engineering (WGBP 2010), IEEE CS, pp. 330–334, October 2010. doi:10.1109/EDOCW.2010.46

S. Ghanavati, A. Siena, D. Amyot, A. Perini, L. Peyton, and A. Susi, “Integrating Business Strategies with Requirement Models of Legal Compliance”. Int. J. of Electronic Business, Inderscience Publishers, pp. 260–280, 2010. doi:10.1504/IJEB.2010.034171

J. Gordijn and J.M. Akkermans, “Value-based Requirements Engineering Exploring Innovative e-Commerce Ideas”. Requirements Engineering, 8(2), Springer, pp. 114–134, 2003. doi:10.1007/s00766-003-0169-x

J. Gordijn, Value-based Requirements Engineering Exploring Innovative e-Commerce Ideas. Ph.D. thesis, Vrije Universiteit, Amsterdam, The Netherlands, June 2002. doi:10.1007/s00766-003-0169-x

J. Gordijn and J.C. van Vliet, “Integral Design of E-Commerce Systems: Aligning the Business with Software Architecture through Scenarios”, in ICT-Architecture in the BeNeLux (ICT 1999), 1999.

N. Gorse, The Feature Interaction Problem: Automatic Filtering of Incoherences & Generation of Validation Test Suites at the Design Stage. M.Sc. thesis, SITE, University of Ottawa, Canada, September 2001.

D. Gross and E.S.K. Yu, “From Non-Functional Requirements to Design through Patterns”. Requirements Engineering, 6(1), Springer, pp. 18–36, 2001.

R. Guan, From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS. M.Sc. thesis, SITE, University of Ottawa, Canada, September 2002.

A. Hamou-Lhadj, E. Braun, D. Amyot, and T. Lethbridge, “Recovering Behavioral Design Models from Execution Traces”, in 9th European Conf. on Software Maintenance and Reengineering (CSMR), IEEE CS, pp. 112–121, March 2005. doi:10.1109/CSMR.2005.46

J. Hassine, Feature Interaction Filtering and Detection with Use Case Maps and LOTOS. M.Sc. thesis, SITE, University of Ottawa, Canada, February 2001.

J. Hassine, Formal Semantics and Verification of Use Case Maps. Ph.D. thesis, CSCE dept., Concordia University, Canada, April 2008.

J. Hassine, “AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps”, in Abstract State Machines, Alloy, B and Z (ABZ 2010), LNCS 5977, Springer, pp. 34–36, 2010. doi:10.1007/978-3-642-11811-1_4

J. Hassine, “Early Schedulability Analysis with Timed Use Case Maps”, in SDL 2009: Design for Motes and Mobiles, 14th Int. SDL Forum, LNCS 5719, Springer, pp. 98–114, Sept. 2009. doi:10.1007/978-3-642-04554-7_7

J. Hassine, J. Rilling, and R. Dssouli, “An ASM Operational Semantics for Use Case Maps”, in 13th IEEE Int. Requirement Engineering Conf. (RE05), IEEE CS, pp. 467–468, September 2005. doi:10.1109/RE.2005.10

J. Hassine, J. Rilling, and R. Dssouli, “Timed Use Case Maps”, in SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, LNCS 4320, Springer, pp. 99–114, 2006. doi:10.1007/

_7

J. Hassine, J. Rilling and R. Dssouli, “Formal Verification of Use Case Maps with Real Time Extensions”, in SDL-Forum 2007, LNCS 4745, Springer, pp. 225–241, 2007. doi:10.1007/978-3-540-74984-4_14

J. Hassine, J. Rilling, and R. Dssouli, “Use Case Maps as a property specification language”, Software and Systems Modeling, 8(2), pp. 205–220, 2009. doi:10.1007/s10270-007-0076-6

J. Hassine, J. Rilling, and R. Dssouli, “An evaluation of timed scenario notations”. Journal of Systems and Software, 83(2), pp. 326–350, 2010. doi:10.1016/

j.jss.2009.09.014

Y. He, D. Amyot, and A. Williams, “Synthesizing SDL from Use Case Maps: An Experiment”, in 11th SDL Forum (SDL'03), LNCS 2708, Springer, pp. 117–136, July 2003. doi:10.1007/3-540-45075-0_7

J. Hewitt and J. Rilling, “A Light-Weight Proactive Software Change Impact Analysis Using Use Case Maps”, in IEEE Int. Workshop on Software Evolvability, IEEE CS, pp. 41–46, 2005. doi:10.1109/IWSE.2005.1

P. Heymans, G. Saval, G. Dallons, and I. Pollet, “Chapter VIII: A Template-Based Analysis of GRL”. Advanced Topics in Database Research, IGI Publishing, pp. 124–147, 2006. doi:10.4018/978-1-59140-935-9.ch008

J. Hodges and J. Visser, “Accelerating Wireless Intelligent Network Standards Through Formal Techniques”, in IEEE 1999 Vehicular Technology Conference, IEEE CS, pp. 737–742, 1999. doi:10.1109/VETEC.1999.778276

i* Wiki, http://istar.rwth-aachen.de/ (last accessed: July 12, 2010).

IBM, Rational DOORS, USA, November 2010. http://www.ibm.com/software/awdtools/doors/

ISO, Information Processing Systems, Open Systems Interconnection, LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807, 1989.

ITU-T, Recommendation I.130 (11/88), Method for the characterization of telecommunication services supported by an ISDN and network capabilities of an ISDN. November 1988.

ITU-T, Recommendation M.3020 (07/07), Management interface specification methodology. July 2007.

ITU-T, Recommendation Z.100 (11/07), Specification and Description Language. November 2007.

ITU-T, Recommendation Z.111 (11/08), Notations to Define ITU-T Languages. November 2008.

ITU-T, Recommendation Z.120 (04/04), Message Sequence Chart (MSC). April 2004.

ITU-T, Recommendation Z.150 (02/03), User Requirements Notation (URN) – Language Requirements and Framework. February 2003.

ITU-T, Recommendation Z.151 (11/08), User Requirements Notation (URN) – Language definition. November 2008. http://www.itu.int/rec/T-REC-Z.151/en

M. Jackson, Problem Frames: Analyzing and Structuring Software Development Problem. Addison-Wesley, 2001.

S. Jaskó, T. Dulaia, D. Muhia, and K. Tarnaya, “Test aspect of requirement specification”. Computer Standards & Interfaces, 32(1-2), pp. 1–9, January 2010. doi:10.1016/j.csi.2008.12.005

B. Jiang, Combining Graphical Scenarios with a Requirements Management System. M.Sc. thesis, SITE, University of Ottawa, Canada, June 2005.

jUCMNav 4.3, University of Ottawa, Canada, September 2010. http://jucmnav.softwareengineering.ca/jucmnav

C. Kaewkasi and W. Rivepiboon, “WWM: a practical methodology for Web application modeling”, in 26th Annual Int. Computer Software and Applications Conf. (COMPSAC 2002), IEEE CS, pp. 603–608, August 2002. doi:10.1109/CMPSAC.2002.1045070

P. Karpati, G. Sindre and A.L. Opdahl, “Visualizing Cyber Attacks with Misuse Case Maps”, in 16th Int. Working Conf. on Requirements Engineering: Foundation for Software Quality (REFSQ 2010), LNCS 6182, Springer, pp. 262–275, June 2010. doi:10.1007/978-3-642-14192-8_24

R. Kazman and S.J. Carrière, “Playing Detective: Reconstructing Software Architecture from Available Evidence”. Automated Software Engineering, 6(2), pp. 107–138, 1999. doi:10.1023/A:1008781513258

J. Kealey, Enhanced Use Case Map Analysis and Transformation Tooling. M.Sc. thesis, SITE, University of Ottawa, Canada, September 2007.

J. Kealey and D. Amyot, “Enhanced Use Case Map Traversal Semantics”, in 13th SDL Forum (SDL'07), LNCS 4745, Springer, pp. 133–149, September 2007. doi:10.1007/978-3-540-74984-4_9

J. Kealey, Y. Kim, D. Amyot, and G. Mussbacher, “Integrating an Eclipse-Based Scenario Modeling Environment with a Requirements Management System”, in 2006 IEEE Canadian Conf. on Electrical and Computer Engineering (CCECE06), IEEE CS, pp. 2432–2435, May 2006.

J. Kealey, E. Tremblay, J.-P. Daigle, J. McManus, O. Clift-Noël, and D. Amyot, “jUCMNav: une nouvelle plateforme ouverte pour l'édition et l'analyse de modèles UCM”, in 5ième Nouvelles Technologies de la Répartition (NOTERE 2005), Gatineau, Canada, pp. 215–222, August 2005.

B. Kitchenham, O. Pearl Brereton, D. Budgen, M. Turner, J. Bailey, and S. Linkman, “Systematic literature reviews in software engineering - A systematic literature review”. Inf. Softw. Technol. 51, 1, pp. 7–15, Jan. 2009. doi:10.1016/j.infsof.2008.09.009

C. Kuziemsky, X. Liu, and L. Peyton, “Leveraging Goal Models and Performance Indicators to Assess Health Care Information Systems”. 7th Int. Conf. on the Quality of Information and Communications Technology (QUATIC 2010), IEEE CS, Porto, Portugal, September 2010. doi:10.1109/QUATIC.2010.37

E. Lavendelis and J. Grundspenkis, “MASITS - A Tool for Multi-Agent Based Intelligent Tutoring System Development”, in 7th Int. Conf. on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2009), Advances in Soft. Computing Vol. 55, Springer, pp. 490–500, March 2009. doi:10.1007/978-3-642-00487-2_52

P. Leelaprute, M. Nakamura, K. Matsumoto, and T. Kikuno, “Design and Evaluation of Feature Interaction Filtering with Use Case Maps”. NECTEC Technical Journal, 5(16) pp. 581–597, December 2005.

T. Lethbridge and J. Singer, “Studies of the Work Practices of Software Engineers”. Advances in Software Engineering: Comprehension, Evaluation and Evolution, Springer-Verlag, pp. 51–72, 2002.

H. Liu, Multilevel Performance Analysis of Scenario Specification for a Presence System. M.Sc. thesis, SCE Dept., Carleton University, Canada, October 2002.

L. Liu and E. Yu, “From requirements to architectural design—using goals and scenarios”, in ICSE-2001 Workshop: From Software Requirements to Architectures (STRAW 2001), Toronto, Canada, pp.22–30, May 2001.

L. Liu and E. Yu, “Designing Information Systems in Social Context: A Goal and Scenario Modelling Approach”. Information Systems, pp. 187–203, April 2004. doi:10.1016/S0306-4379(03)00052-8

L. Liu and E. Yu, GRL - Goal-oriented Requirement Language, 2000. http://www.cs.toronto.edu/km/GRL/

R. Matulevičius, P. Heymans, and A. L. Opdahl, “Comparing GRL and KAOS using the UEML Approach”. Enterprise Interoperability II: New Challenges and Approaches, August 2007, pp. 77-88

A. Medve, “Advanced steps with standardized languages in the re-engineering process”. Computer Standards & Interfaces, 30(5), Elsevier, p. 315–322, July 2008. doi:10.1016/j.csi.2007.09.004

A. Miga, Application of Use Case Maps to System Design With Tool Support. Master’s thesis, SCE Dept., Carleton University, Canada, October 1998.

A. Miga, D. Amyot, F. Bordeleau, D. Cameron, and M. Woodside, “Deriving Message Sequence Charts from Use Case Maps Scenario Specifications”, in Meeting UML - Tenth SDL Forum (SDL'01), LNCS 2078, Springer, pp. 268–287, June 2001. doi:10.1007/3-540-48213-X_17

F. Molina, J. Pardillo, C. Cachero, and A. Toval, “An MDE Modeling Framework for Measurable Goal-Oriented Requirements”. Int. J. of Intelligent Systems, 25(8), Wiley, pp. 757–783, August 2010. doi:10.1002/

int.20430

O. Monkewich, I. Sales, and R. L. Probert, “OSPF Efficient LSA Refreshment Function in SDL”, in Tenth SDL Forum (SDL'01), LNCS 2078, Springer, June 2001, pp. 300–315. doi:10.1007/3-540-48213-X_19

D.L. Moody, P. Heymans, and R. Matulevičius, “Visual syntax does matter: improving the cognitive effectiveness of the i* visual notation”. Requirements Engineering, 15(2), Springer, pp.141–175, 2010. doi:10.1007/s00766-010-0100-1

G. Mussbacher, Aspect-oriented User Requirements Notation. Ph.D. thesis, SITE, University of Ottawa, Canada, November 2010.

G. Mussbacher and D. Amyot, “A Collection of Patterns for Use Case Maps”, in First Latin American Conf. on Pattern Languages of Programming (SugarLoafPLoP), UERJ - Série Informática, Special Edition, pp. 57–82, June 2002.

G. Mussbacher and D. Amyot, “Assessing the Applicability of Use Case Maps for Business Process and Workflow Description”, in 3rd Int. MCeTech Conference on eTechnologies, IEEE CS, pp. 219–222, January 2008. doi:10.1109/MCETECH.2008.18

G. Mussbacher and D. Amyot, “Goal and Scenario Modeling, Analysis, and Transformation with jUCMNav”, in 31st Int. Conf. on Software Engineering (ICSE-Companion), ACM, Canada, pp. 431–432, May 2009. doi:10.1109/ICSE-COMPANION.2009.5071047

G. Mussbacher, D. Amyot, J. Araújo, and A. Moreira, “Modeling Software Product Lines with AoURN”, in Early Aspects Workshop @ AOSD08, ACM, March 2008. doi:10.1145/1404946.1404948

G. Mussbacher, D. Amyot, J. Araújo, and A. Moreira, “Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study”. Transactions on Aspect-Oriented Software Development VII, LNCS 6210, Springer, pp. 23–68, 2010. doi:10.1007/978-3-642-16086-8_2

G. Mussbacher, D. Amyot, and M. Weiss, “Formalizing Patterns with the User Requirements Notation”. Design patterns formalization techniques, IGI Global, pp. 302–322, 2007. doi:10.4018/978-1-59904-219-0.ch014

G. Mussbacher, D. Amyot, and M. Weiss, “Visualizing Early Aspects with Use Case Maps”. LNCS Journal on Transactions on Aspect-Oriented Software Development, LNCS 4620, Springer, p. 105–143, November 2007. doi:10.1007/978-3-540-75162-5_5

G. Mussbacher, D. Amyot, and J. Whittle, “Refactoring-Safe Modeling of Aspect-Oriented Scenarios”, in 12th Int. Conf. on Model Driven Eng. Languages and Systems (MODELS 2009), LNCS 5795, Springer, pp. 286–300, October 2009. doi:10.1007/978-3-642-04425-0_21

G. Mussbacher, J. Whittle, and D. Amyot, “Modeling and Detecting Semantic-Based Interactions in Aspect-Oriented Scenarios”. Requirements Engineering, 15(2), Springer, pp.197-214, 2010. doi:10.1007/s00766-010-0098-4

M. Nakamura, T. Kikuno, J. Hassine, and L. Logrippo, “Feature Interaction Filtering with Use Case Maps at Requirements Stage”, in Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00), IOS Press, pp. 163–178, May 2000.

Object Management Group, BPMN 1.2 Specification, formal/2009-01-03, January 2009.

Object Management Group, UML 2.2 Specification, formal/2009-02-04, February 2009.

Object Management Group, UML Profile for Schedulability, Performance and Time, v1.0, formal/03-09-01, September 2003.

Object Management Group, UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE), v1.0, formal 2009-11-02, November 2009.

C. Ölvingson, N. Hallberg, T. Timpka, and K. Lindqvist, “Requirements Engineering for Inter-Organizational Health Information Systems with Functions for Spatial Analyses: Modeling a WHO Safe Community Applying Use Case Maps”. Methods of Information in Medicine, Schattauer Gmb H, 4/2002, pp. 299–304, 2002.

OpenOME, an open-source requirements engineering tool, University of Toronto, Canada, November 2010. https://se.cs.toronto.edu/trac/ome

T. Okamura, M. Nakamura, and H. Igaki, “Finding Optimal Energy-Saving Operations in Home Network System Based on Effects between Appliances and Environment”, in 8th Asia-Pacific Symp. on Information and Telecommunication Technologies (APSITT 2010), IEEE CS, Kuching, Malaysia, , pp. 1–6, June 2010.

D.B. Petriu, Layered Software Performance Models Constructed from Use Case Map Specifications. M.Eng. thesis, SCE Dept., Carleton University, Canada, May 2001.

D.B. Petriu, D. Amyot, and C.M. Woodside, “Scenario-Based Performance Engineering with UCMNav”, in 11th SDL Forum (SDL'03), LNCS 2708, Springer, pp. 18–35, July 2003. doi:10.1007/3-540-45075-0

D.B. Petriu and C.M. Woodside, “Software performance models from system scenarios”. Performance Evaluation, 61(1), Elsevier, pp. 65–89, June 2005. doi:10.1016/

j.peva.2004.09.005

D.B. Petriu and C.M. Woodside, “An intermediate metamodel with scenarios and resources for generating performance models from UML designs”. Software and Systems Modeling, 6(2), Springer, pp. 163–184, June 2007. doi:10.1007/s10270-006-0026-8

A. Pourshahid, A URN-Based Methodology for Business Process Monitoring, M.Sc. thesis, EBT, University of Ottawa, Canada, March 2008.

A. Pourshahid, P. Chen, D. Amyot, A.J. Forster, S. Ghanavati, L. Peyton, and M. Weiss, “Business Process Management with the User Requirements Notation”. Electronic Commerce Research, 9(4), Springer, pp. 269–316, December 2009. doi:10.1007/s10660-009-9039-z

A. Pourshahid, G. Mussbacher, D. Amyot, and M. Weiss, “Toward an Aspect-Oriented Framework for Business Process Improvement”. Int. J. of Electronic Business, 8(3), Inderscience Publisers, pp. 233–259, 2010. doi:10.1504/IJEB.2010.034170

A. Pourshahid and T. Tran, “Toward an Effective Trust Management System for E-Commerce: Modeling Trust Components and Processes Using URN”. Journal of Business and Technology (JBT), 2(2), Atlantic Academic Press, pp. 37–46, 2007.

J.-F. Roy, J. Kealey, and D. Amyot, “Towards Integrated Tool Support for the User Requirements Notation”, in SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, LNCS 4320, Springer, pp. 198–215, May 2006. doi:10.1007/11951148_13

J.-F. Roy, Requirement Engineering with URN: Integrating Goals and Scenarios. M.Sc. thesis, SITE, University of Ottawa, Canada, March 2007

N. Russell, A.H.M. ter Hofstede, W.M.P. van der Aalst, and N. Mulyar, Workflow Control-Flow Patterns: A Re-vised View. BPM Center Report BPM-06-22, 2006. http://workflowpatterns.com/

Sandrila Ltd., Sandrila SDL. UK, November 2010. http://www.sandrila.co.uk

H. Saiedian, P. Kumarakulasingam, and M. Anan, “Scenario-Based Requirements Analysis Techniques for Real-Time Software Systems: A Comparative Evaluation”. Requirements Engineering, 10(1), Springer, pp. 22–33, January 2005. doi:10.1007/s00766-004-0192-6

K. Saleh and A. Al-Zarouni, “Capturing Non-Functional Software Requirements using the User Requirements Notation”, in 2004 Int. Research Conf. on Innovation in Information Technology (IIT'04), Dubai, pp. 222–230, October 2004.

K. Saleh and G. Elshahry, “Modeling Security Requirements for Trustworthy Systems”. Encyclopedia of Information Science and Technology, 2nd edition, IGI Global, pp. 2657–2664, 2009. doi:10.4018/978-1-60566-026-4.ch424

I. Sales, A Bridging Methodology for Internet Protocols Standards Development. M.Sc. thesis, SITE, University of Ottawa, Canada, August 2001.

I.S. Sales and R.L. Probert, “From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language”, in 18th Brazilian Symp. on Computer Networks (SBRC2000), Brazil, May 2000.

W.C. Scratchley, Evaluation and Diagnosis of Concurrency Architectures. Ph.D. thesis, SCE Dept., Carleton University, Canada, July 2000.

W.C. Scratchley and C.M. Woodside, “Evaluating Concurrency Options in Software Specifications”, in Seventh Int. Symp. on Modelling, Analysis and Simulation of Computer and Telecom. Systems (MASCOTS'99), College Park, USA, pp. 330–338, October 1999. doi:10.1109/MASCOT.1999.805071

S. Schneider, The B-Method: An Introduction, Palgrave, Cornerstones of Computing series, 2001.

A. Shamsaei, A. Pourshahid, and D. Amyot, “Business Process Compliance Tracking Using Key Performance Indicators”, in 6th Int. Workshop on Business Process Design (BPD 2010), LNBIP 66, Springer, pp. 73–84, September 2010.

M. Shiri, Supporting UCM Requirements Evolution by Means of Formal Concept Analysis. M.Sc. thesis, CSCE dept., Concordia University, Canada, February 2008.

M. Shiri, J. Hassine, and J. Rilling, “Feature Interaction Analysis: A Maintenance Perspective”, in 22nd IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), ACM Press, pp. 437–440, November 2007. doi:10.1145/1321631.1321703

K.H. Siddiqui and C. M. Woodside, “Performance Aware Software Development (PASD) Using Resource Demand Budgets”, in WOSP 2002: Third Int. Work. on Software and Performance, ACM Press, pp. 275-285, July 2002. doi:10.1145/584369.584412

G. Smith, The Object-Z Specification Language. Advances in Formal Methods Series, Kluwer Academic Publishers, 2000.

Software Performance Research Group, Layered Queueing Research Resource Page. Carleton University, Canada, November 2010. http://www.layeredqueues.org/

A. Soria, J.A. Díaz-Pace, and M.R. Campo, “Tool Support for Fault Localization Using Architectural Models”, 13th European Conf. on Software Maintenance and Reengineering (CSMR), IEEE CS, March 2009, pp. 59–68. doi:10.1109/CSMR.2009.42

C.H. Störmer, Software Quality Attribute Analysis by Architecture Reconstruction (SQUA3RE), Ph.D. thesis, Vrije Universiteit, The Netherlands, March 2007.

N.-T. Truong, T.M.T. Tran, V.-K. To, and V.H. Nguyen, “Checking the Consistency between UCM and PSM Using a Graph-Based Method”, in 1st Asian Conf. on Intelligent Information and Database System (ACIIDS 09), IEEE CS, pp. 190–195, April 2009. doi:10.1109/ACIIDS.2009.66

Use Case Map Navigator (UCMNAV) 2.3, July 2005. http://jucmnav.softwareengineering.ca/ucm/bin/view/UCM/UcmNav

URN Virtual Library, http://www.UseCaseMaps.org/pub (last accessed: July 27, 2010).

J.A. van der Poll, P. Kotze, A. Seffah, T. Radhakrishnan, and E. Alsumait, “Combining UCMs and Formal Methods for Representing and Checking the Validity of Scenarios as User Requirements”, in 2003 annual research conf. of the South African Institute of Computer Scientists and Information Technologists (SAICSIT 2003), Johannesburg, South Africa, pp. 59–68, September 2003.

B. van der Raadt, Business-Oriented Exploration of Web Services Ideas - Combining Goal-Oriented and Value-Based Approaches. MSc. Thesis, Vrije Universiteit, Amsterdam, The Netherlands, February 2005.

A. van Lamsweerde, Requirements engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, 2009.

M. Vigder, Applying Formal Techniques to the Design of Concurrent Systems. Ph.D. thesis, SCE Dept., Carleton University, Canada, July 1992.

M. Vinje, An Auditing Framework for Service Provision in Mobile IPv6 Networks. Diploma Thesis, EPF Zurich, Switzerland, August 2002.

M. Weiss, “Pattern-Driven Design of Agent Systems: Approach and Case Study”, in 15th Conf. on Advanced Information Systems Engineering (CAiSE'03), LNCS 2681, Springer, pp. 711–723, June 2003. doi:10.1007/3-540-45017-3

M. Weiss, “More Patterns for Web Applications”, in Tenth European Conf. on Pattern Languages of Programs (Euro PLoP 2005), Irsee, Germany, pp. 21–34, July 2005.

M. Weiss and D. Amyot, “Business process modeling with URN,” Int. J. of E-Business Research, 1(3), pp. 63–90, 2005. doi:10.4018/jebr.2005070104

M. Weiss and B. Esfandiari, “On Feature Interactions among Web Services”. Int. J. of Web Services Research, 2(4) pp. 22–47, October 2005. doi:10.4018/jwsr.

M. Weiss, B. Esfandiari, and Y. Luo, “Towards a classification of Web service feature interactions”. Computer Networks, 51(2), Elsevier, pp. 359–381, February 2007. doi:10.1016/j.comnet.2006.08.003

M. Weiss and H. Mouratidis, “Selecting Security Patterns that Fulfill Security Requirements”, in 16th IEEE Int. Requirements Engineering Conf. (RE'08), IEEE CS, pp. 169–172, September 2008. doi:10.1109/RE.2008.32

P. Wu and C.M. Woodside, “An Aggregation Approach to Constructing Hybrid Layered Queueing Models”, in 7th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS7), Torino, Italy, September 2005.

W. Wu and T.P. Kelly, “Managing Architectural Design Decisions for Safety-Critical Software Systems”, in 2nd Int. Conf. on the Quality of Software Architectures (QoSA 2006), LNCS 4126, Springer, pp. 59–77, June 2006. doi:10.1007/11921998_9

Z. Yi, CNAP Specification and Validation: A Design Methodology Using LOTOS and UCM. M.Sc. thesis, SITE, University of Ottawa, Canada, January 2000.

E.S.-K. Yu, Modelling strategic relationships for process reengineering. Ph.D. thesis, Dept. of Computer Science, University of Toronto, Canada, 1995.

E. Yu, Y. Yu, and L. Liu, OME — Organization Modelling Environment, University of Toronto, 2000. http://www.cs.toronto.edu/km/ome/

X.Y. Zeng, Transforming Use Case Maps to the Core Scenario Model Representation. M.Sc. thesis, SITE, University of Ottawa, Canada, June 2005

R. Zhang and X.-X. Liu, “Feature Interaction Filtering Method Based on URN (基于 URN 的特征冲突过滤方法)”, Computer Engineering (计 算 机 工 程), 35(21), pp. 45–47, November 2009.


Full Text: PDF


Journal of Software (JSW, ISSN 1796-217X)

Copyright @ 2006-2014 by ACADEMY PUBLISHER – All rights reserved.