Publications
The Case for Integrated Model Centric Engineering
Elaasar, M., Rouquette, N., Jenkins, S., Gerard, S.: “The Case for Integrated Model Centric Engineering”, Proceedings of Model-Based Enterprise Summit (MBE 2019), pp. 9, July, 2019.
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach
Ma, T., Ali, S., Yue, T., Elaasar, M.: “Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach”, Proceedings of Software Quality Journal, pp. 1-35, Jan 1, 2019.
Reducing UML Modeling Tool Complexity with Architectural Contexts and Viewpoints.
Noyrit, F., Badreddin, O., Gérard, S., Elaasar, M. : “Reducing UML Modeling Tool Complexity with Architectural Contexts and Viewpoints”. Proceedings of MODELSWARD 2018: 129-138, 2018.
Definition of modeling vs. programming languages
Elaasar, M.: “Definition of modeling vs. programming languages”, Proceedings of International Symposium on Leveraging Applications of Formal Methods, pp. 35-51, Nov 5, 2018.
A systematic identification of consistency rules for UML diagrams
Torre, D, Labiche, Y., Genero, M., Elaasar, M.: “A systematic identification of consistency rules for UML diagrams”, Proceedings of Journal of Systems and Software, pp. 121-142, Oct 10, 2018.
Scope in model transformations
Jukšs, M., Verbrugge, C., Elaasar, M., Vangheluwe, H.: “Scope in model transformations”, Proceedings of Software & Systems Modeling, pp. 1227-1252, Oct 10, 2018.
Reusing metamodels and notation with Diagram Definition
Bock, C., Elaasar, M.: “Reusing metamodels and notation with Diagram Definition”, Proceedings of Software & Systems Modeling, pp. 1079-1103, Oct 10, 2018.
CIAhelper: towards change impact analysis in delta-oriented software product lines
Hamza, M., Walker, R., Elaasar, M.: “CIAhelper: towards change impact analysis in delta-oriented software product lines”,
Proceeedings of the 22nd International Conference on Systems and Software Product Line-Volume 1, pp. 31-42, Sep 10, 2018.
UML diagram synthesis techniques: a systematic mapping study
Torre, D., Labiche, Y., Genero, M., Baldassarre, M., Elaasar, M.: “UML diagram synthesis techniques: a systematic mapping study”, Proceedings of IEEE/ACM 10th International Workshop on Modelling in Software Engineering (MiSE), pp. 33-40, May 27, 2018.
How consistency is handled in Model Driven Software Engineering and UML: a survey of experts in academia and industry
Torre, D., Genero, M., Labiche, Y., Elaasar, M. : “An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages”, Technical Report SCE-18-01, Carleton University, 2018.
Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools
Elaasar, M., Noyrit, F., Badreddin, O., Gérard, S.: “Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools”, Proceedings of International Conference on Model-Driven Engineering and Software Development, pp. 236-258, Jan 22, 2018.
Fragility-Oriented Testing with Model Execution and Reinforcement Learning
Ma,T., Ali, S., Yue, T., Elaasar, M. “Fragility-Oriented Testing with Model Execution and Reinforcement Learning.” Proceedings of the 29th International Conference on Testing Software and Systems (ICTSS), St-Petersburg, Russia, 2017.
Unanticipated Evolution in Software Product Lines versus Independent Products: A Case Study
Hamza, M., Walker, R., Elaasar, M. “Unanticipated Evolution in Software Product Lines versus Independent Products: A Case Study.” Proceedings of the 21st International Systems and Software Product Line Conference , Volume B, Sevilla, Spain, 2017.
fSysML: Foundational Executable SysML for Cyber- Physical System Modeling
Badreddin, O., Abdelzad, V., Lethbridge, T., Elaasar, M. “fSysML: Foundational Executable SysML for Cyber- Physical System Modeling“. 4th International Workshop on The Globalization of Modeling Languages. Fourth International Workshop on the Globalization of Modeling Languages, Saint-Malo, France, 2016.
Action languages and precise modeling for cyber-physical systems design and testing
Badreddin, O., Elaasar, M., Abdelzad, V. “Action languages and precise modeling for cyber-physical systems design and testing.” Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering. IBM Corp., 2016.
Scope in Model Transformations
Jukss, M., Verbrugge, C., Elaasar, M., Vangheluwe, H. “Scope in Model Transformations.” Software and Systems Modeling (SoSym), https://doi.org/10.1007/s10270-016-0555-8, 2016.
Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages
Elaasar M., Badreddin, O. “Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages.” Proceedings of ISOLA’16, Corfu, Greece, 2016.
Creating System Engineering Products with Executable Models in a Model Based Engineering Environment
Karban, R., Dekens, F., Jankevičius, N., Elaasar, M. “Creating System Engineering Products with Executable Models in a Model Based Engineering Environment.” Proceedings of Modeling, Systems Engineering, and Project Management for Astronomy VI , Edinburgh, UK, 2016.
ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns
Karban, R., Jankevičius, N., Elaasar, M. “ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns”, Proceedings of INCOSE International Symposium (IS), Edinburgh, Scotland, 2016.
WUCOR 2015: Post Workshop Report
Torre, D., Labiche, Y., Genero, M., Elaasar, M. “1st International Workshop on UML Consistency Rules (WUCOR 2015): Post workshop report.” ACM SIGSOFT Software Engineering Notes, volume 41, issue 2, March 2016.
Reusing Metamodels and Notation with Diagram Definition
Bock, C., Elaasar, M. “Reusing Metamodels and Notation with Diagram Definition.” Software and Systems Modeling (SoSym), https://doi.org/10.1007/s10270-016-0537-x, 2016.
A Controlled Experiment for Evaluating the Comprehensibility of UML Action Languages
Baderddin, O., Elaasar, M., Hamou-lhadj, A. “A Controlled Experiment for Evaluating the Comprehensibility of UML Action Languages.” Proceedings of MODELSWARD ’16, Rome, Italy, 2016.
UML Consistency Rules in Technical Books
Torre, D., Labiche, Y., Genero, M., Elaasar, M. “UML Consistency Rules in Technical Books.” Proceedings of ISSRE15, Washington DC, USA, 2015.
Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages
Fouche, A., Noyrit, F., Gerard, S., Elaasar, M.: “Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages.” Proceedings of MODELS ’15, Ottawa, Canada, 2015.
Automated Generation of Pervasive Systems Architectures: A Detailed Empirical Evaluation
Hamza, M., Aly, S., Elaasar, M.: “Automated Generation of Pervasive Systems Architectures: A Detailed Empirical Evaluation”. International Journal of Software Engineering, Technology and Applications, Vol. 1, No. 1, 2015.
Enhanced Code Generation from UML Composite State Machines
Badreddin, O., Lethbridge, T., Forward, A., Elaasar, M., Aljamaan, H., Garzon, M.: “Enhanced Code Generation from UML Composite State Machines”. Proceedings of MODELSWARD 2014: 235-245, 2014.
Automating Instance Migration in Response to Ontology Evolution
Fischer, M., Dingel, J., Elaasar, M., Shaw, S.: “Automating Instance Migration in Response to Ontology Evolution”. Proceedings of Models & Evolution 2013 Workshop, pp. 20-27, Miami, FL, September 2013.
Integrating Modeling Tools in the Development Lifecycle with OSLC: a Case Study
Elaasar, M., Neal, A.: “Integrating Modeling Tools in the Development Lifecycle with OSLC: a Case Study”. Proceedings of MODELS 2013, LNCS, vol. 8107, pp. 154-169, Miami, FL, October 2013.
Design Management: a Collaborative Design Solution
Elaasar, M., Conallen, J.: “Design Management: a Collaborative Design Solution”. Proceeding of ECMFA 2013, LNCS, vol. 7949, pp. 165-178, Montpellier, France, July 1-5, 2013.
Modeling Practices in Open Source Software
Badreddin, O., Lethbridge, T. C., Elaasar, M.: “Modeling Practices in Open Source Software”. Proceedings of the 9th International Conference on Open Source Systems, IFIP AICT, vol. 404, pp. 127-139, Koper-Capodistria, Slovenia, June 2013.
VPML: An Approach to Detect Design Patterns of MOF-Based Modeling Languages
Elaasar, M., Briand, L., Labiche, Y.: “VPML: An Approach to Detect Design Patterns of MOF-Based Modeling Languages”. Software & Sysems Modeling, DOI 10.1007/s10270-013-0325-9, January, 2013.
Open Services for Lifecycle Collaboration 2.0
Elaasar, M.: “OSLC AM 2.0″, OASIS Specification, July 2012
Diagram Definition 1.0
Elaasar, M.: “Diagram Definition (DD) 1.0”, OMG Specification formal/2012-07-01, July, 2012.
An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages
Elaasar, M.: “An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages”. Ph.D. in Electrical and Computer Engineering Dissertation, Carleton University, Ottawa, Canada, September, 2012.
Unified Modeling Language 2.5
Elaasar, M.: “Annex B: UML Diagram Interchange, Unified Modeling Language 2.5”, OMG Specification ptc/2012-10-24, October, 2012.
Model Interchange Testing: a Process and a Case Study
Elaasar, M., Labiche, Y.: “Model Interchange Testing: a Process and a Case Study”. Proceedings of ECMFA 2012, LNCS, vol. 7349, pp. 49-61, Lyngby, Denmark, July, 2012.
A Framework for Measuring Quality of Models Experiences form a Series of Controlled Experiments
Yue, T., Ali, S., Elaasar, M.: “A Framework for Measuring Quality of Models Experiences form a Series of Controlled Experiments”. Simula Research Laboratory, Technical Report 2010-17, March, 2012.
Diagram Definition: a Case Study with the UML Class Diagram
Elaasar, M., Labiche, Y.: “Diagram Definition: a Case Study with the UML Class Diagram”. Proceedings of MoDELS 2011, LNCS, vol. 6981, pp. 364-378, Wellington, NZ, October, 2011.
Domain-Specific Model Verification with QVT
Elaasar, M., Briand, L., Labiche, Y.: “Domain-Specific Model Verification with QVT,” Proceedings of ECMFA 2011, LNCS, vol. 6689, pp. 282-298, Birmingham, England, June, 2011.
Business Process Modeling Notation 2.0
Elaasar, M.: “Chapter 12: BPMN Notations and Diagrams, Business Process Modeling Notation 2.0”, OMG Specification formal/2011-01-03, Jan 2011.
Model-to-Model Transformation Authoring: An MDA Approach
Elaasar, M., Fischer, J.: “Model-to-Model Transformation Authoring: an MDA Approach”. IBM Canada, Rational Software, July, 2007.
A Metamodeling Approach to Pattern Specification
Elaasar, M., Briand, L., Labiche, Y.: “A Metamodeling Approach to Pattern Specification”. Proceedings of MoDELS 2006, LNCS, vol. 4199, pp. 484-498, Genoa, Italy, October, 2006.
Satellite Transport Protocol Handling Bit Corruption, Handoff and Limited Connectivity
Elaasar, M., Barbeau, M., Kranakis, E., Li, G.: “Satellite Transport Protocol Handling Bit Corruption, Handoff and Limited Connectivity”. IEEE Transactions on Aerospace and Electronic Systems, vol. 41, issue 2, pp. 489-502, April, 2005.
An Overview of UML Consistency Management
Elaasar, M., Briand, L.: “An Overview of UML Consistency Management”, Technical Report SCE-04-18, Carleton University, Ottawa, Canada, August, 2004.
The eXtended Satellite Transport Protocol: Its Design and Evaluation
Elaasar, M., Li, G., Barbeau, M., Kranakis, E.: “The eXtended Satellite Transport Protocol: Its Design and Evaluation”. Proceedings of 17th AIAA/USU Conference on Small Satellites, Logan, Utah, August, 2003.
XSTP: eXtended Satellite Transport Protocol
Elaasar, M.: “XSTP: eXtended Satellite Transport Protocol”. Master of Computer Science Thesis. Carleton University, Ottawa, Canada, January, 2003.