Journal of Software - Academy Publisher
Journal of Software - Academy Publisher
Journal of Software - Academy Publisher
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
762 JOURNAL OF SOFTWARE, VOL. 6, NO. 5, MAY 2011<br />
We believe that the next ten years <strong>of</strong> URN<br />
development will be even more active than the first ten<br />
and will focus on the major topics identified in Section<br />
VI, including domain-specific pr<strong>of</strong>iles, enhanced<br />
workflow executions, performance and compliance<br />
management, formal semantics, improved analysis<br />
techniques and model representations, and guidelines and<br />
methodologies.<br />
We hope this survey paper represents a useful one-stop<br />
document for URN beginners and experts alike. We also<br />
take the opportunity to invite users and other interested<br />
parties to get actively involved in future developments <strong>of</strong><br />
the User Requirements Notation.<br />
ACKNOWLEDGMENT<br />
The authors wish to thank the many people who have<br />
contributed to the success <strong>of</strong> the User Requirements<br />
Notation over the years, with special thanks to C.M.<br />
Woodside and T. Gray for comments on an earlier draft<br />
<strong>of</strong> this paper. This work was supported in part by the<br />
Discovery grants and Postgraduate Scholarships<br />
programs from NSERC (Canada) and by the Ontario<br />
Graduate Scholarship Program.<br />
REFERENCES<br />
[1] T. Abdelaziz, Towards a Comprehensive Agent-Oriented<br />
S<strong>of</strong>tware Engineering Methodology, Doctoral<br />
Dissertation, Universität Duisburg-Essen, Germany,<br />
October 2008<br />
[2] T. Abdelaziz, M. Elammari, and R. Unland, “Visualizing<br />
a Multiagent-Based Medical Diagnosis System Using a<br />
Methodology Based on Use Case Maps”, in MATES<br />
2004: multiagent system technologies, LNCS 3187,<br />
Springer, pp. 198–212, 2004. doi:10.1007/978-3-540-<br />
30082-3_15<br />
[3] M.R. Abid, D. Amyot, S.S. Somé, and G. Mussbacher, “A<br />
UML Pr<strong>of</strong>ile for Goal-Oriented Modeling”, in SDL 2009:<br />
Design for Motes and Mobiles, 14th Int. SDL Forum,<br />
LNCS 5719, Springer, pp. 133–148, September 2009.<br />
doi:10.1007/978-3-642-04554-7_9<br />
[4] G. Adamis, R. Horváth, Z. Pap, and K. Tarnay,<br />
“Standardized languages for telecommunication systems”.<br />
Computer Standards & Interfaces, 27(3), Elsevier, pp.<br />
191–205, March 2005. doi:10.1016/j.csi.2004.09.005<br />
[5] C.P. Ayala, C. Cares, J.P. Carvallo, G. Grau, M. Haya, G.<br />
Salazar, X. Franch, E. Mayol, and C. Quer, “A<br />
Comparative Analysis <strong>of</strong> i*-Based Goal-Oriented<br />
Modelling Languages”, in Int. Workshop on Agent-<br />
Oriented S<strong>of</strong>tware Development Methodologies (AOSDM<br />
@SEKE), Taipei, China, pp. 43–50, July 2005<br />
[6] A. Alsumait, User Interface Requirements Engineering: A<br />
Scenario-Based Framework. Ph.D. thesis, Concordia<br />
University, Canada, August 2004.<br />
[7] A. Alsumait, A. Seffah, and T. Radhakrishnan, “Use Case<br />
Maps: A Roadmap for Usability and S<strong>of</strong>tware Integrated<br />
Specification”, in 17th World Computer Congress - TC13<br />
Stream on Usability, IFIP, pp. 119–131, August 2002,<br />
[8] D. Amyot, Specification and Validation <strong>of</strong> Telecommunications<br />
Systems with Use Case Maps and LOTOS. Ph.D.<br />
thesis, SITE, University <strong>of</strong> Ottawa, Canada, Sept. 2001.<br />
[9] D. Amyot, “Introduction to the User Requirements<br />
Notation: Learning by Example”. Computer Networks,<br />
© 2011 ACADEMY PUBLISHER<br />
42(3), pp. 285–301, June 2003. doi:10.1016/S1389-<br />
1286(03)00244-5<br />
[10] D. Amyot and R. Andrade, “Description <strong>of</strong> Wireless<br />
Intelligent Network Services with Use Case Maps”, in<br />
17th Brazilian Symposium on Computer Networks<br />
(SBRC'99), Salvador, Brazil, pp. 418–433, May 1999.<br />
[11] D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, and Z.<br />
Yi, “Formal Methods for Mobility Standards”, in IEEE<br />
1999 Emerging Technology Symposium on Wireless<br />
Communications & Systems, Dallas, USA, pp. 14.1–14.7,<br />
April 1999. doi:10.1109/ETWCS.1999.897332<br />
[12] D. Amyot, H. Becha, R. Bræk, and J.E.Y. Rossebø, “Next<br />
Generation Service Engineering”, in ITU-T Innovations in<br />
NGN - Kaleidoscope Academic Conference, Geneva,<br />
Switzerland, pp. 195–202, May 2008. doi:10.1109/<br />
KINGN.2008.4542266<br />
[13] D. Amyot, F. Bordeleau, R.J.A. Buhr, and L. Logrippo,<br />
“Formal support for design techniques: a Timethreads-<br />
LOTOS approach”, in FORTE VIII, 8th Int. Conf. on<br />
Formal Description Techniques, Chapman & Hall, pp.<br />
57–72, 1995.<br />
[14] D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J.<br />
Sincennes, B. Stepien, and T. Ware, “Feature Description<br />
and Feature Interaction Analysis with Use Case Maps and<br />
LOTOS”, in Sixth International Workshop on Feature<br />
Interactions in Telecommunications and S<strong>of</strong>tware Systems<br />
(FIW'00), IOS Press, pp. 274–289, May 2000.<br />
[15] D. Amyot, D.Y. Cho, X. He, and Y. He, “Generating<br />
Scenarios from Use Case Map Specifications”, in Third<br />
Int. Conf. on Quality S<strong>of</strong>tware (QSIC'03), IEEE CS, pp.<br />
108–115, Nov. 2003. doi:10.1109/QSIC.2003.1319092<br />
[16] D. Amyot and A. Eberlein, “An Evaluation <strong>of</strong> Scenario<br />
Notations and Construction Approaches for<br />
Telecommunication”. Telecommunications Systems<br />
<strong>Journal</strong>, 24(1), Kluwer, pp. 61–94, September 2003.<br />
doi:10.1023/A:1025890110119<br />
[17] D. Amyot, S. Ghanavati, J. Hork<strong>of</strong>f, G. Mussbacher, L.<br />
Peyton, and E. Yu, “Evaluating Goal Models within the<br />
Goal-oriented Requirement Language”. Int. <strong>Journal</strong> <strong>of</strong><br />
Intelligent Systems, 25(8), Wiley, pp. 841–877, August<br />
2010. doi:10.1002/int.20433<br />
[18] D. Amyot, J. Hork<strong>of</strong>f, D. Gross, and G. Mussbacher, “A<br />
Lightweight GRL Pr<strong>of</strong>ile for i* Modeling”, in 3rd Int.<br />
Work. on Requirements, Intentions and Goals in<br />
Conceptual Modeling (RIGiM 2009), LNCS 5833,<br />
Springer, pp. 254–264, Nov. 2009. doi:10.1002/int.20433<br />
[19] D. Amyot, M. Mussbacher, and N. Mansurov,<br />
“Understanding Existing S<strong>of</strong>tware with Use Case Map<br />
Scenarios”, in 3 rd SDL and MSC Workshop (SAM02),<br />
LNCS 2599, Springer, pp. 124–140, June 2002.<br />
doi:10.1007/3-540-36573-7_9<br />
[20] D. Amyot and L. Logrippo, “Use Case Maps and LOTOS<br />
for the Prototyping and Validation <strong>of</strong> a Mobile Group Call<br />
System”. Computer Communications, 23(12), pp. 1135–<br />
1157, July 2000. doi:10.1016/S0140-3664(99)00242-X<br />
[21] D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray, “Use<br />
Case Maps for the Capture and Validation <strong>of</strong> Distributed<br />
Systems Requirements”, in Fourth Int. Symposium on<br />
Requirements Engineering (RE'99), IEEE CS, pp. 44–53,<br />
June 1999. doi:10.1109/ISRE.1999.777984<br />
[22] D. Amyot, J.-F. Roy, and M. Weiss, “UCM-Driven<br />
Testing <strong>of</strong> Web Applications”, in 12th SDL Forum (SDL<br />
2005), LNCS 3530, Springer, pp. 247–264, June 2005.<br />
doi:10.1007/11506843_18<br />
[23] D. Amyot, M. Weiss, and L. Logrippo, “Generation <strong>of</strong><br />
Test Purposes from Use Case Maps”. Computer