Daniel Amyot: Publications

Books/Proceedings Edited

Book Chapters

  1. Amyot, D., Mussbacher, G. (2024) From i* to the User Requirements Notation. Franch, X., Leite, J., Mussbacher, G., Mylopoulos, J., Perini, A. (Eds) Essays in Honour of Eric Yu, Springer, 2024 (to appear)
  2. Mylopoulos, J., Amyot, D., Anda, A.A. (2024) Social Dependence Relationships and their Role in Social Modelling Languages. Franch, X., Leite, J., Mussbacher, G., Mylopoulos, J., Perini, A. (Eds) Essays in Honour of Eric Yu, Springer, 2024 (to appear)
  3. Aswad, O., Lessard, L., and Amyot, D. (2023) Personalizing Telehealth Services for Older Patients. L. Garcia, L. Bélanger-Hardy, J. Jutai, M. Łuszczyńska (Eds) Well-being In Later Life – The Notion of Connected Autonomy. Routledge, Taylor & Francis, 142-156.
  4. Mylopoulos, J., Amyot, D., Logrippo, L., Parvizimosaed, A., Sharifi, S. (2021) Social Requirements Models for Services. M. Aiello, A. Bouguettaya, D. Tamburri, W.-J. van den Heuvel (Eds) Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future. LNCS 12521, Springer, 2021, 100–108.
  5. Almoaber, B., Amyot, D. (2020) A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time. M. Khosrow-Pour (Ed.) Hospital Management and Emergency Medicine: Breakthroughs in Research and Practice, Chapter 30, IGI-Global, 599-623.
  6. Almoaber, B. and Amyot, D. (2020) Barriers to successful health information exchange systems in Canada and the USA: a systematic review. M. Khosrow-Pour (Ed.) Virtual and Mobile Healthcare: Breakthroughs in Research and Practice, Chapter 15, IGI Global, 328-350.
  7. Akhigbe, O. and Amyot, D. (2017) Modeling Data Sources. G. Richards (Ed.), Big Data and Analytics Applications in Government: Current Practices and Future Opportunities, CRC Press, 175-188.
  8. Yu, E., Horkoff, J., Mylopoulos, J., Richards, G., and Amyot, D. (2013) Business Modeling for Business Intelligence. R.T. Ng et al. (Eds), Perspectives on Business Intelligence, Synthesis Lectures on Data Management, 5(1), Morgan & Claypool Publishers, 19-33.
  9. Mussbacher, G., Amyot, D., and Whittle, J. (2013) Composing Goal and Scenario Models with the Aspect-oriented User Requirements Notation (AoURN) Based on Syntax and Semantics. Aspect-Oriented Requirements Engineering, Springer, September 2013, 77-100.
  10. 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.
  11. 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.
  12. 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.
  13. Mussbacher, G., Amyot, D., and Weiss, M. (2008) Formalizing Patterns with the User Requirements Notation. Y.-L. Theng and H.B.L. Duh (Eds.), Ubiquitous Computing: Design, Implementation and Usability, IGI Global, May 2008, 301-319.
  14. 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.
  15. 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

2024

  1. Sousa-Dias, D., Amyot, D., Rahimi-Kian, A., Mylopoulos, J. (2024) Enhancing Trust in Transactive Energy with Individually Linkable Pseudonymous Trading Using Smart Contracts. Energies, 17(14), 3568, 2024. DOI:10.3390/en17040878
  2. Rasti, A., Anda, A.A., Alfuhaid, S., Parvizimosaed, A., Amyot, D., Roveri, M., Logrippo, L., Mylopoulos, J. (2024) Automated Generation of Smart Contract Code from Legal Contract Specifications with Symboleo2SC. Software and Systems Modeling (SoSyM), 2024. DOI:10.1007/s10270-024-01187-9 (Online first, June 29, 2024)
  3. Parvizimosaed, A., Roveri, M., Rasti, A., Anda, A.A., Alfuhaid, S., Amyot, D., Logrippo, L., Mylopoulos, J. (2024) SymboleoPC: Checking Properties of Legal Contracts. Software and Systems Modeling (SoSyM), 2024. DOI:10.1007/s10270-024-01187-2 (Online first, July 3, 2024)
  4. Sousa-Dias, D., Amyot, D., Rahimi-Kian, A., Bashari, M., Mylopoulos, J. (2024) Homomorphic Encryption Aggregation (CHEA)–A Novel Approach to Data Aggregation in the Smart Grid. Energies, 17(4), 878, 2024. DOI:10.3390/en17040878

2023

  1. El-Gharib, N.M., Amyot, D., (2023) Robotic process automation using process mining — A systematic literature review. Data & Knowledge Engineering, 102229, September, 2023. DOI:10.1016/j.datak.2023.102229. arXiv preprint
  2. Alfuhaid, S., Amyot, D., Anda, A.A., Mylopoulos, J. (2023) A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. IEEE Access, 2023. DOI:10.1109/ACCESS.2023.3290899
  3. Levy, M., Groen, E.C., Taveter, K., Amyot, D., Yu, E., Liu, L., Richardson, I., Spichkova, M., Jussli, A., Mosser, S. (2023) Sustaining Human Health: A Requirements Engineering Perspective. Journal of Systems & Software (JSS), 2023, 111792. DOI:10.1016/j.jss.2023.111792
  4. Sousa-Dias, D., Amyot, D., Rahimi-Kian, A., Mylopoulos, J. (2023) A Review of Cybersecurity Concerns for Transactive Energy Markets. Energies, 16(13), 4838, 2023. DOI:10.3390/en16134838
  5. Anda, A.A., Amyot, D., Mylopoulos, J. (2023) Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models. Modelling 4, 133-167, 2023. DOI:10.3390/a15060180
  6. Alwidian, S., Amyot, D., Lamo, Y. (2023) Union Models for Model Families: Efficient Reasoning over Space and Time. Algorithms 16(12), 105, 2023. DOI:10.3390/a16020105

2022

  1. Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Roveri, M., Rasti, A., Roudak, A., Mylopoulos, J. (2022) Specification and Analysis of Legal Contracts with Symboleo. Software and Systems Modeling (SoSyM), 21(6), 2395–2427, Springer, 2022. DOI:10.1007/s10270-022-01053-6 (Online First, 7 November 2022)
  2. Baslyman, M., Amyot, D., Mylopoulos, J. (2022) Reasoning about Confidence in Goal Satisfaction. Algorithms 15(10), 343, 2022. DOI:10.3390/a15060180
  3. El-Gharib, N.M., Amyot, D. (2022) Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs. Algorithms 15(6), 180, 2022. DOI:10.3390/a15060180
  4. Amyot, D., Akhigbe, O., Baslyman, M., Ghanavati, S., Ghasemi, M., Hassine, J., Lessard, L., Mussbacher, G., Shen, K., Yu, E. (2022) Combining Goal modelling with Business Process modelling – Two Decades of Experience with the User Requirements Notation Standard. Enterprise Modelling and Information Systems Architectures (EMISAJ), Vol. 17, 2022. DOI:10.18417/emisa.17.2
  5. Anda, A.A., Amyot, D. (2022) Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems. Journal of Integrated Design & Process Science, Vol. 26, IOS Press, 2022. (Online 29 January 2022)
  6. Anda, A.A., Amyot, D. (2022) Self-Adaptation Driven by SysML and Goal Models – A Literature Review. e-Informatica Software Engineering Journal, 16(1), 220101, 2022. DOI:10.37190/e-Inf220101 (Online 15 December 2021)

2021

  1. Akhigbe, O., Amyot, D., Richards, G., Lessard, L. (2021) GoRIM: A Model-Driven Method for Enhancing Regulatory Intelligence. Software and Systems Modeling (SoSyM), 21, 1613-1641, Springer, 2021 (Online First, 27 November 2021)
  2. Almoaber, B., Amyot, D. (2021) Key Factors of Clinicians' Acceptance of CPOE System and their Link to Change Management. Informatics for Health and Social Care, 47(3), 326-345, Springer, 2021 (Online First, 1 November 2021)
  3. Levy, M., Liu, L., Amyot, D., Yu, E., Alshammari, M., Baslyman, M., Bjarnason, E., Bull, C., Duarte, C.H.C., Groen, E.C., Jantunen, S., Kopczynska, S., Lessard, L., Richardson, I., Weber, J., Wei, Z. (2021) Requirements Engineering for Well-Being, Aging, and Health (REWBAH): An Overview for Practitioners. IEEE Software, 38(3), 7-12, May-June 2021. [Preprint]
  4. Hassine, J., Kroumi, D., Amyot, D. (2021) A Game-Theoretic Approach to Analyze Interacting Actors in GRL Goal Models. Requirements Engineering, 26(3), 399-422. Springer (Online First, 9 April 2021)

2020

  1. Combemale, B., Kienzle, J., Mussbacher, G., Ali, H., Amyot, D., Bagherzadeh, M., Batot, E., Bencomo, N., Benni, B., Bruel, J.-M., Cabot, J., Cheng, B., Collet, P., Engels, G., Heinrich, R., Jezequel, J.-M., Koziolek, A., Mosser, S., Reussner, R., Sahraoui, H., Saini, R., Sallou, J., Stinckwich, S., Syriani, E., Wimmer, M. (2020) A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. IEEE Software, 38(4), 71–84, July/August 2021. [Preprint] (Online, May 2020)
  2. Wilk, S., Kezadri-Hamiaz, M, Amyot, D., Michalowski, W., Kuziemsky, C., Çatal, N., Rosu, D., Carrier, M., Giffen, R. (2020) An Ontology-driven Framework to Support the Dynamic Formation of an Interdisciplinary Healthcare Team. International Journal of Medical Informatics, Vol. 136 (April), 104075. Elsevier (Online, 7 January 2020)

2019

  1. Alkaf, H., Binalialhag, T., Hassine, J., Amyot, D. (2019) An Automated Change Impact Analysis Approach for User Requirements Notation Models. Journal of Systems and Software, Vol. 157, 110397. Elsevier (Online first, 16 August, 2019).
  2. Lessard, L., Amyot, D., Aswad, O., Mouttham, A. (2020) Expanding the nature and scope of requirements for service systems through Service-Dominant Logic: the case of a telemonitoring service. Requirements Engineering, 25(3), 273-293. Springer (Online first, 3 August 2019)
  3. Dekhtyar, A., Huffman Hayes, A., Hadar, I., Combs, E., Ferrari, A., Gregory, S., Horkoff, J., Levy, M., Nayebi, M., Paech, B., Payne, J., Primrose, M., Spoletini, P., Clarke, S., Brophy, C., Amyot, D., Maalej, W., Ruhe, G., Cleland-Huang, J., Zowghi, D. (2019) Requirements Engineering (RE) for Social Good - RE Cares. IEEE Software, 36 (1), 86-94. IEEE CS.
  4. Ghasemi, M., Amyot D. (2020) From event logs to goals: a systematic literature review of goal-oriented process mining. Requirements Engineering, 25(1), 67-93. Springer (Online First, 7 January 2019)

2018

  1. Binalialhag, T., Hassine, J., Amyot, D. (2019) Static Slicing of Use Case Maps Requirements Models. Software and Systems Modeling (SoSyM), 18(4), 2465-2505, Springer (Online First, 7 June 2018)
  2. Akhigbe, O., Amyot, D., Richards, G. (2019) A Systematic Literature Mapping of Goal and Non-Goal Modelling Methods for Legal and Regulatory Compliance. Requirements Engineering, 24(4), 459-481, Springer (Online First, 17 April 2018)

2017

  1. Almoaber, B., Amyot, D. (2017) A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time. Int. J. of E-Health and Medical Communications, 8(3), 1-21, IGI-Global
  2. Rezaee, R., Baslyman, M., Amyot, D., Mouttham, A., Chreyh, R., Geiger, G. (2017) Real-time, location-based patient-device association management: design and proof of concept. Int. J. of Healthcare Information Systems and Informatics, 12(3), 37-61, IGI Global
  3. Hassine, J. and Amyot, D. (2017) An Empirical Approach Towards the Resolution of Conflicts in Goal-Oriented Models. Software and Systems Modeling, 16(1), 279-306, Springer. (First Online, April 18, 2015)
  4. Almoaber, B., Amyot, D. (2017) Barriers to Successful Health Information Exchange Systems in Canada and the USA - A Systematic Review. Int. J. of Healthcare Information Systems and Informatics, 12(1), 44-63, IGI Global

2016

  1. Ghasemi, M., Amyot, D. (2016) Process Mining in Healthcare - A Systematised Literature Review. Int. J. of Electronic Healthcare, 9(1), 60-88, Inderscience Publishers
  2. Akhigbe, O., Amyot, D., Richards, G. (2016) Monitoring and Management of Regulatory Compliance: A Literature Review. International Journal of Information Processing and Management, 7(2), 20-35, June, Convergence Information Society.
  3. Halwani, F., Li, W.C., Banarjee, D., Lessard, L., Amyot, D., Michalowski, W., and Giffen, R. (2016) A real-time dashboard for managing pathology processes. Journal of Pathology Informatics, 7:24, Wolters Kluwer.
  4. Hassine, J. and Amyot, D. (2016) A Questionnaire-based Survey Methodology for Systematically Validating Goal-oriented Models. Requirements Engineering, 21(2), Springer, June 2016, 285-308. (First Online: 7 February 2015)
  5. Wilk, S., Kezadri-Hamiaz, M., Rosu, D., Kuziemsky, C., Michalowski, W., Amyot, D., and Carrier, M. (2016) Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-agent Decision Support System. Journal of Medical Systems, February 2016, 40:42, 1-12, Springer.

2015

  1. Becha, H. and Amyot, D. (2015) Consented Consumer-centric Non-functional Property Description and Composition for SOA-based Applications. International Journal of Web Engineering and Technology, Vol. 10, No. 4, 355-392, Inderscience Publishers.
  2. Baslyman, M., Rezaee, R., Amyot, D., Mouttham, A., Chreyh, R., Geiger, G., Stewart, A., and Sader, S. (2015) Real-time and Location-based Hand Hygiene Monitoring and Notification: Proof-of-Concept System and Experimentation. Journal of Personal and Ubiquitous Computing, 19(3-4): 667-688, Springer.
  3. Barone, D., Peyton, L., Rizzolo, F., Amyot, D., Mylopoulos, J., and Badreddin, O. (2015) Model-Based Management of Strategic Initiatives. Journal on Data Semantics, 4(3), Springer, September 2015, 149-165.
  4. Georg, G., Mussbacher, G., Amyot, D., Petriu, D.C., Troup, L., Lozano-Fuentes, S., and France, R.B. (2015) Synergy between Activity Theory and Goal/Scenario Modeling for Requirements Elicitation, Analysis, and Evolution. Information and Software Technology , Vol. 59, March 2015, 109-135.

2014

  1. Pourshahid, A., Johari, I., Richards, G., Amyot, D., and Akhigbe, O.S. (2014) A goal-oriented, business intelligence-supported decision-making methodology. Decision Analytics, Springer, 2014, 1:9.
  2. Horkoff, J., Barone, D., Jiang, L., Yu, E., Amyot, D., Borgida, A., and Mylopoulos, J. (2014) Strategic Business Modeling - Representation and Reasoning. Software and Systems Modeling (SoSyM), 13(3), Springer, July 2014, 1015-1041. (First Online, 26 October, 2012)

2013

  1. Behnam, S.A. and Amyot, D. (2013) Evolution Mechanisms for Goal-driven Pattern Families used in Business Process Modeling. International Journal of Electronic Business, Vol. 10, No. 3, Inderscience Publishers, 2013, 254-291.

2012

  1. Pourshahid, A., Amyot, D., Shamsaei, A., Mussbacher, G., and Weiss, M. (2012) A Systematic Review and Assessment of Aspect-oriented Methods Applied to Business Process Adaptation. Journal of Software (JSW), Vol. 7, No. 8, Academy Publisher, August 2012, 1816-1826
  2. 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
  3. Mussbacher, G., Araújo, J., Moreira, A., and Amyot, D. (2012) AoURN-based Modeling and Analysis of Software Product Lines. Software Quality Journal, Vol. 20, Numbers 3-4. Springer, 2012, 645-687.

2011

  1. 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.
  2. Lanna, M. and Amyot, D. (2011) Spotting the Difference. Software: Practice & Experience, Vol. 41, Issue 6, May 2011, Wiley, 607-626.

2010

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.

2009

  1. 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.
  2. 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.

2007

  1. 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.
  2. 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.

2005

  1. Amyot, D., Weiss, M., and Logrippo L. (2005) UCM-Based Generation of Test Purposes. Computer Networks, 49(5), 643-660.
  2. 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.
  3. Weiss, M. and Amyot, D. (2005) Business Process Modeling with URN. International Journal of E-Business Research, 1(3), 63-90, July-September 2005.
  4. 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.

2003

  1. Amyot, D. (2003) Introduction to the User Requirements Notation: Learning by Example. Computer Networks, 42(3), 285-301, 21 June 2003

2000

  1. 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

  1. Amyot, D, Baker, K., Gray, T., Liscano, R., Seguin, J.-M., and Sincennes, J. (2008) Interactive Conflict Resolution for Personalized Policy-Based Services.
  2. Gray, T., and Amyot, D (2006) Management of interactions of customisable features in IP telephony using deontic task trees and execution operators.
  3. 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.

Editorials and Special Issues

  1. Kontogiannis, K., Amyot, D., Mylopoulos, J. 3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON 2023: Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, ACM, 222–223, September 2023.
  2. Kontogiannis, K., Mylopoulos, J., Amyot, D. 2nd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON x EVOKE 2022: Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, ACM, 243–244, November 2022.
  3. Kontogiannis, K., Amyot, D., and Mylopoulos, J. (2021) Software Techniques for Engineering Cyber-Physical Systems. CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, 289–290, ACM, November
  4. Amyot, D. and Maalej, W. (2019) Editorial, Special Issue RE 2018. Requirements Engineering, Vol. 24., No. 3, 257-258, September.
  5. 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.
  6. 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.
  7. 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.
  8. Amyot, D. (1998) Éditorial: Multimédia virtuel. In: APIIQ, L'Expertise informatique, Vol. 3, n° 2 (Multimédia), printemps 1998, p.2.
  9. 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.
  10. 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.
  11. 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

2024

  1. Hassani, S., Sabetzadeh, M., Amyot, D., Liao, J. (2024) Rethinking Legal Compliance Automation: Opportunities with Large Language Models. 2024 32nd IEEE International Requirements Engineering Conference (RE), Reykjavik, Iceland, June 2024. IEEE CS, 432-440.

2023

  1. Zareh Chahoki, A., Roveri, M., Amyot, D., Mylopoulos, J. (2023) Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY 2023: 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Rome, Italy, November 2023. CEUR WS, 55-60
  2. Amyot, D., Logrippo, L., Mylopoulos, J., Roveri, M., Anda, A.A., Parvizimosaed, A., Alfuhaid, S.A., Sharifi, S., Meloche, R., Sousa-Dias, D. (2023) Engineering Smart Contracts with Symboleo: A Progress Report. CyPress Workshop - CASCON'23. Las Vegas, USA. ACM, 235–237.
  3. Bagaria, N., Amyot, D. (2023) A Prototype for Decision Support Targeting Recreation Prescriptions for Older Adults in Social Isolation (℞OSI). Fourth International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH), Hannover, Germany, September 2023. REW 2023, IEEE CS, 407-416
  4. Chen, B., Chen, K., Yang, Y., Hassaniahari, S., Amyot, D., Lessard, L., Mussbacher, G., Sabetzadeh, M., Varró, D. (2023) On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. 13th International Model-Driven Requirements Engineering Workshop (MoDRE), Hannover, Germany, September 2023. REW 2023, IEEE CS, 262-271
  5. Meloche, R., Amyot, D., Mylopoulos, J. (2023) Towards Legal Contract Formalization with Controlled Natural Language Templates. 31st IEEE International Requirements Engineering Conference (RE), Hannover, Germany, September 2023. IEEE CS, 317-322
  6. Parvizimosaed, A., Amyot, D., Mylopoulos, J., Azad, H. (2023) Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. 20th International Conference on Privacy, Security, and Trust (PST 2023), Copenhagen, Denmark, August 2023. IEEE CS (to appear)

2022

  1. Rasti, A. Amyot, D., Parvizimosaed, A., Roveri, M., Logrippo, L., Mylopoulos, J., Anda, A.A. (2022) Symboleo2SC: From Legal Contract Specifications to Smart Contracts. ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), Montreal, Canada, October 2022. ACM, 300-310.
  2. Parvizimosaed, A., Roveri, M., Rasti, A. Amyot, D., Logrippo, L., Mylopoulos, J. (2022) Model-Checking Legal Contracts with SymboleoPC. ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), Montreal, Canada, October 2022. ACM, 278-288.
  3. Sharifi, S., Amyot, D., Mylopoulos, J., McLaughlin, P., Feodoroff, R. (2022) Towards Improved Certification of Complex FinTech Systems – A Requirements-based Approach. Twelfth International Model-Driven Requirements Engineering Workshop (MoDRE), virtual event, Melbourne, Australia, August 2022. IEEE CS, 205-214.

2021

  1. Ziabari, M.K., Amyot, D., Michalowski, W., Bouattane, E.M., Hafez, N. (2021) Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives. Second International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH 2021), virtual event, September 2021. REW 2021, IEEE CS, 268-277.

2020

  1. Parvizimosaed, A., Bashari, M., Kian, A.R., Amyot, D., Mylopoulos, J. (2020) Compliance Checking for Transactive Energy Contracts using Smart Contracts. IEEE PES International Transactive Energy Systems Conference and Workshop (TESC2020), virtual event, December 2020. IEEE
  2. Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Mylopoulos, J. (2020) Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. 39th International Conference on Conceptual Modeling (ER 2020), Vienna, Austria, November. LNCS 12400, Springer, 271-285.
  3. Anda, A.A., Amyot, D. (2020) Traceability Management of GRL and SysML Models. 12th System Analysis and Modelling Conference (SAM'20), Virtual Event, Canada, October. ACM, 117-126.
  4. Alwidian, S., Amyot, D. (2020) "Union is Power": Analyzing Families of Goal Models using Union Models. MODELS'20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, October. ACM, 252-262.
  5. Mylopoulos, J., Amyot, D., Logrippo, L., Parvizimosaed, A., Sharifi, S. (2020) Social Dependence Relationships in Requirements Engineering. Thirteenth International iStar Workshop (iStar 2020), Zurich, Switzerland, September. CEUR-WS, Vol. 2641, 55-60.
  6. Sharifi, S., McLaughlin, P., Amyot, D., Mylopoulos, J. (2020) Goal Modeling for FinTech Certification. Thirteenth International iStar Workshop (iStar 2020), Zurich, Switzerland, September. CEUR-WS, Vol. 2641, 73-78.
  7. Anda, A., Amyot, D. (2020) An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. Tenth International Model-Driven Requirements Engineering Workshop (MoDRE), Zurich, Switzerland, September. IEEE CS, 11-20
  8. Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J. (2020) Symboleo: Towards a Specification Language for Smart Contracts. 28th IEEE Int. Requirements Engineering Conf. (RE’20), RE@Next! track, Zurich, Switzerland, September. IEEE CS, 384-389.

2019

  1. El-Gharib, N.M., Amyot, D. (2019) Process Mining for Cloud-Based Applications: A Systematic Literature Review. 9th International Workshop on Model-Driven Requirements Engineering (MoDRE), Jeju Island, South Korea, September. IEEE CS, 34-43
  2. Ghasemi, M., Amyot, D. (2019) Data Preprocessing for Goal-oriented Process Discovery. 3rd International Workshop on Crowd-Based Requirements Engineering (CrowdRE'19), Jeju Island, South Korea, September. IEEE CS, 200-206.
  3. Anda, A.A., Amyot, D. (2019) Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. 27th IEEE International Requirements Engineering Conference (RE 2019), Jeju Island, South Korea, September. IEEE CS, 245-256.
  4. Alwidian, S., Amyot, D. (2019) Inferring Metamodel Relaxations based on Structural Patterns to Support Model Families. 13th Workshop on Models and Evolution (ME), Munich, Germany, September. Springer, 294-303.
  5. Alwidian, S., Amyot, D. (2019) Union Models: Support for Efficient Reasoning about Model Families over Space and Time. 11th System Analysis and Modelling Conference (SAM 2019), Munich, Germany, September. LNCS 11753, Springer, 200-218
  6. Baslyman, M., Amyot, D. (2019) Goal Model Integration: Advanced Relationships and Rationales Documentation. 11th System Analysis and Modelling Conference (SAM 2019), Munich, Germany, September 2019. LNCS 11753, Springer, 183-199
  7. Ghasemi, M., Amyot, D. (2019) Goal-oriented Process Enhancement and Discovery. 17th Int. Conference on Business Process Management (BPM 2019), Vienna, Austria, September. LNCS 11675, Springer, 102-188
  8. Baslyman, M., Amyot, D., Alshalahi, Y. (2019) Lean Healthcare Processes: Effective Technology Integration and Comprehensive Decision Support Using Requirements Engineering Methods. IEEE/ACM 1st International Workshop on Software Engineering for Healthcare (SEH), co-located with ICSE 2019, Montreal, Canada, May. IEEE CS, 37-44

2018

  1. Fan, Y., Anda, A.A., Amyot, D. (2018) An Arithmetic Semantics for GRL Goal Models with Function Generation. 10th System Analysis and Modelling Conference (SAM 2018), Copenhagen, Denmark, October. LNCS 11150, Springer, 144-162
  2. Feltus, C., Lessard, L., Vernadat, F., Amyot, D., Proper, E.H.A. (2018) Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services. Information Technology for Management: Ongoing Research and Development. LNBIP 311, Springer, 3-23

2017

  1. Lethbridge, T., Peyton, L., Amyot, D., Somé, S. (2017) The University of Ottawa Undergraduate Software Engineering Program: Leading and Innovative. 2017 Conference on Software Engineering Education and Training (CSEE&T), Savannah, USA, November. IEEE CS, 5-6.
  2. Amyot, D., Hamou-Lhadj, A., and Hassine, J. (2017) On the Impact of the SDL Forum Society Conferences on Academic Research. 18th SDL Forum: Model-driven Engineering for Future Internet, Budapest, Hungary, November. LNCS 10567, Springer, 30-45.
  3. Akhigbe, O., Heap, S., Islam, S., Amyot, D., and Mylopoulos, J. (2017) Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? 36th Int. Conf. on Conceptual Modeling (ER 2017), Valencia, Spain, November. LNCS 10650, Springer, 77-91
  4. Alwidian, S., and Amyot, D. (2017) Metamodels Relaxation for Model Family Support. 11th Workshop on Models and Evolution (ME 2017), Austin, USA, September. MODELS 2017 Satellite Events, CEUR-WS Vol. 2019, 64-60
  5. Baslyman, M. and Amyot, D. (2017) A Distance-based GRL Approach to Goal Model Refinement and Alternative Selection. 7th International Workshop on Model-Driven Requirements Engineering (MoDRE), Lisbon, Portugal, September. REW2017, IEEE CS, 16-20
  6. Baslyman, M., Amyot, D., Almoaber, B., and El Bouattane, M. (2017) Using Goals and Indicators for Activity-based Process Integration in Healthcare. 7th Int. Conf. on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2017), Lund, Sweden, September. Procedia Computer Science, Volume 113, Elsevier, 318-325.
  7. Çatal, N., Amyot, D., Michalowski, W., Kezadri-Hamiaz, M., Baslyman, M., Wilk, S., and Giffen, R. (2017) Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM. 7th Int. Conf. on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2017), Lund, Sweden, September. Procedia Computer Science, Volume 113, Elsevier, 376-383
  8. Akhigbe, O., Amyot, D., Mylopoulos, J., and Richards, G. (2017) What can Information Systems do for Regulators? A Review of the State-of-Practice in Canada. IEEE Eleventh Int. Conf. on Research Challenges in Information Science (RCIS), Brighton, UK, May. IEEE CS, 57-65.
  9. Baslyman, M., Almoaber, B., Amyot, D., and Bouattane, E.M. (2017) Activity-based Process Integration in Healthcare with the User Requirements Notation. E-Technologies: Embracing the Internet of Things (MCETECH 2017), Ottawa, Canada, May. LNBIP 289, Springer, 151-169.
  10. Chandhoke, G.S., Grewal, A.S., Pathak, V., Singh, S., Ziabari, M.K., Amyot, D., Mouftah, H., Michalowski, W., Fung-Kee-Fung, M., Smylie, J., and Shin, S. (2017) A Virtual Patient Navigation Application for Lung Cancer Assessment Patients. E-Technologies: Embracing the Internet of Things (MCETECH 2017), Ottawa, Canada, May. LNBIP 289, Springer, 255-272.
  11. Alwidian, S., Amyot, D., and Babin, G. (2017) Evaluating the Potential of Technology in Justice Systems Using Goal Modeling. E-Technologies: Embracing the Internet of Things (MCETECH 2017), Ottawa, Canada, May. LNBIP 289, Springer, 185-202 (Best Paper Award)

2016

  1. Akhigbe, O., Amyot, D., Anda, A.A., Lessard, L., and Xiao, D. (2016) Consistency Analysis for User Requirements Notation Models. Ninth International i* Workshop (iStar 2016), Beijing, China, September. CEUR-WS 1674, 43-48.
  2. Lessard, L., Michalowski, W., Li, W.C, Amyot, D., Halwani, F., and Banarjee, D. (2016) Predictive Analytics to Support Real-Time Management in Pathology Facilities. AMIA 2016 Annual Symposium Proceedings, Chicago, USA, November. AMIA Knowledge Cente, 772-778.
  3. Amyot, D., Anda, A.A., Baslyman, M., Lessard, L., and Bruel, J.-M. (2016) Towards Improved Requirements Engineering with SysML and the User Requirements Notation. 24th IEEE Int. Requirements Engineering Conf. (RE’16), RE@Next track, Beijing, China, September. IEEE CS, 334-339.

2015

  1. Braun, E., Amyot, D., and Lethbridge, T.C. (2015) Generating Software Documentation in Use Case Maps from Filtered Execution Traces. 17th Int. Conf. on System Design Languages (SDL 2015), Berlin, Germany, October. LNCS 9369, Springer, 177-192 (Best Paper Award).
  2. Abdelzad, V., Amyot, D., and Lethbridge, T.C. (2015) Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL. 17th Int. Conf. on System Design Languages (SDL 2015), Berlin, Germany, October. LNCS 9369, Springer, 159-174.
  3. Boulet, P., Amyot, D., and Stepien, B. (2015) Towards the Generation of Tests in the Test Description Language from Use Case Map Models. 17th Int. Conf. on System Design Languages (SDL 2015), Berlin, Germany, October. LNCS 9369, Springer, 193-201.
  4. Alwidian, S.A., Amyot, D. (2015) Towards Systems for Increased Access to Justice using Goal Modeling. 8th Int. Workshop on Requirements Engineering and Law (RELAW 2015), Ottawa, Canada, August. IEEE CS, 33-36.
  5. Abdelzad, V., Amyot, D., Alwidian, S.A., and Lethbridge, T.C. (2015) A Textual Syntax with Tool Support for the Goal-oriented Requirement Language. 8th Int. i* Workshop (iStar@RE 2015), Ottawa, Canada, August. CEUR-WS 1402, 61-66.
  6. Amyot, D. (2015) Goal Modeling Education with GRL: Experience Report. 8th Int. i* Workshop (iStar@RE 2015), Ottawa, Canada, August. CEUR-WS 1402, 1-6.
  7. Palmieri, A., Collet, A., and Amyot, D. (2015) Handling Regulatory Goal Model Families as Software Product Lines. 27th Int. Conf. on Advanced Information Systems Engineering (CAiSE'15), Stockholm, Sweden, June. LNCS 9097, Springer, 181-196.
  8. Farah, H., Amyot, D., El Emam, K. (2015) Common Length Name Representation: An Efficient Privacy-Preserving Scheme.1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity (TELERISE), Florence, Italy, May. IEEE CS, 44-49.
  9. Akhigbe, O., Amyot, D., Richards, G. (2015) Information Technology Artifacts in the Regulatory Compliance of Business Processes: A Meta-Analysis. E-Technologies - 6th International Conference (MCETECH 2015), Montréal, Canada, May. LNBIP 209, Springer, 89-104
  10. Farah, H., Amyot, D., El Emam, K. (2015) Efficient Privacy-Preserving Identity Scheme for Electronic Validation of Phase 1 Clinical Trials. E-Technologies - 6th International Conference (MCETECH 2015), Montréal, Canada, May. LNBIP 209, Springer, 183-196

2014

  1. Akhigbe, O., Amyot, D., Richards, G. (2014) A Framework for a Business Intelligence-Enabled Adaptive Enterprise Architecture. 33rd Int. Conf. on Conceptual Modeling (ER 2014), Atlanta, USA, October. LNCS 8824, Springer, 393-406.
  2. Akhigbe, O., Alhaj, M., Amyot, D., Badreddin, O., Braun, E., Cartwright, N., Richards, G., Mussbacher, G. (2014) Creating Quantitative Goal Models: Governmental Experience. 33rd Int. Conf. on Conceptual Modeling (ER 2014), Atlanta, USA, October. LNCS 8824, Springer, 466-473.
  3. Mussbacher, G., Amyot, D., Breu, R., Bruel, J.-M., Cheng, B., Collet, P., Combemale, B., France, R., Heldal, R., Hill, J., Kienzle, J., Schöttle, M., Steimann, F., Stikkolorum, D., Whittle, J. (2014) The Relevance of Model-Driven Engineering Thirty Years from Now. ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September. LNCS 8767, Springer, 183-200
  4. Baslyman, M., Rezaee, R., Amyot, D., Mouttham, A., Chreyh, R., Geiger, G. (2014) Towards an RTLS-based Hand Hygiene Notification System. 4th Int. Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2014), Halifax, Canada, September 2014. Procedia Computer Science, Vol. 37, Elsevier, 261-265
  5. Rezaee, R., Baslyman, M., Amyot, D., Mouttham, A., Chreyh, R., Geiger, G. (2014) Location-Based Patient-Device Association and Disassociation. 4th Int. Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2014), Halifax, Canada, September 2014. Procedia Computer Science, Vol. 37, Elsevier, 282-286
  6. Wilk, S., Astaraky, D., Michalowski, W., Amyot, D., Li, R., Kuziemsky, C., Andreev, P. (2014) MET4: Supporting Workflow Execution for Interdisciplinary Healthcare Teams. 7th Int. Workshop on Process-oriented Information Systems in Healthcare (ProHealth 2014), Business Process Management Workshops, Eindhoven, The Netherlands, September 2014. LNBIP 212, Springer, 40-52
  7. Ghanavati, S., Amyot, D., Rifaut, A., Dubois, E. (2014) Goal-Oriented Compliance with Multiple Regulations. 22nd IEEE Int. Requirements Engineering Conf. (RE'14), Karlskrona, Sweden, August 2014. IEEE CS, 73-82.
  8. Rahman, A., Amyot, D. (2014) A DSL for Importing Models in a Requirements Management System. 4th Int. Workshop on Model-Driven Requirements Engineering (MoDRE'14), Karlskrona, Sweden, August 2014. IEEE CS, 37-46
  9. Ghanavati, S., Amyot, D., Rifaut, A. (2014) Legal Goal-Oriented Requirement Language (Legal GRL) for Modeling Regulations. Workshop on Modeling in Software Engineering @ ICSE 2014 (MiSE 2014), Hyderabad, India, June 2014. ACM, 1-6.
  10. Becha, H., Amyot, D. (2014) Consumer-Centric Non-Functional Properties of SOA-Based Services. 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2014), Hyderabad, India, May 2014. ACM, 18-27.
  11. Farah, H., Amyot, D., El Emam, K. (2014) A Tool for Simple and Efficient Clinical Protocol Evaluation. 27th International Symposium on Computer-Based Medical Systems (CBMS’14), New York, USA, May 2014. IEEE CS, 499-500.
  12. Farah, H., Amyot, D., El Emam, K. (2014) Real-World Data Set Parameters and Synthesization for Matching Identity in Clinical Protocols. 27th International Symposium on Computer-Based Medical Systems (CBMS’14), New York, USA, May 2014. IEEE CS, 263-266.

2013

  1. Bougueng Tchemeube, R., Amyot, D., Mouttham, A. Location-Aware Business Process Management for Real-time Monitoring of a Cardiac Care Process (2013). 23rd Int. Conf. Center for Advanced Studies on Collaborative Research (CASCON’13), Toronto, Canada, November 2013. IBM / ACM, 230-244.
  2. Badreddin, O., Mussbacher, G., Amyot, D., Behnam, S.A., Rashidi-Tabrizi, R., Braun, E., Alhaj, M., Richards, G. (2013) Regulation-Based Dimensional Modeling for Regulatory Intelligence. 6th Int. Workshop on Requirements Engineering and Law (RELAW 2013), Rio de Janeiro, Brazil, July 2013. IEEE CS, 1-10
  3. Rashidi-Tabrizi, R., Mussbacher, G., Amyot, D. (2013) Legal Requirements Analysis and Modeling with the Measured Compliance Profile for the Goal-oriented Requirement Language. 6th Int. Workshop on Requirements Engineering and Law (RELAW 2013), Rio de Janeiro, Brazil, July 2013. IEEE CS, 53-56
  4. Rashidi-Tabrizi, R., Mussbacher, G., Amyot, D. (2013) Transforming Regulations into Performance Models in the Context of Reasoning for Outcome-Based Compliance. 6th Int. Workshop on Requirements Engineering and Law (RELAW 2013), Rio de Janeiro, Brazil, July 2013. IEEE CS, 34-43
  5. Pourshahid, A., Mussbacher, G., Amyot, D. and Weiss, M. (2013) Requirements for a Modeling Language to Specify and Match Business Process Improvement Patterns. 3rd Workshop on Model-Driven Requirements Engineering (MoDRE 2012), Rio de Janeiro, Brazil, July 2013. IEEE CS, 10-19
  6. Bahrani, S., Tchemeube, R.B., Mouttham, A., Amyot, D. (2013) Real-time Simulations to Support Operational Decision Making in Healthcare. Summer Computer Simulation Conference and Work in Progress (SCSC 2013 and WIP 2013), Toronto, Canada, Simulation Series, Vol 45 #11, Curran Associates, Inc., July 2013, 768-775.
  7. Amyot, D., Rashidi-Tabrizi, R., Mussbacher, G., Kealey, J., Tremblay, E., Horkoff, J. (2013) Improved GRL Modeling and Analysis with jUCMNav 5. 6th International i* Workshop (iStar 2013), Valencia, Spain, June 2013. CEUR-WS, Vol-978, 137-139.

2012

  1. Hassine, J. and Amyot, D. (2012) GRL Model Validation: A Statistical Approach. 7th SAM (System Analysis and Modelling) Workshop, Innsbruck, Austria, October. LNCS 7744, Springer, 212-228.
  2. Shamsaei, A., Amyot, D., Pourshahid, A., Yu, E., Mussbacher, G., Tawhid, R., Braun, E., Cartwright, N. (2012) An Approach to Specify and Analyze Goal Model Families. 7th SAM (System Analysis and Modelling) Workshop, Innsbruck, Austria, October 2012. LNCS 7744, Springer, 34-52.
  3. Vrbaski, M., Mussbacher, G., Petriu, D.C., Amyot, D. (2012) Goal Models as Run-time Entities in Context-Aware Systems. 7th Workshop on Models@run.time (MRT'12), Vienna, Austria, October 2012. ACM, USA, 3-8
  4. Behnam, S.A., Amyot, D., Mussbacher, G., Braun, E., Cartwright, N., Saucier, M. (2012) Using the Goal-Oriented Pattern Family Framework for Modelling Outcome-Based Regulations. Second Int. Workshop on Requirements Patterns (RePa’12), Chicago, USA, September. IEEE CS, 35-40.
  5. Leblanc, S., Mussbacher, G., Kienzle, J., Amyot, D. (2012) Narrowing the Gaps in Concern-Driven Development. 2nd Model-Driven Requirements Engineering Workshop (MoDRE), Chicago, USA, September. IEEE CS, 19-28.
  6. Horkoff, J., Borgida, A., Mylopoulos, J., Barone, D., Jiang, L., Yu, E., Amyot, D. (2012) Making Data Meaningful: The Business Intelligence Model and its Formal Semantics in Description Logics. 11th Int. Conf. on Ontologies, DataBases, and Applications of Semantics (ODBASE 2012), On the Move to Meaningful Internet Systems: OTM 2012, Part II, September 2012. LNCS 7565, Springer, 700-717.
  7. Tawhid, R., Alhaj, M., Mussbacher, G., Braun, E., Cartwright, N., Shamsaei, A., Amyot, D., Behnam, S.A., Richards, G. (2012) Towards Outcome-Based Regulatory Compliance in Aviation Security. 20th IEEE Int. Requirements Engineering Conf. (RE'12), Chicago, USA, September. IEEE CS, 267-272.
  8. Amyot, D., Shamsaei, A., Kealey, J., Tremblay, E., Miga, A., Mussbacher, G., Alhaj, M., Tawhid, R., Braun, E., Cartwright, N. (2012) Towards Advanced Goal Model Analysis with jUCMNav. 3rd Int. Workshop on Requirements, Intentions and Goals in Conceptual Modeling (RIGiM’12), Florence, Italy, October. ER Workshops 2012, LNCS 7518, Springer, 201-210.

2011

  1. Barone, D., Jiang, L., Amyot, D., 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.
  2. Jiang, L., Barone, D., Amyot, D., Mylopoulos, J. (2011) Strategic Models for Business Intelligence. 30th Int. Conf. on Conceptual Modeling (ER 2011), Brussels, Belgium, October. LNCS 6998, Springer, 429-439.
  3. Barone, D., Jiang, L., Amyot, D., Mylopoulos, J. (2011) Composite Indicators for Business Intelligence. 30th Int. Conf. on Conceptual Modeling (ER 2011), Brussels, Belgium, October. LNCS 6998, Springer, 448-458.
  4. Mussbacher, G., Kienzle, J., 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.
  5. 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.
  6. Mussbacher, G., Amyot, D., Heymans, P. (2011) Eight Deadly Sins of GRL. 5th International i* Workshop (iStar 2011), Trento, Italy, August. CEUR-WS, Vol-766, 2-7.
  7. Amyot, D., Mussbacher, G., Ghanavati, S., Kealey, J. (2011) GRL Modeling and Analysis with jUCMNav. 5th International i* Workshop (iStar 2011), Trento, Italy, August. CEUR-WS, Vol-766, 160-162.
  8. Ghanavati, S., Amyot, D., 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.
  9. Shamsaei, A., Pourshahid, A., 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.
  10. Mosser, S., Mussbacher, G., Blay-Fornarino, M., 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.
  11. Barone, D., Peyton, L., Rizzolo, F., Amyot, D., 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.
  12. 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.
  13. Pourshahid, A., Richards, G., 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

  1. Bolkovic, M., Mussbacher, G., Bagheri, E., Amyot, D., Gasevic, D., 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.
  2. Genon, N., Amyot, D., 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.
  3. 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.
  4. Genon, N., Heymans, P., 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.
  5. Ferrand, D., Villar Corrales, C., 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.
  6. Shamsaei, A., Pourshahid, A., 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.
  7. Ghanavati, S., Amyot, D., Siena, S., Susi, A., 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.
  8. Ghanavati, S., Amyot, D., Siena, S., Susi, A., Perini, A. (2010) Making Business Processes Law Compliant. First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), Firenze, Italy, July.
  9. Behnam, S.A., Amyot, D., 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

  1. Mussbacher, G., Amyot, D., 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.
  2. Amyot, D., Horkoff, J., Gross, D., 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.
  3. 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.
  4. Abid, M.R., Amyot, D., Somé, S.S., 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.
  5. Mussbacher, G., Whittle, J., 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.
  6. Ghanavati, S., Amyot, D., 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.
  7. Mussbacher, G., Amyot, D., Weigert, T., 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.
  8. Mussbacher, G., Amyot, D., 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.
  9. 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.
  10. 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.
  11. Pourshahid, A., Mussbacher, G., Amyot, D., 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.
  12. Behnam, S.A., Amyot, D., Forster, A.J., Peyton, L., 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.
  13. Ghanavati, S., Siena, A., Perini, A., Amyot, D., Peyton, L., 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

  1. 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.
  2. Mussbacher, G., Whittle, J., 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.
  3. Ghanavati, S., Amyot D., 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.
  4. Amyot, D., Becha, H., Bræk, R., 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.
  5. Mussbacher, G., Amyot, D., Araújo, J., Moreira, A. (2008) Modeling Software Product Lines with AoURN. Early Aspects Workshop at AOSD 2008, Brussels, Belgium, March.
  6. Pourshahid, A., Chen, P., Amyot, D., Forster, A.J., Ghanavati, S., Peyton, L., 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)
  7. 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.
  8. 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

  1. Mussbacher, G., Amyot, D., Araújo, J., Moreira, A., Weiss, M. (2007) Visualizing Aspect-Oriented Goal Models with AoGRL. Second International Workshop on Requirements Engineering Visualization (REV’07), New Delhi, India, October.
  2. 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.
  3. Ghanavati, S., Amyot D., 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.
  4. Pourshahid, A., Chen, P., Amyot, D., Forster, A.J., 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.
  5. Ghanavati, S., Amyot D., 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.
  6. Mussbacher, G., Amyot, D., Whittle, J., 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.
  7. 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

  1. Mussbacher, G., Amyot, D., 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.
  2. Mussbacher, G., Weiss, M., 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.
  3. Amyot, D., Farah, H., 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.
  4. 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.
  5. Kealey, J., Kim, Y., Amyot, D., 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.
  6. 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

  1. 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.
  2. 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.
  3. Amyot, D., Roy, J.-F., 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.
  4. Sanders, R.T., Bræk, R., Bochmann, G.v., 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)
  5. Weiss, M. and Amyot, D. (2005) Business Model Design and Evolution. In: IAMOT 14th International Conference on Management of Technology, Vienna, Austria, May 2005.
  6. Hamou-Lhadj, A., Braun, E., Amyot, D., 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
  7. 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.
  8. 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

  1. Amyot, D., Weiss, M., 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.
  2. Amyot, D., Echihabi, A., 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

  1. Amyot, D., Cho, D.Y., He, X., He, Y. (2003) Generating Scenarios from Use Case Map Specifications. Third International Conference on Quality Software (QSIC'03), Dallas, November 2003, 108-115.
  2. He, Y., Amyot, D., 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)
  3. Petriu, D.B., Amyot, D., Woodside, M. (2003) Scenario-Based Performance Engineering with UCMNav. 11th SDL Forum (SDL'03), Stuttgart, Germany, July 2003. LNCS 2708, 18-35.

2002

  1. 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.
  2. Amyot, D., Mussbacher, G., 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.
  3. 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

  1. 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.
  2. 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
  3. 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.
  4. 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

  1. 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.
  2. Amyot, D., 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.
  3. Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B., 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

  1. Amyot, D., Buhr, R.J.A., Gray, T., 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.
  2. 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

  1. Buhr, R.J.A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., 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.
  2. Buhr, R.J.A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., 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

  1. Amyot, D., Logrippo, L., 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

  1. Amyot, D., Bordeleau, F., Buhr, R.J A., 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

  1. Baquero, P., Restrepo Amariles, D., and Amyot, D. (2021) Addressing the Compliance Gap in Data Supply Chains: Smart Contracts as a Compliance Technology. Law & Society Annual Meeting, virtual, Chicago, USA, May 29, 2021.
  2. Parvizimosaed, A., Roveri, M., Sharifi, S., Amyot, D., Logrippo, L., and Mylopoulos, J. (2020) Formal Verification of Symboleo Contracts with nuXmv. Abstract, First Workshop on Frontiers of Digital Enforceable Contracts (FDEC), Virtual, Prague, Czech Republic, December 2020.
  3. Kezadri, M., Rosu, D., Wilk, S., Kuziemsky, C., Michalowski, W., Amyot, D., Carrier, M. (2015) Cadre formel pour la modélisation de la gestion des processus métier par une équipe médicale interdisciplinaire. Extended abstract, 15th IFAC Symposium on Information Control Problems in Manufacturing, Ottawa, Canada, May 2015
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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)
  13. 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.
  14. 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

Other Publications

  1. Amyot, D. (1998) Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features. CITO report #1430, Ottawa, Canada.
  2. Amyot, D. (1998) Group Communication Server: A Scenario-Based Design Exercise. CITO report #1388, Ottawa, Canada.
  3. Amyot, D. (1995) LOTOS Generation from Timethread Maps: A Language and a Tool, University of Ottawa, Canada.
  4. Amyot, D. (1993) From Timethreads to LOTOS: A First Pass, TR-SCE-93-38, SCE, Carleton University, Ottawa, Canada
  5. 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, Refereed Demos/Posters, and Invited Lectures

  1. Amyot, D., Kolesnyk, V., Lessard, L., Parekh, V., Motwani, Y.R., Sauvé-Schenk, K., Sylvestre, J., Valipourebrahimi, S.: Engineering Requirements for Social Housing Through Prototyping. Keynote talk and extended abstract, Fifth International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH), Reykjavik, Iceland, June 2024. REW, IEEE CS, 360–361.
  2. Meloche, R., Amyot, D., Mylopoulos, J.: SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. 2024 32nd IEEE International Requirements Engineering Conference (RE), Tools and Demos Track, Reykjavik, Iceland, June 2024. IEEE CS, 498–499. Best Poster/Demo Award.
  3. Amyot, D., Mussbacher, G.: i* and URN. iStar’23 Celebratory Symposium, Hannover, Germany, September 3, 2023.
  4. Amyot, D.: A Multi-Disciplinary Approach to Digital Transformation and Innovation (DTI). Invited presentation, 4th Digital Transformation in Government Conference (DTiG), online, Canada, June 13, 2023.
  5. Amyot, D.: Goal-oriented Process Mining for Extracting Enterprise Processes. Invited lecture, York University, Toronto, Canada, November 15, 2022.
  6. Amyot, D.: CyPreSS ORF: Generation of Smart Contracts by Modelling, Analyzing, and Transforming Legal Contracts, 2nd CASCONxEVOKE Workshop on Software Techniques for Engineering Cyber-Physical Systems, Toronto, Canada, November 15, 2022.
  7. Amyot, D.: Policing Blockchain... and Smart Contracts. Panel presentation, ACT Partnership Annual Meeting - 2022, Conflicting Values in the Development of Legal AI, Montreal, Canada, October 6, 2022.
  8. Amyot, D.: Symboleo: a language for specifying legal contractual requirements and generating smart contracts. Keynote presentation, 25th Workshop on Requirements Engineering (WER 2022), online, Brazil, April 14, 2022.
  9. Amyot, D.: Goal-oriented Process Mining for Extracting Enterprise Processes. Invited lecture, NEMO Summer School Series, University of Vienna, Vienna, Austria, July 12, 2022.
  10. Amyot, D.: From Legal Contracts to Smart Contracts using Symboleo. Invited presentation, Law, Society & AI Seminar, HEC Paris, Paris, France, June 23, 2022.
  11. Amyot, D.: A Multi-Disciplinary Approach to Digital Transformation and Innovation (DTI). Invited presentation, 3rd Digital Transformation in Government Conference (DTiG), online, Canada, June 16, 2022.
  12. Amyot, D.: Symboleo: a language for specifying/verifying legal contracts and generating smart contracts. Seminar presentation, École Polytechnique, Montréal, Canada, April 14, 2022.
  13. Amyot, D.: "Do Your Own Research..." How to do it, really! Seminar presentation, Hojjat Salemi Career Development Workshops, University of Ottawa, online, Canada, March 25, 2022.
  14. Amyot, D.: On vision, requirements, and education in software engineering. Invited talk, Marsh Awards, Faculty of Engineering, University of Ottawa, online, Canada, January 10, 2022.
  15. Amyot, D., Parvizimosaed, A., Mylopoulos, J. CyPreSS ORF: The Symboleo Project. Invited presentation,CASCON x EVOKE Workshop on Software Techniques for Engineering Cyber-Physical Systems, online, Canada, November 25, 2021.
  16. Amyot, D. Next-Generation Social Modeling, My Humble Opinion. Panel, 14th International iStar Workshop, online, Canada, October 18, 2021.
  17. Amyot, D.: Goal-oriented Process Mining for Extracting Enterprise Processes. Invited lecture, NEMO Summer School Series, online, Austria, July 20, 2021.
  18. Amyot, D. User Requirements Notation: Beneficial requirements modelling with goals and processes. Invited talk, 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021), online, Spain, June 8, 2021
  19. Amyot, D. Spécification et vérification de contrats: Expérience avec le langage Symboleo. Seminar presentation, Séminaire LATECE, UQAM, online, Canada, May 19, 2021.
  20. Amyot, D. Contract Specification and Verification: Experience with the Symboleo Language. Keynote presentation, 15th International Workshop on Value Modeling and Business Ontologies (VMBO 2021), online, Italy. March 5, 2021.
  21. Amyot, D. Two decades of combined goal/process modeling: lessons learned and opportunities. Keynote presentation, 13th International i* Workshop (iStar2020), online, Switzerland, September 1, 2020.
  22. Amyot, D. Designing a formal language to specify, verify, and monitor Smart Contracts. Research presentation, ACT Partnership Annual Meeting - 2020, The Year of Cyberjustice?, online, Canada, June 23, 2020.
  23. Amyot, D. Forage de modèles de processus: Amélioration du prétraitement et intégration de buts. Séminaire, Université de Sherbrooke, Canada, November 15, 2019.
  24. Amyot, D. Process Mining: On the need for goals and enhanced preprocessing. Faculty of Information Technology Talk, Monash University, Melbourne, Australia, October 24, 2019.
  25. Akhigbe, O., Amyot, D. Research on Evidence-Based Regulatory Management. Invited talk, TVT Talk, IBM Canada, Ottawa, Canada, April 11, 2019.
  26. Amyot, D. Mon expérience en génie : Développement, éthique et diversité. Invited talk, Soirée reconnaissance de l'Ordre des ingénieurs du Québec - Outaouais, Gatineau, Canada, March 12, 2019.
  27. Amyot, D. Evidence-Driven Evolution of Regulatory Requirements with Goal Models and Watson Analytics. Invited talk, Hamburg Requirements Engineering Symposium, Hamburg, Germany, May 23, 2018.
  28. Amyot, D. Modélisation en soins de santé: exigences et processus cliniques. Séminaire, Université du Québec en Outaouais, Gatineau, Canada, February 22, 2018.
  29. Akhigbe, O., Heap, S., Amyot, D., Richards, G.S. Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models. Demonstration paper, 36th Int. Conf. on Conceptual Modeling (ER 2017), Valencia, Spain, November 2017. CEUR-WS, Vol. 1979, 338-342
  30. Amyot, D. Goal-oriented Regulatory Intelligence: Can Goal Modeling and Emerging Analytics Tools Help Regulators? Keynote talk, Tenth International Workshop on Requirements Engineering and Law (RELAW), Lisbon, Portugal, September 5, 2017.
  31. Amyot, D., Mussbacher, G. Modeling and Analysis with the User Requirements Notation 2.0: Features, Goals, and Scenarios. Tutorial 24th IEEE Int. Requirements Engineering Conference, Beijing, China, September 13, 2016.
  32. Amyot, D. Modeling in Healthcare: Requirements and Clinical Processes. Keynote talk, Sixth International Model-Driven Requirements Engineering (MoDRE), Beijing, China, September 12, 2016
  33. Amyot, D. User Requirements Notation (URN): Application to Compliance Analysis. Research seminar, SnT - Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg, May 31, 2016.
  34. Amyot, D. Modeling and Analysis with the User Requirements Notation 2.0: Features, Goals, and Scenarios. Research seminar, SnT - Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg, May 30, 2016.
  35. Amyot, D. The Relevance of MDE Thirty Years from Now. Invited lecture, Universitat Politècnica de València, Valencia, Spain, May 25, 2016.
  36. Amyot, D. Exploiting Real-Time Location Systems for Novel Healthcare Services. Patent Examination Technical Seminars, Canadian Intellectual Property Office, Gatineau, Canada, February 2, 2016.
  37. Amyot, D. User Requirements Notation (URN): Overview and Application to Legal Compliance. Seminar presentation, Department of Computer Science, University of Toronto, Toronto, Canada, November 25, 2015.
  38. Amyot, D. User Requirements Notation (URN): Overview and Application to Business Process Modeling and Legal Compliance. Seminar presentation, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France, November 10, 2015.
  39. Amyot, D. User Requirements Notation (URN): Overview and Application to Business Process Modeling and Legal Compliance. Keynote presentation, 12th Annual Conference on Business Information Systems (OGIK’2015), Veszprém, Hungary, November 6, 2015.
  40. Amyot, D. Introduction à la notation d’exigences utilisateur (URN) et à la formalisation de patterns. Invited lecture, École Nationale d’Aviation Civile (ENAC), Toulouse, France, November 2, 2015.
  41. Amyot, D. User Requirements Notation (URN): Application to Legal Compliance and Regulatory Intelligence. Tutorial, Cyberjustice Laboratory, Université de Montréal, Canada, April 20, 2015.
  42. Amyot, D. The User Requirements Notation and its Application to Business Process Modeling and Legal Compliance. Invited presentation, King Fahd University of Petroleum and Minerals, Saudi Arabia, March 19, 2015.
  43. Amyot, D. Emerging Healthcare Services Based on Real-Time Location Systems. Invited presentation, King Fahd University of Petroleum and Minerals, Saudi Arabia, March 19, 2015.
  44. Amyot, D. The User Requirements Notation and its Application to Legal Compliance. Invited presentation, American University of Kuwait, March 18, 2015.
  45. Amyot, D. Emerging Healthcare Services Based on Real-Time Location Systems. Keynote presentation, First International Conference on Computing Sciences and Engineering (ICCSE 2015), Kuwait, March 17, 2015.
  46. Amyot, D. and Mussbacher, G. Modeling and analysis with the User Requirements Notation 2.0: features, goals, and scenarios. Full-day tutorial, 22nd IEEE International Requirements Engineering Conference (RE 2014), Karlskrona, Sweden, August 25, 2014.
  47. Astaraky, D., Amyot, D., Li, R., Michalowski, W., Wilk, S., Kuziemsky, C., and Andreev, P. Foundations, Design and Operations of the MET4 Computer System for Supporting Interdisciplinary Healthcare Team. Abstract presentation, 56th Canadian Operational Research Society (CORS) Annual Conference, Ottawa, Canada, May 26-28, 2014.
  48. Amyot, D. An introduction to the User Requirements Notation (URN) and Use Case Maps (UCM). Invited tutorial, CMC Electronics, Montréal, Canada, August 20, 2013.
  49. Amyot, D. The User Requirements Notation (URN), with Application to Business Process Modeling and Legal Compliance. Invited tutorial, Universidade Federal do Ceará, Fortaleza, Brazil, July 22-23, 2013.
  50. Yu, E., Amyot, D., Mussbacher, G., Franch, X., and Castro, J. Practical Applications of i* in Industry: The State of the Art. Mini-tutorial, 21th IEEE International Requirements Engineering Conference (RE 2013), Rio de Janeiro, Brazil, July 18, 2013. IEEE CS, 366-367.
  51. Amyot, D., Mussbacher, G., Kealey, J. and Tremblay, E. URN Modeling and Analysis with jUCMNav 5. Demo/poster presentation, 16th SDL Forum Conference (SDL’13), Montréal, Canada, June 2013.
  52. Amyot, D., An architecture and a platform for real-time, location-based patient flow monitoring. Invited talk, IBM TechConnect, Ottawa, Canada, May 2013.
  53. Amyot, D., The User Requirements Notation (URN) for Business Process Modeling and Legal Compliance. Tutorial, Third Kuwait Conference on e-Services and e-Systems, Kuwait City, Kuwait, December 2012.
  54. Amyot, D., An architecture and a platform for real-time, location-based patient flow monitoring. Invited talk, Third Kuwait Conference on e-Services and e-Systems, Kuwait City, Kuwait, December 2012.
  55. Amyot, D., Towards Real-Time, Location-based Patient Flow Management. Invited talk, Digital Transformation 3.0: Changing Clinical Care, University of Ottawa, Canada, October 2012.
  56. Amyot, D. Performance-based Regulatory Compliance Framework. Invited talk, IBM Center for Business Analytics and Performance, University of Ottawa, Canada, October 2012.
  57. Amyot, D., Leblanc, S., Kealey, J., and Kienzle, J. Concern-Driven Development with jUCMNav. Research demo. 20th IEEE Int. Requirements Engineering Conference (RE’12). Chicago, USA, September 2012. IEEE CS.
  58. Vrbaski, M., Petriu, D.C., and Amyot, D., Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware Systems. Research demo. 20th IEEE Int. Requirements Engineering Conference (RE’12). Chicago, USA, September 2012. IEEE CS, 335-336. (Best Poster & Demo Award).
  59. Amyot, D., Richards, G., Pourshahid, A., and Johari, I., Framework for Situational Analytics: Building Blocks for Decision Making. CASCON Workshop on Information Management for Situational Analytics, Toronto, Canada, November 9, 2011.
  60. Behnam, S., Amyot, D., and Forster, A.J. Proactive Adverse Event Management in Healthcare. iStar Showcase’11, poster session, London, UK, June 2011.
  61. Pourshahid, A., Amyot, D., Richards, G., and Meek, H. Using URN and Key Performance Indicators for Performance Management in Small and Medium Enterprises. iStar Showcase’11, poster session, London, UK, June 2011.
  62. 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.
  63. Amyot, D., Business Process Compliance with the User Requirements Notation. Keynote presentation, 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
  64. Amyot, D., Business Process Management with the User Requirements Notation. Departmental Seminar, Fondazione Bruno Kessler - CIT, Trento, Italy, April 9, 2010.
  65. Amyot, D., User Requirements Notation: The First Ten Years, The Next Ten Years. Departmental Seminar, University of Pannonia, Veszprém, Hungary, April 7, 2010.
  66. Amyot, D., URN and jUCMNav. Tutorial, University of Pannonia, Veszprém, Hungary, April 6, 2010.
  67. Amyot, D., Business Process Management and Compliance with the User Requirements Notation. Departmental Seminar, Lancaster University, UK, March 31, 2010.
  68. Amyot, D., User Requirements Notation: The First Ten Years, The Next Ten Years. Departmental Seminar, FUNDP, Université de Namur, Belgium, March 19, 2010.
  69. 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.
  70. 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.
  71. 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.
  72. 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
  73. 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.
  74. Amyot, D., Applications de la notation d'exigences utilisateurs (URN), Université du Québec en Outaouais, Canada, February 28, 2008.
  75. 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.
  76. Amyot, D., User Requirements Notation (URN): Overview, Tools and Perspectives, NTNU, Trondheim, Norway, June 8, 2007.
  77. Amyot, D., User Requirements Notation (URN): Overview, Tools and Perspectives, Motorola Software, System and Simulation Symposium (S3S), Chicago, USA, September 14, 2006.
  78. Amyot, D., Notation d'exigences utilisateurs (URN): Aperçu, outils et perspectives, École Polytechnique, Montréal, Canada, March 14, 2006.
  79. Amyot, D., Génération de tests à partir de modèles UCM, Université du Québec à Montréal, Canada, February 11, 2005.
  80. Amyot, D., Analysis and Transformations with Use Case Maps, Al Akhawayn University in Ifrane, Morocco, July 2nd, 2004.
  81. Amyot, D., Integrated Application of the User Requirements Notation, ITU-T Workshop on Integrated application of formal languages, Geneva, Switzerland, September 2003.
  82. Amyot, D., Standardizing Requirements Notations: URN, and What Else?, Canadian Software Requirements Symposium, Hamilton, Canada, May 26, 2003.
  83. Amyot, D., Using the User Requirements Notation, ITU-T Workshop on Use of Description Techniques, Geneva, Switzerland, November 2002.
  84. Amyot, D., User Requirements Notation, Concordia Summer School in Communication Software Engineering, Montréal, Canada, August 2002.
  85. Amyot, D., User Requirements Notation, University of Calgary, Canada, August 2002.
  86. Amyot, D., User Requirements Notation, ITU-T Workshop on Framework and Scope of Formal Languages, Geneva, Switzerland, March 2002.
  87. Amyot, D. and Mussbacher, G., From Requirements to UML Models with Use Case Maps (UCMs), <<UML>> 2001, Toronto, Canada, October 2001
  88. Amyot, D. and Mussbacher, G., Use Case Maps ­ Bridging The Gap Between Requirements And Design, RE'01, Toronto, Canada, August 2001
  89. 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

  1. ITU-T, Recommendation Z.151 (10/12): User Requirements Notation (URN) - Language Definition, Geneva, Switzerland, approved October 2012. Co-editors: D. Amyot and G. Mussbacher.
  2. ITU-T, Recommendation Z.151 (2008) Corrigendum 1 (04/12), Geneva, Switzerland, approved April 2012. Co-editors: D. Amyot and G. Mussbacher.
  3. ITU-T, Recommendation Z.150 (02/11): User Requirements Notation (URN) - Language Requirements and Framework, Geneva, Switzerland, approved February 2011. Editor: D. Amyot.
  4. 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.
  5. 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.
  6. ITU-T, Recommendation Z.150 (02/03): User Requirements Notation (URN) - Language Requirements and Framework, Geneva, Switzerland, approved February 2003. Editor: D. Amyot.