Daniel Amyot: Publications

Books Edited

	K. Adi, D. Amyot et L. Logrippo (éditeurs) Actes du 5ième colloque sur les Nouvelles Technologies de la Répartition (NOTERE 2005), Gatineau, Canada, août 2005. ISBN 2-9809043-0-9. [Site Web]
	Amyot, D. and Williams, A.W. (Eds) System Analysis and Modeling - Fourth International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 2-4, 2004, Revised Selected Papers. Lecture Notes in Computer Science, Volume 3319, Springer, 2005. [Presentations]
	Amyot, D. and Logrippo, L. (Eds) Feature Interactions in Telecommunications and Software Systems VII, IOS Press, The Netherlands, May 2003. [Abstracts and Presentations]

Book Chapters

• Pourshahid, A., Peyton, L., Ghanavati, S., Amyot, D., Chen, P., and Weiss, M. (2012) Model-Based Validation of Business Processes. V. Shankararaman, J.L. Zhao and J.K. Lee (Eds) Business Enterprise, Process, and Technology Management: Models and Application. Business Science Reference, IGI Global, USA, 165-183.
• Becha, H., Mussbacher, G., and Amyot, D. (2011) Modeling and Analyzing Non-Functional Requirements in Service Oriented Architecture with the User Requirements Notation. N. Milanovic (Ed.) Non-functional Properties in Service Oriented Architecture: Requirements, Models and Methods. IGI Global, 2011, 48–72.
• Weiss, M. and Amyot, D. (2007) Business Model Design and Evolution. M. Hörlesberger, M. El-Nawawi, and T. Khalil (Eds), Management of Technology, Vol. 1, Challenges in the Management of New Technologies, World Scientific, October 2007, 183-194.
• Mussbacher, G., Amyot, D., and Weiss, M. (2007) Formalizing Patterns with the User Requirements Notation. T. Taibi (Ed.), Design Pattern Formalization Techniques, IGI Global, March 2007, 304-325.
• Weiss, M. and Amyot, D. (2006) Chapter VIII: Business Process Modeling with the User Requirements Notation. I. Lee (Ed.), Advances in E-Business Research: E-Business Innovation and Process Management, Vol. 1, IGI Global, December 2006, 162-193.

Papers in Refereed Journals

• Behnam, S.A. and Amyot, D. (2012) Evolution of Goal-driven Pattern Families for Business Process Modeling. International Journal of Electronic Business, Inderscience Publishers, to appear (accepted Feb. 2012)
• Pourshahid, A., Amyot, D., Shamsaei, A., Mussbacher, G., and Weiss, M. A Systematic Review and Assessment of Aspect-oriented Methods Applied to Business Process Adaptation. Journal of Software (JSW), Academy Publisher, to appear (accepted Jan. 2012)
• Becha, H. and Amyot, D. (2012) Non-Functional Properties in Service Oriented Architecture - A Consumer's Perspective. Journal of Software (JSW), Vol. 7, No. 3, Academy Publisher, March 2012, 575-587
• Mussbacher, G., Araújo, J., Moreira, A., and Amyot, D. (2011) AoURN-based Modeling and Analysis of Software Product Lines. Software Quality Journal, Springer, 2011 (to appear). Published online, July 7, 2011.
• Amyot, D. and Mussbacher, G. (2011) User Requirements Notation: The First Ten Years, The Next Ten Years. Invited paper, Journal of Software (JSW), Vol. 6, No. 5, Academy Publisher, May 2011, 747-768.
• Lanna, M. and Amyot, D. (2011) Spotting the Difference. Software: Practice & Experience, Vol. 41, Issue 6, May 2011, Wiley, 607-626.
• Ferrand, D., Amyot, D., and Villar Corrales, C. (2010) Towards a Business Intelligence Framework for Healthcare Safety. Journal of Internet Banking and Commerce, vol. 15, no. 3, Array Development, 2010, 71-80.
• Mussbacher, G., Amyot, D. Araújo, J., and Moreira, A. (2010) Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study. Transactions on Aspect-Oriented Software Development VII, LNCS 6210, Springer, 2010, 23-68.
• Pourshahid, A., Mussbacher, G., Amyot, D., and Weiss, M. (2010) Toward an Aspect-Oriented Framework for Business Process Improvement. International Journal of Electronic Business, Inderscience Publishers, Vol. 8, No. 3, 2010, 233-259.
• Ghanavati, S., Siena, A., Amyot, D., Perini, A., Peyton, L., and Susi, A. (2010) Integrating Business Strategies with Requirement Models of Legal Compliance. International Journal of Electronic Business, Inderscience Publishers, Vol. 8, No. 3, 2010, 260-280.
• Mussbacher, G., Whittle, J., and Amyot, D. (2010) Modeling Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. Requirements Engineering Journal, 15(2), Springer, 2010, 197-214.
• Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L. and Yu, E. (2010) Evaluating Goal Models within the Goal-oriented Requirement Language. International Journal of Intelligent Systems (IJIS), Vol. 25, Issue 8, August 2010, 841-877.
• El Emam, K., Dankar, F.K., Issa, R., Jonker, E., Amyot, D., Cogo, E., Corriveau, J.-P., Walker, M., Chowdhury, S., Vaillancourt, R., Roffey, T., Bottomley, J. (2009) A Globally Optimal k-Anonymity Method for the De-identification of Health Data. Journal of the American Medical Informatics Association (JAMIA), 16(5), September/October 2009, 670–682.
• Pourshahid, A., Chen, P., Amyot, D., Forster, A.J., Ghanavati, S., Peyton, L., and Weiss, M. (2009) Business Process Management with the User Requirements Notation. Electronic Commerce Research, 9(4), Springer, December 2009, 269-316.
• Peyton, L., Ghanavati, S. and Amyot, D. (2007) Designing for Privacy Compliance and Performance Management in Health Care. Design Principles and Practices: An International Journal, Vol. 1, Number 3, Common Ground, 2007, 13-25.
• Mussbacher, G, Amyot, D., and Weiss, M. (2007) Visualizing Early Aspects with Use Case Maps. Transactions on Aspect-Oriented Software Development III, Springer, 105-143.
• Amyot, D., Weiss, M., and Logrippo L. (2005) UCM-Based Generation of Test Purposes. Computer Networks, 49(5), 643-660.
• Amyot, D., Gray, T., Liscano, R., Logrippo, L, and Sincennes, J. (2005) Interactive Conflict Detection and Resolution for Personalized Features. Journal of Communications and Networks, Vol. 7, No. 3, 353-366, September 2005.
• Weiss, M. and Amyot, D. (2005) Business Process Modeling with URN. International Journal of E-Business Research, 1(3), 63-90, July-September 2005.
• Amyot, D. and Eberlein, A. (2003) An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunications Systems Journal, 24:1, 61-94, September 2003.
• Amyot, D. (2003) Introduction to the User Requirements Notation: Learning by Example. Computer Networks, 42(3), 285-301, 21 June 2003
• Amyot, D. and Logrippo, L. (2000) Use Case Maps and LOTOS for the Prototyping and Validation of a Mobile Group Call System. Computer Communication, 23(12), 1135-1157.

Patents

• Amyot, D, Baker, K., Gray, T., Liscano, R., Seguin, J.-M., and Sincennes, J. (2008) Interactive Conflict Resolution for Personalized Policy-Based Services.
• Canadian patent CA2443337; July 15, 2008
• US patent 7,548,967; June 16, 2009
• European patent EP1411710; December 16, 2009 (also issued as "Interaktive Konfliktauflösung für personalisierten regelbasierten Dienste" and "Résolution interactive de conflit pour services personnalisés basées sur des stratégies de types prédéterminées")
• Gray, T., and Amyot, D (2006) Management of interactions of customisable features in IP telephony using deontic task trees and execution operators.
• European patent EP1389865; October 4, 2006
• Canadian patent CA2436072; January 9, 2008 (issued as Personalizable and Customizable Feature Execution for Telephony Using Operational Semantics and Deontic Task Trees)
• US patent 7,522,710; April 21, 2009 (issued as Personalizable and customizable feature execution for IP telephony using operational semantics and deontic task trees)
• Application also published as DE60308776T2 (August 2007)
• Gray, T., Amyot, D., Leger, O., Young, W., Lakins, I., Day, J., Banger, C., and Athersyth, D. (2004) Tuple Space Operations for Fine Grained Control.
• US patent 6,704,734; March 9, 2004.
• European patent EP1329810; August 18, 2006 (issued as Tuple space operations for fine grained system control)
• Canadian patent CA2416070; April 1, 2008 (issued as Tuple space operations for fine grained system control)
• Application also published DE60307527T (April 2007)

Editorials and Special Issues

• Adi, K., Amyot, D., and Logrippo, L. (2006) Foreword: New Technologies in Distributed Systems. Annals of Telecommunications, Special issue on New Technologies in Distributed Systems, 61, No 11-12, 1226-1228, December.
• Amyot, D. and Logrippo, L. (2004) Guest editorial: Directions in feature interaction research. Computer Networks, Special issue on Feature Interactions in Emerging Application Domains, Vol. 45, No. 5, 5 August 2004, 563-567.
• Amyot, D. (1999) Éditorial : Problèmes (ré)partis?. In: APIIQ, L'Expertise informatique, Vol. 4, n° 1 (Systèmes répartis), hiver 1999, p.2.
• Amyot, D. (1998) Éditorial: Multimédia virtuel. In: APIIQ, L'Expertise informatique, Vol. 3, n° 2 (Multimédia), printemps 1998, p.2.
• Amyot, D. (1997) Éditorial: L'ère des ressources informationnelles. In: APIIQ, L'Expertise informatique, Vol. 3, n° 1 (Bases de données et gestion des connaissances), été 1997, p.2.
• Amyot, D. (1997) Éditorial: Une voie réservée sur les inforoutes. In: APIIQ, L'Expertise informatique, Vol. 2, n° 2 (Inforoute), hiver 1997, p.2.
• Amyot, D. (1996) Éditorial: Réflexions sur le génie logiciel et l'avenir de notre profession. In: APIIQ, L'Expertise informatique, Vol. 2, n° 1 (Génie logiciel), été 1996, p.2.

Papers in Refereed Proceedings

2011

• Barone, D., Jiang, L., Amyot, D., and Mylopoulos, J. (2011) Reasoning with Key Performance Indicators. PoEM 2011 - The 4th IFIP WG8.1 Working Conference on the Practice of Enterprise Modelling, Oslo, Norway, November. LNBIP 92, Springer, 82-96.
• Jiang, L., Barone, D., Amyot, D., and Mylopoulos, J. (2011) Strategic Models for Business Intelligence. 30th Int. Conf. on Conceptual Modeling (ER 2011), Brussels, Belgium, October. LNCS 6998, Springer, 429-439.
• Barone, D., Jiang, L., Amyot, D., and Mylopoulos, J. (2011) Composite Indicators for Business Intelligence. 30th Int. Conf. on Conceptual Modeling (ER 2011), Brussels, Belgium, October. LNCS 6998, Springer, 448-458.
• Mussbacher, G., Kienzle, J., and Amyot, D. (2011) Transformation of Aspect-oriented Requirements Specifications for Reactive Systems into Aspect-oriented Design Specifications. 1st Model-Driven Requirements Engineering (MoDRE), Trento, Italy, August. IEEE CS, 39-47.
• Luo, H. and Amyot, D. (2011) Towards a Declarative, Constraint-Oriented Semantics with a Generic Evaluation Algorithm for GRL. 5th International i* Workshop (iStar 2011), Trento, Italy, August. CEUR-WS, Vol-766, 26-31.
• Mussbacher, G., Amyot, D., and Heymans, P. (2011) Eight Deadly Sins of GRL. 5th International i* Workshop (iStar 2011), Trento, Italy, August. CEUR-WS, Vol-766, 2-7.
• Amyot, D., Mussbacher, G., Ghanavati, S., and Kealey, J. (2011) GRL Modeling and Analysis with jUCMNav. 5th International i* Workshop (iStar 2011), Trento, Italy, August. CEUR-WS, Vol-766, 160-162.
• Ghanavati, S., Amyot, D., and Peyton, L. (2011) A Systematic Review of Goal-oriented Requirements Management Frameworks for Business Process Compliance. 4th Int. Workshop on Requirements Engineering and Law (RELAW), Trento, Italy, August. IEEE CS, 25-34.
• Shamsaei, A., Pourshahid, A., and Amyot, D. (2011) A Systematic Review of Compliance Management Based on Goals and Indicators. Third Int. Workshop on Governance, Risk and Compliance - Applications in Informations Systems (GRCIS 2011), CAiSE 2011 Workshops, London, UK, June. LNBIP 83, Springer, 228-237.
• Mosser, S., Mussbacher, G., Blay-Fornarino, M., and Amyot, D. (2011) From Aspect-oriented Requirements Models to Aspect-oriented Business Process Design Models - An Iterative and Concern-Driven Approach for Software Engineering. 10th Int. Conf. on Aspect-Oriented Software Development (AOSD 2011), Porto de Galinhas, Brazil, March. ACM Press, 31-42.
• Barone, D., Peyton, L., Rizzolo, F., Amyot, D., and Mylopoulos, J. (2011) Model Based Support for Managing Organizational Transformation. 5th International MCETECH Conference on eTechnologies, Les Diablerets, Switzerland, January. LNBIP 78, Springer, 17-31.
• Behnam, S.A. and Amyot, D. (2011) Evolution of Goal-driven Pattern Families for Business Process Modeling. 5th International MCETECH Conference on eTechnologies, Les Diablerets, Switzerland, January. LNBIP 78, Springer, 46-61.
• Pourshahid, A., Richards, G., and Amyot, D. (2011) Toward a Goal-Oriented, Business Intelligence Decision-Making Framework. 5th International MCETECH Conference on eTechnologies, Les Diablerets, Switzerland, January. LNBIP 78, Springer, 100-115.

2010

• Boškovic, M., Mussbacher, G., Bagheri, E., Amyot, D., Gaševic, D., and Hatala, M. (2010) Aspect-oriented Feature Models. 15th International Workshop on Aspect-Oriented Modeling (AOM'2010), Oslo, Norway, October. MoDELS Workshops 2010, LNCS 6627, Springer, 110-124.
• Genon, N., Amyot, D., and Heymans, P. (2010) Analysing the Cognitive Effectiveness of the UCM Visual Notation. System Analysis and Modeling: About Models (SAM 2010), Oslo, Norway, 2010. Revised Selected Papers, 2011. LNCS 6598, Springer, 221-240.
• Mussbacher, G., Barone, D. and Amyot, D. (2010) Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-oriented Modeling. System Analysis and Modeling: About Models (SAM 2010), Oslo, Norway, 2010. Revised Selected Papers, 2011. LNCS 6598, Springer, 241-256.
• Genon, N., Heymans, P., and Amyot, D. (2010) Analysing the Cognitive effectiveness of the BPMN 2.0 Visual Notation. 3rd International Conference on Software Language Engineering (SLE 2010), Eindhoven, The Netherlands, October. LNCS 6563, Springer, 377-396.
• Ferrand, D., Villar Corrales, C., and Amyot, D. (2010) Towards a Business Intelligence Framework for Healthcare Safety. 2nd Int. Conf. on eCommerce, ePayments and New Entrepreneurship (ICEP 2010), Gdansk, Poland, September.
• Shamsaei, A., Pourshahid, A., and Amyot, D. (2010) Business Process Compliance Tracking Using Key Performance Indicators. 6th International Workshop on Business Process Design (BPD 2010), BPM 2010 Workshops, LNBIP 66, Springer, 73-84.
• Ghanavati, S., Amyot, D., Siena, S., Susi, A., and Perini, A. (2010) Towards a Framework for Business Process Compliance. International Workshop on Goal-based Business Process Engineering (WGBP 2010), Vitória, Brazil, October. IEEE CS.
• Ghanavati, S., Amyot, D., Siena, S., Susi, A., and Perini, A. (2010) Making Business Processes Law Compliant. First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), Firenze, Italy, July.
• Behnam, S.A., Amyot, D., and Mussbacher, G. (2010) Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling. 8th Int. Conf. on Software Engineering Research, Management and Applications (SERA2010), Montréal, Canada, May. IEEE CS, 137-145.

2009

• Mussbacher, G., Amyot, D., and Whittle, J. (2009) Refactoring-Safe Modeling of Aspect-Oriented Scenarios. ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, USA, October. LNCS 5795, Springer, 286-300.
• Amyot, D., Horkoff, J., Gross, D., and Mussbacher, G. (2009) A Lightweight GRL Profile for i* Modeling. 3rd Int. Workshop on Requirements, Intentions and Goals in Conceptual Modeling (RIGiM 2009), ER Workshops, Gramado, Brazil, November. LNCS, Springer, 254-264.
• Mussbacher, G. and Amyot, D. (2009) Extending the User Requirements Notation with Aspect-oriented Concepts. SDL 2009: Design for Motes and Mobiles, 14th SDL Forum Conference, Bochum, Germany, September. LNCS 5719, Springer, 115-132.
• Abid, M.R., Amyot, D., Somé, S.S., and Mussbacher, G. (2009) A UML Profile for Goal-Oriented Modeling. SDL 2009: Design for Motes and Mobiles, 14th SDL Forum Conference, Bochum, Germany, September 2009. LNCS 5719, Springer, 133-148.
• Mussbacher, G., Whittle, J., and Amyot, D. (2009) Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. 17th IEEE International Requirements Engineering Conference (RE’09), Atlanta, USA, September. IEEE CS, 203-212.
• Ghanavati, S., Amyot, D., and Peyton, L. (2009) Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology. 17th IEEE International Requirements Engineering Conference (RE’09), Atlanta, USA, September. IEEE CS, 133-142.
• Mussbacher, G., Amyot, D., Weigert, T., and Cottenier, T. (2009) Feature Interactions in Aspect-Oriented Scenario Models. Feature Interactions in Software and Communication Systems X (ICFI 2009), Lisbon, Portugal, June. IOS Press, 75-90.
• Mussbacher, G., Amyot, D., and Whittle, J. (2009) Semantic-Based Aspect Interaction Detection with Goal Models. Feature Interactions in Software and Communication Systems X (ICFI 2009), Lisbon, Portugal, June. IOS Press, 176-182.
• Mussbacher, G. and Amyot, D. (2009) On Modeling Interactions of Early Aspects with Goals. Early Aspects at ICSE 2009: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design. Vancouver, Canada, May. IEEE, 14-19.
• Mussbacher, G. and Amyot, D. (2009) Heterogeneous Pointcut Expressions. Early Aspects at ICSE 2009: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design. Vancouver, Canada, May. IEEE, 8-13.
• Pourshahid, A., Mussbacher, G., Amyot, D., and Weiss, M. (2009) An Aspect-Oriented Framework for Business Process Improvement. 4th International MCeTech Conference on eTechnologies, Ottawa, Canada, May. LNBIP 26, Springer, 290-305.
• Behnam, S.A., Amyot, D., Forster, A.J., Peyton, L., and Shamsaei, A. (2009) Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety. 4th International MCeTech Conference on eTechnologies, Ottawa, Canada, May. LNBIP 26, Springer, 65-76.
• Ghanavati, S., Siena, A., Perini, A., Amyot, D., Peyton, L., and Susi, A. (2009) A Legal Perspective on Business: Modeling the Impact of Law. 4th International MCeTech Conference on eTechnologies, Ottawa, Canada, May. LNBIP 26, Springer, 267-278.

2008

• Amyot, D. and Yan, J.B. (2008) Flexible Verification of User-Defined Semantic Constraints in Modelling Tools. 18th Int. Conf.of Computer Science and Software Engineering (CASCON 2008), Toronto, Canada, October. ACM, 81-95.
• Mussbacher, G., Whittle, J., and Amyot, D. (2008) Towards Semantic-Based Aspect Interaction Detection. 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML 2008), Toulouse, France, September.
• Ghanavati, S., Amyot D., and Peyton, L. (2008) Comparative Analysis between Document-based and Model-based Compliance Management Approaches. First Int. Workshop on Requirements Engineering and Law (RELAW 2008), Barcelona, Spain, September. IEEE, 35-39.
• Amyot, D., Becha, H., Bræk, R., and Rossebø, J.E.Y. (2008) Next Generation Service Engineering. ITU-T Innovations in NGN Kaleidoscope Conference, Geneva, Switzerland, May 2008. IEEE Computer Society, 195-202.
• Mussbacher, G., Amyot, D., Araújo, J., and Moreira, A. (2008) Modeling Software Product Lines with AoURN. Early Aspects Workshop at AOSD 2008, Brussels, Belgium, March.
• Pourshahid, A., Chen, P., Amyot, D., Forster, A.J., Ghanavati, S., Peyton, L., and Weiss, M. (2008) Toward an integrated User Requirements Notation framework and tool for Business Process Management. 3rd Int. MCeTech Conference on eTechnologies, Montréal, Canada, January 2008. IEEE Computer Society, 3-15. (Best Paper Award)
• Mussbacher, G. and Amyot, D. (2008) Assessing the Applicability of Use Case Maps for Business Process and Workflow Description. 3rd Int. MCeTech Conference on eTechnologies, Montréal, Canada, January 2008. IEEE Computer Society, 219-222.
• Hobbs, C., Becha, H. and Amyot, D. (2008) Failure Semantics in a SOA Environment. 3rd Int. MCeTech Conference on eTechnologies, Montréal, Canada, January 2008. IEEE Computer Society, 116-121. (Presentation)

2007

• Mussbacher, G., Amyot, D., Araújo, J., Moreira, A., and Weiss, M. (2007) Visualizing Aspect-Oriented Goal Models with AoGRL. Second International Workshop on Requirements Engineering Visualization (REV’07), New Delhi, India, October.
• Kealey, J. and Amyot, D. (2007) Enhanced Use Case Map Traversal Semantics. In: E. Gaudin, E. Najm, and R. Reed (Eds.): 13th SDL Forum (SDL 2007), Paris, France, September 2007. LNCS 4745, Springer, 133-149.
• Ghanavati, S., Amyot D., and Peyton, L. (2007) Towards a Framework for Tracking Legal Compliance in Healthcare. 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE'07), Trondheim, Norway, June. LNCS 4495, Springer, 218-232.
• Pourshahid, A., Chen, P., Amyot, D., Forster, A.J., and Weiss, M. (2007) Business Process Monitoring and Alignment: An Approach Based on the User Requirements Notation and Business Intelligence Tool. Proc. of the 10th Workshop on Requirements Engineering (WER'07), Toronto, Canada, May, 80-91.
• Ghanavati, S., Amyot D., and Peyton, L. (2007) A Requirements Management Framework for Privacy Compliance. Proc. of the 10th Workshop on Requirements Engineering (WER'07), Toronto, Canada, May, 149-159.
• Mussbacher, G., Amyot, D., Whittle, J., and Weiss, M. (2007) Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM). 10th International Workshop On Early Aspects, Vancouver, Canada, March. LNCS 4765, 19-38, Springer.
• Amyot, D. and Simoes, R. (2007) Combining VoiceXML with CCXML: A Comparative Study. IEEE Consumer Communications & Networking Conference (CCNC 2007), Las Vegas, USA, January, 342-346. (Presentation)

2006

• Mussbacher, G., Amyot, D., and Weiss, M. (2006) Visualizing Aspect-Oriented Requirements Scenarios with Use Case Maps. International Workshop on Requirements Engineering Visualization (REV 2006), Minneapolis/St. Paul, USA, September.
• Mussbacher, G., Weiss, M., and Amyot, D. (2006) Formalizing Architectural Patterns with the Goal-oriented Requirement Language. Fifth Nordic Pattern Languages of Programs Conference (VikingPLoP'06), Helsingør, Denmark, September. REA Technology, 13-36.
• Amyot, D., Farah, H., and Roy, J.-F. (2006) Evaluation of Development Tools for Domain-Specific Modeling Languages. In: R. Gotzhein, R. Reed (Eds.) SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, Kaiserslautern, Germany, May. LNCS 4320, 183-197, Springer.
• Roy, J.-F. Kealey, and Amyot, D. (2006) Towards Integrated Tool Support for the User Requirements Notation. In: R. Gotzhein, R. Reed (Eds.) SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, Kaiserslautern, Germany, May. LNCS 4320, 198-215, Springer.
• Kealey, J., Kim, Y., Amyot, D., and Mussbacher, G. (2006) Integrating an Eclipse-Based Scenario Modeling Environment with a Requirements Management System. 2006 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE06), Ottawa, Canada, May, 2432-2435.
• Kealey, J. and Amyot, D. (2006) Towards the Automated Conversion of Natural-Language Use Cases to Graphical Use Case Maps. 2006 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE06), Ottawa, Canada, May. 2377-2380.

2005

• Kealey, J., Tremblay, E., Daigle, J.-P., McManus, J., Clift-Noël, O., et Amyot, D. (2005) jUCMNav: une nouvelle plateforme ouverte pour l'édition et l'analyse de modèles UCM. Dans: K. Adi, D. Amyot et L. Logrippo (éditeurs) Actes du 5ième colloque sur les Nouvelles Technologies de la Répartition (NOTERE 2005), Gatineau, Canada, août 2005, 215-222.
• Weiss, M. and Amyot, D. (2005) Design and Evolution of e-Business Models. 7th International IEEE Conference on E-Commerce Technology (CEC 2005), Munich, Germany, July 2005, 462-466.
• Amyot, D., Roy, J.-F., and Weiss. M. (2005) UCM-Driven Testing of Web Applications. In: A. Prinz, R. Reed, and J. Reed (Eds.) 12th SDL Forum (SDL 2005), Grimstad, Norway, June 2005. LNCS 3530, Springer, 247-264.
• Sanders, R.T., Bræk, R., Bochmann, G.v., and Amyot, D. (2005) Service Discovery and Component Reuse with Semantic Interfaces. In: A. Prinz, R. Reed, and J. Reed (Eds.) 12th SDL Forum (SDL 2005), Grimstad, Norway, June 2005. LNCS 3530, Springer, 85-102. (Presentation)
• Weiss, M. and Amyot, D. (2005) Business Model Design and Evolution. In: IAMOT 14th International Conference on Management of Technology, Vienna, Austria, May 2005.
• Hamou-Lhadj, A., Braun, E., Amyot, D., and Lethbridge, T. (2005) Recovering Behavioral Design Models from Execution Traces. In: 9th European Conference on Software Maintenance and Reengineering (CSMR), Manchester, UK, March 2005. IEEE Computer Society, 112-121
• Petriu, D.B., Amyot, D., Woodside, M, and Jiang, B. (2005) Traceability and Evaluation in Scenario Analysis by Use Case Maps. In: S. Leue and T. Systä (Eds.) Scenarios: Models, Algorithms and Tools, LNCS 3466, Springer, 134-151.
• Weiss, M. and Amyot, D. (2005) Designing and Evolving Business Models with URN. Montreal Conference on eTechnologies (MCeTech), Montréal, Canada, January 2005, 149-162. (Best Paper Award)

2004

• Amyot, D., Weiss, M., and Logrippo L. (2004) UCM-Based Generation of Test Goals. ISSRE'04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL), Rennes, France, November 2004.
• Amyot, D., Echihabi, A., and He, Y. (2004) UCMExporter: Supporting Scenario Transformations from Use Case Maps. Nouvelles TEchnnologies de la RÉpartition (NOTERE'04), Saïdia, Morocco, June 2004, 390-405.(Presentation)

2003

• Amyot, D., Cho, D.Y., He, X., and He, Y. (2003) Generating Scenarios from Use Case Map Specifications. Third International Conference on Quality Software (QSIC'03), Dallas, November 2003, 108-115.
• He, Y., Amyot, D., and Williams, A.W (2003) Synthesizing SDL from Use Case Maps: An Experiment. 11th SDL Forum (SDL'03), Stuttgart, Germany, July 2003. LNCS 2708, 117-136. (2nd Best Paper Award)
• Petriu, D.B., Amyot, D., and Woodside, M. (2003) Scenario-Based Performance Engineering with UCMNav. 11th SDL Forum (SDL'03), Stuttgart, Germany, July 2003. LNCS 2708, 18-35.

2002

• Amyot, D. and Mussbacher, G. (2002) URN: Towards a New Standard for the Visual Description of Requirements. 3rd SDL and MSC Workshop (SAM02), Aberystwyth, U.K., June 2002. LNCS 2599, 21-37.
• Amyot, D., Mussbacher, G., and Mansurov, N. (2002) Understanding Existing Software with Use Case Map Scenarios. 3rd SDL and MSC Workshop (SAM02), Aberystwyth, U.K., June 2002. LNCS 2599, 124-140.
• Amyot, D. and Mussbacher, G. (2002) URN : vers une nouvelle norme pour la description visuelle dexigences. Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2002), Montréal, Canada, May 2002. Hermès, 225-242.

2001

• Mussbacher, G. and Amyot, D. (2001) A Collection of Patterns for Use Case Maps. First Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001), Rio de Janeiro, Brazil, October 2001. Also appeared in UERJ - Cadernos do IME (Instituto de Matemática e Estatística) - Série Informática, Special Edition, June 2002, ISSN 1413-9014, 57-82.
• Miga, A., Amyot, D., Bordeleau, F., Cameron, C. and Woodside, M. (2001) Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. Tenth SDL Forum (SDL'01), Copenhagen, Denmark, June 2001. LNCS 2078, 268-287
• Amyot, D. and Eberlein, A. (2001) An Evaluation of Scenario Notations for Telecommunication Systems Development. 9th International Conference on Telecommunications Systems (ICTS'01), Dallas, USA, March 2001.
• Amyot, D. (2001) Use Case Maps as a Feature Description Language. S. Gilmore and M. Ryan (Eds), Language Constructs for Designing Features. Springer-Verlag. 27-44.

2000

• Amyot, D. and Mussbacher, G. (2000) On the Extension of UML with Use Case Maps Concepts. <<UML>>2000, 3rd International Conference on the Unified Modeling Language, York, UK, October 2000. LNCS 1939, 16-31.
• Amyot, D., and Logrippo, L. (2000) Structural Coverage for LOTOS - A Probe Insertion Technique. H. Ural, R.L. Probert and G.v. Bochmann (eds) Testing of Communicating Systems: Tools and Techniques (TestCom 2000). Kluwer Academic Publishers, 19-34.
• Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B., and Ware, T. (2000) Feature description and feature interaction analysis with Use Case Maps and LOTOS. Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00), Glasgow, Scotland, UK, May 2000. IOS Press, 274-289.

1999

• Amyot, D., Buhr, R.J.A., Gray, T., and Logrippo, L. (1999) Use Case Maps for the Capture and Validation of Distributed Systems Requirements. RE'99, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, June 1999, 44-53.
• Amyot, D. and Andrade, R. (1999) Description of Wireless Intelligent Network Services with Use Case Maps. SBRC99, 17º Simpósio Brasileiro de Redes de Computadores, Salvador, Brazil, May 1999, 418-433.

1998

• Buhr, R.J.A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., and Mankovski, S. (1998) Feature-Interaction Visualization and Resolution in an Agent Environment. K. Kimbler and L. G. Bouma (Eds), Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'98), Lund, Sweden, September 1998. IOS Press, 135-149.
• Buhr, R.J.A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., and Mankovski, S. (1998) High Level, Multi-agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example. H.S. Nwana and D.T. Ndumu (Eds), PAAM98, Third Conference on Practical Application of Intelligent Agents and Multi-Agents, London, UK, March 1998, 277-295.

1997

• Amyot, D., Logrippo, L., and Buhr, R.J.A. (1997) Spécification et conception de systèmes communicants: une approche rigoureuse basée sur des scénarios dusage. G. Leduc (Ed.), CFIP 97, Ingénierie des protocoles, Liège, Belgium, September 1997. Hermès, 159-174.

1995

• Amyot, D., Bordeleau, F., Buhr, R.J A., and Logrippo, L. (1995) Formal support for design techniques: a Timethreads-LOTOS approach. G. von Bochman, R. Dssouli, O. Rafiq (Eds.), FORTE VIII, 8th International Conference on Formal Description Techniques, Montréal, Canada, October 1995. Chapman & Hall, 57-72.

Papers in Unrefereed Proceedings

• Mosser, S., Mussbacher, G., Blay-Fornarino, M., and Amyot, D. (2011) Une approche orienté aspect allant du modèle d'exigences au modèle de conception. Invited paper. Proceedings of the Journées du GDR GPL, CNRS, Lille, France, June, pp. 1-2.
• Abid, M.R., Amyot, D., and Somé, S.S. (2008) A UML Profile for Goal-oriented Modelling. 2008 Telelogic User Group Conference, Austin, USA, October.
• Amyot, D., and Mussbacher, G. (2008) Development of Telecommunications Standards and Services with the User Requirements Notation. Joint ITU-T and SDL Forum Society workshop on "ITU System Design Languages", Geneva, Switzerland, September.
• Ghanavati, S., Amyot, D., Peyton, L., and Mussbacher, G. (2007) A Compliance Framework for Business Processes Based on URN and DOORS. 2007 Telelogic User Group Conference, Atlanta, USA, October.
• Mussbacher, G., Jiang B., Amyot, D., and Woodside, M. (2005) Importing and Updating of Scenario Models in DOORS. Telelogic User Group Conference, Hollywood, USA, October.
• Miga, A., Amyot, D., Bordeleau, F., Cameron, C. and Woodside, M. (2001) Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. 6th Mitel Conference on Innovation in Applications & Technology (MICON2001), Ottawa, Canada, August.
• Amyot, D. (2000) Towards the Standardization of Use Case Maps as a User Requirements Notation. 5th Mitel Conference on Innovation in Applications & Technology (MICON2000), Ottawa, Canada, August.
• Amyot, D. and Logrippo, L. (1999) Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS. 4th Mitel Workshop (MICON99), Ottawa, Canada, August.
• Amyot, D. (1999) Génération de tests fonctionnels à l'aide de scénarios causaux. 67e Congrès de l'ACFAS, Ottawa, Canada, May. (Presentation)
• Amyot, D., Andrade, R., Logrippo, L., Sincennes, J., and Yi, Z. (1999) Formal Methods for Mobility Standards. In: IEEE 1999 Emerging Technology Symposium on Wireless Communications& Systems, Richardson, Texas, USA, April.
• Amyot, D., Hart, N., Logrippo, L., and Forhan, P. (1998) Formal Specification and Validation using a Scenario-Based Approach: The GPRS Group-Call Example. In: Selic, B. (Ed.), ObjecTime Workshop on Research in OO Real-Time Modeling, Ottawa, Canada, January.

Theses

• Amyot, D. (2001) Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS. Ph.D. thesis, SITE, University of Ottawa, Canada, September 2001. -- Pierre-Laberge Prize, University of Ottawa, 2002
• Amyot, D. (1994) Formalization of Timethreads Using LOTOS. M.Sc. thesis, Dept. of Computer Science, University of Ottawa, Canada.

Other Publications

• Amyot, D. (1998) Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features. CITO report #1430, Ottawa, Canada.
• Amyot, D. (1998) Group Communication Server: A Scenario-Based Design Exercise. CITO report #1388, Ottawa, Canada.
• Amyot, D. (1995) LOTOS Generation from Timethread Maps: A Language and a Tool, University of Ottawa, Canada.
• Amyot, D. (1993) From Timethreads to LOTOS: A First Pass, TR-SCE-93-38, SCE, Carleton University, Ottawa, Canada
• Bordeleau, F., Amyot, D. (1993) LOTOS Interpretation of Timethreads: A Method and a Case Study, TR-SCE-93-35, SCE, Carleton University, Ottawa, Canada

Tutorials and Invited Lectures

• Amyot, D., Business Process Modeling, Management and Compliance with the User Requirements Notation. École doctorale, Conférence universitaire de Suisse occidentale (CUSO), full-day tutorial, Les Diablerets, Switzerland, January 25-26, 2011.
• Amyot, D., Business Process Compliance with the User Requirements Notation. Invited talk, 3rd Int. Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010), MoDELS 2010 Workshops, Oslo, Norway, Oct. 2010. CEUR-WS, Vol. 642
• Amyot, D., Business Process Management with the User Requirements Notation. Departmental Seminar, Fondazione Bruno Kessler – CIT, Trento, Italy, April 9, 2010.
• Amyot, D., User Requirements Notation: The First Ten Years, The Next Ten Years. Departmental Seminar, University of Pannonia, Veszprém, Hungary, April 7, 2010.
• Amyot, D., URN and jUCMNav. Tutorial, University of Pannonia, Veszprém, Hungary, April 6, 2010.
• Amyot, D., Business Process Management and Compliance with the User Requirements Notation. Departmental Seminar, Lancaster University, UK, March 31, 2010.
• Amyot, D., User Requirements Notation: The First Ten Years, The Next Ten Years. Departmental Seminar, FUNDP, Université de Namur, Belgium, March 19, 2010.
• Mussbacher, G., Ghanavati, S., and Amyot, D., Modeling and Analysis of URN Goals and Scenarios with jUCMNav. Research demo at the 17th IEEE International Requirements Engineering Conference (RE’09), Atlanta, USA, September 2009. Short paper also published by IEEE CS.
• Mussbacher, G. and Amyot, D., The User Requirements Notation (URN) and Aspects. Tutorial, 17th IEEE Int. Requirements Engineering Conference (RE’09), Atlanta, USA, September 2009.
• Mussbacher, G. and Amyot, D., Goal and Scenario Modeling, Analysis, and Transformation with jUCMNav. Research demo poster at the 31st Int. Conf. on Software Engineering (ICSE’09), Vancouver, Canada, May 2009. Short paper also published by ACM.
• Amyot, D., Modélisation de processus d'affaires à l'aide de la notation d'exigences utilisateurs (URN). Université du Québec en Outaouais, Canada, March 6, 2009
• Amyot, D., ITU-T's User Requirements Notation (URN) and jUCMNav. CASCON Workshop on Requirements-Driven Business Process Modelling and Performance Management, Toronto, Canada, October 2008.
• Amyot, D., Applications de la notation d'exigences utilisateurs (URN), Université du Québec en Outaouais, Canada, February 28, 2008.
• Amyot, D., User Requirements Notation (URN): Application and Research Areas. Early RE Seminars, Requirements-driven approaches to Software and Systems Engineering, University of Toronto, Canada, August 23, 2007.
• Amyot, D., User Requirements Notation (URN): Overview, Tools and Perspectives, NTNU, Trondheim, Norway, June 8, 2007.
• Amyot, D., User Requirements Notation (URN): Overview, Tools and Perspectives, Motorola Software, System and Simulation Symposium (S3S), Chicago, USA, September 14, 2006.
• Amyot, D., Notation d'exigences utilisateurs (URN): Aperçu, outils et perspectives, École Polytechnique, Montréal, Canada, March 14, 2006.
• Amyot, D., Génération de tests à partir de modèles UCM, Université du Québec à Montréal, Canada, February 11, 2005.
• Amyot, D., Analysis and Transformations with Use Case Maps, Al Akhawayn University in Ifrane, Morocco, July 2nd, 2004.
• Amyot, D., Integrated Application of the User Requirements Notation, ITU-T Workshop on Integrated application of formal languages, Geneva, Switzerland, September 2003.
• Amyot, D., Standardizing Requirements Notations: URN, and What Else?, Canadian Software Requirements Symposium, Hamilton, Canada, May 26, 2003.
• Amyot, D., Using the User Requirements Notation, ITU-T Workshop on Use of Description Techniques, Geneva, Switzerland, November 2002.
• Amyot, D., User Requirements Notation, Concordia Summer School in Communication Software Engineering, Montréal, Canada, August 2002.
• Amyot, D., User Requirements Notation, University of Calgary, Canada, August 2002.
• Amyot, D., User Requirements Notation, ITU-T Workshop on Framework and Scope of Formal Languages, Geneva, Switzerland, March 2002.
• Amyot, D. and Mussbacher, G., From Requirements to UML Models with Use Case Maps (UCMs), <<UML>> 2001, Toronto, Canada, October 2001
• Amyot, D. and Mussbacher, G., Use Case Maps ­ Bridging The Gap Between Requirements And Design, RE'01, Toronto, Canada, August 2001
• Amyot, D. and Mussbacher, G., Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs), ICSE 2001, Toronto, Canada, May 2001, 743-744.

Contributions to Standards

• ITU-T, Recommendation Z.150 (02/11): User Requirements Notation (URN) - Language Requirements and Framework, Geneva, Switzerland, approved February 2011. Editor: D. Amyot.
• ITU-T, Recommendation Z.151 (11/08): User Requirements Notation (URN) - Language Definition, Geneva, Switzerland, approved November 2008. Co-editors: D. Amyot and G. Mussbacher.
• ITU-T, Recommendation Z.111 (11/08): Notations to Define ITU-T languages, Geneva, Switzerland, approved November 2008. Co-editors: T. Weigert and D. Amyot.
• ITU-T, Recommendation Z.150 (02/03): User Requirements Notation (URN) - Language Requirements and Framework, Geneva, Switzerland, approved February 2003. Editor: D. Amyot.

About U of O | Prospective Students | Students | Services | Academics | Research | News and Events | Alumni and Friends