Gunter Mussbacher
Omar Alam
Shaukat Ali
Benoit Combemale
Jörg Kienzle
Julio Cesar Leite
Timothy C. Lethbridge
ABSTRACT
Modeling approaches are based on various paradigms, e.g., aspect-oriented, feature-oriented, object-oriented, and logic-based. Modeling approaches may cover requirements models to low-level design models, are developed for various purposes, use various means of composition, and thus are difficult to compare. However, such comparisons are critical to help practitioners know under which conditions approaches are most applicable, and how they might be successfully generalized and combined to achieve end-to-end methods. This paper reports on work done at the 2nd International Comparing Modeling Approaches (CMA) workshop towards the goal of identifying potential comprehensive modeling methodologies with a particular emphasis on composition: (i) an improved set of comparison criteria; (ii) 19 assessments of modeling approaches based on the comparison criteria and a common, focused case study.
- AOM Bellairs 2011 workshop, http://www.cs.mcgill.ca/~joerg/SEL/AOM_Bellairs_2011.htmlGoogle Scholar
- AOM Bellairs 2012 workshop, http://www.cs.mcgill.ca/~joerg/SEL/AOM_Bellairs_2012.htmlGoogle Scholar
- CMA'11 workshop, http://cserg0.site.uottawa.ca/cma2011/Google Scholar
- bCMS case study document, http://cserg0.site.uottawa.ca/cma2012/CaseStudy.pdfGoogle Scholar
- Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. Katz, S., Mezini, M., Kienzle, J. (eds.) Transactions on Aspect-Oriented Software Development VII, Springer, LNCS vol. 6210:1--22, DOI:10.1007/978-3-642-16086-8_1 (2010) Google Scholar
- CMA'12 comparison criteria document, http://cserg0.site.uottawa.ca/cma2012/ComparisonCriteria (post-workshop).pdfGoogle Scholar
- Mussbacher, G., Al Abed, W., Alam, O., Ali, S., Beugnard, A., Bonnet, V., Bræk, R., Capozucca, A., Cheng, B.H.C., Fatima, U., France, R., Georg, G., Guelfi, N., Istoan, P., Jézéquel, J.-M., Kienzle, J., Klein, J., Lézoray, J.-B., Malakuti, S., Moreira, A., Phung-Khac, A., and Troup, L.: Comparing Six Modeling Approaches. 1st Comparing Modeling Approaches Workshop (CMA 2011), Wellington, New Zealand, October 2011. Kienzle, J. (Ed.), Models in Software Engineering, Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers, Springer, LNCS 7167:217--243, DOI:10.1007/978-3-642-29645-1_22 (2012) Google ScholarDigital Library
- CMA'12 workshop, http://cserg0.site.uottawa.ca/cma2012/Google Scholar
- ReMoDD CMA'12 website, http://www.cs.colostate.edu/remodd/v1/content/cmamodels2012Google Scholar
- Georg, G.: Activity Theory and its Applications in Software Engineering and Technology. Colorado State University Technical Report CS-11-101 (2011)Google Scholar
- Engeström, Y.: Learning by expanding. Helsinki: Orienta-Konsultit (1987)Google Scholar
- Unpublished work relating the synergistic application of AT and URN by Georg, G., Mussbacher, G., Troup, L., Amyot, D., France, R., Petriu, D., and Lozano-Fuentes, S. (2012)Google Scholar
- Luckey, M., Nagel, B., Gerth, C., and Engels, G.: Adapt Cases: Extending use cases for Adaptive Systems. 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'11), Waikiki, Honolulu, Hawaii, USA, May 2011. ACM, pp. 30--39, DOI:10.1145/1988008.1988014 (2011) Google ScholarDigital Library
- Mutz, F.: Modeling Structural and Behavioral Adaptation of Software Systems. Master's thesis, University of Paderborn (2012)Google Scholar
- Luckey, M. and Engels, G.: High-Quality Specification of Self-Adaptive Software Systems. 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'13), San Francisco, California, USA, May 2013. ACM (to appear)Google ScholarDigital Library
- ITU-T: Recommendation Z.151 (10/12): User Requirements Notation (URN) - Language Definition. Geneva, Switzerland, http://www.itu.int/rec/T-REC-Z.151/en (2012)Google Scholar
- Mussbacher, G.: Aspect-oriented User Requirements Notation. PhD thesis, School of Information Technology and Engineering, University of Ottawa, Canada (2010) Google ScholarDigital Library
- Mussbacher, G., Amyot, D., Araüjo, J., and Moreira, A.: Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study. Katz, S., Mezini, M., and Kienzle, J. (Eds.), Transactions on Aspect-Oriented Software Development (TAOSD) VII, Springer, LNCS 6210:23--68, DOI:10.1007/978-3-642-16086-8_2 (2010) Google Scholar
- Mussbacher, G., Araüjo, J., Moreira, A., and Amyot, D.: AoURN-based Modeling and Analysis of Software Product Lines. Software Quality Journal, Springer 20(3-4):645--687, DOI:10.1007/s11219-011-9153-8 (2011) Google ScholarDigital Library
- jUCMNav Version 5.2, University of Ottawa, http://jucmnav.softwareengineering.ca/ucm/bin/view/ProjetS EG/WebHome (2012)Google Scholar
- Ali, S., Briand, L., and Hemmati, H.: Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems. Journal of Software and Systems Modeling (SoSyM) 11(4):633-670, Springer, DOI:10.1007/s10270-011-0206-z (2012) Google ScholarDigital Library
- Ali, S., Briand, L., Arcuri, A., and Walawege, S.: An Industrial Application of Robustness Testing using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011), Wellington, New Zealand. Whittle, J., Clark, T., and Kühne, T. (Eds.), Springer, LNCS 6981:108--122, DOI:10.1007/978-3-642-24485-8_9 (2011) Google ScholarCross Ref
- Ali, S. and Yue, T.: Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing. International Conference on Aspect-Oriented Software Development (AOSD 2012), ACM, pp. 155--166, DOI:10.1145/2162049.2162068 (2012) Google ScholarDigital Library
- Ali, S. and Yue, T.: Studying the Understandability of Aspect State Machines through the Weaving Activity. 19th Asia-Pacific Software Engineering Conference (APSEC 2012). Leung, K. and Muenchaisri, P. (Eds.), IEEE (to appear) Google ScholarDigital Library
- Ali, S., Yue, T., Briand, L., and Walawege, S.: A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Springer, LNCS 7590:726--742, DOI:10.1007/978-3-642-33666-9_46 (2012) Google ScholarDigital Library
- Yue, T. and Ali, S.: Bridging the Gap between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies. 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), Springer, LNCS 7349:133--145, DOI:10.1007/978-3-642-31491-9_12 (2012) Google ScholarDigital Library
- Ali, S., Yue, T., and Briand, L.: Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines? Journal of Software and Systems Modeling (So-SyM), DOI:10.1007/s10270-012-0293-5 (accepted for publication)Google ScholarDigital Library
- Ali, S., Yue, T., and Briand, L.: Empirically Evaluating the Impact of Applying Aspect State Machines on Modeling Quality and Effort. Simula Research Laboratory, Technical Report (2011-06) (2011)Google Scholar
- Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD Thesis, Graduate Department of Computer Science, University of Toronto, Toronto, Canada (1995) Google ScholarDigital Library
- Chung, L., Nixon, B., Yu, E., and Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers (2000)Google Scholar
- Oliveira, A.P.A., Leite, J.C.S.P., Cysneiros, L.M., and Cappelli, C.: Eliciting Multi-Agents Systems Intentionality: From Language Extended Lexicon to i* Models. XXVI International Conference of the Chilean Computer Science Society. IEEE CS Press, pp. 40--49 (2007) Google ScholarDigital Library
- Oliveira, A.P.A. and Cysneiros, L.M.: Defining Strategic Dependency Situations in Requirements Elicitation. IX Workshop on Requirements Engineering (WER), Brazil (2006)Google Scholar
- Oliveira, A.P.A., Leite, J.C.S.P., Cysneiros, L.M., and Lucena, C.J.: i* Diagnoses: A Quality Process for Building i* Models. CAiSE'08 Forum, Montpellier, France, June 2008. CEUR Workshop Proceedings 344, pp. 9--12 (2008)Google Scholar
- Oliveira, A.P.A.: Intentional Requirements Engineering: A Method for Requirements Elicitation, Modeling, and Analysis. Doctoral Thesis, Computer Science Department, PUCRio (2008)Google Scholar
- Oliveira, A.P.A., Leite, J.C.S.P., and Cysneiros, L.M.: ERi*c Method - Intentional Requirements Engineering"; XI Workshop on Requirements Engineering (WER), Barcelona, Spain (2008)Google Scholar
- Oliveira, A.P.A., Leite, J.C.S.P., and Cysneiros, L.M.: Using i* Meta Modeling for Verifying i* Models. Fourth International i* Workshop (iStar'10), Hammamet, Tunisia (2010)Google Scholar
- Yu, E.: Towards modelling and reasoning support for earlyphase requirements engineering. Third IEEE International Symposium on Requirements Engineering (ISRE 1997), Annapolis, MD, USA. IEEE CS Press, pp. 226--235, DOI:10.1109/ISRE.1997.566873 (1997) Google Scholar
- i* Wiki Guidelines: http://istar.rwth-aachen.de/tikiindex. php?page=i%2A+GuidesGoogle Scholar
- Horkoff, J. and Yu, E.: Interactive Analysis of Agent-Goal Models in Enterprise Modeling. International Journal of Information System Modeling and Design, IGI-Global 1(4):1--23, DOI:10.4018/jismd.2010100101 (2010) Google ScholarDigital Library
- Jézéquel, J.-M., Barais, O., and Fleurey, F.: Model Driven Language Engineering with Kermeta. Fernandes, J.M., Lammel, R., Saraiva, J. and Visser, J. (Eds.) 3rd Summer School on Generative and Transformational Techniques in Software Engineering. Springer, LNCS 6491: 201--221, DOI:10.1007/978-3-642-18023-1_5 (2010)Google Scholar
- Moha, N., Sen, S., Faucher, C., Barais, O. and Jézéquel, J.-M.: Evaluation of kermeta for solving graph-based problems. International Journal on Software Tools for Technology Transfer (STTT) 12(3--4):273--285, DOI:10.1007/s10009-010-0150-1 (2010)Google Scholar
- Muller, P.-A., Fleurey, F., and Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. Kent, S. and Briand, L. (Eds.) MODELS/UML'2005, Springer, LNCS 3713: 264--278, Montego Bay, Jamaica, DOI:10.1007/11557432_19 (2005) Google ScholarDigital Library
- Kermeta website, http://www.kermeta.orgGoogle Scholar
- Barn, B.S. and Clark, T.: Goal Based Alignment of Enterprise Architectures. ICSOFT 2012, pp. 230--236 (2012)Google Scholar
- Clark, T. and Barn, B.S.: A common basis for modelling service-oriented and event-driven architecture. ISEC 2012, pp. 23--32, DOI:10.1145/2134254.2134258 (2012) Google ScholarDigital Library
- Clark, T., Barn, B.S., and Oussena, S.: A Method for Enterprise Architecture Alignment. PRET 2012, pp. 48--76, DOI:10.1007/978-3-642-31134-5_3 (2012)Google ScholarCross Ref
- Clark, T., Barn, B.S., and Oussena, S.: LEAP: a precise lightweight framework for enterprise architecture. ISEC 2011, pp. 85--94, DOI:10.1145/1953355.1953366 (2011) Google ScholarDigital Library
- Castejón, H.N.: Collaborations in Service Engineering: Modeling, Analysis and Execution. PhD thesis, Department of Telematics, Norwegian University of Science and Technology (NTNU) (2008)Google Scholar
- Kathayat, S.B.: On the Development of Situated Collaborative Services. PhD thesis, Department of Telematics, Norwegian University of Science and Technology (NTNU) (2012)Google Scholar
- Object Management Group: Unified Modeling Language (UML) 2.4.1, http://www.omg.org/spec/UML/2.4.1 (2011)Google Scholar
- Arctis Developer Reference, http://reference.bitreactive.com/Google Scholar
- Woodside, M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., and Merseguer, J.: Performance by Unified Model Analysis (PUMA). WOSP'2005, pp. 1--12 (2005) Google ScholarDigital Library
- Alhaj, M. and Petriu, D.C.: Approach for generating performance models from UML models of SOA systems. CASCON'2010, Toronto, Canada, pp. 1--4 (2010) Google ScholarDigital Library
- Alhaj, M. and Petriu, D.C.: Aspect-oriented Modeling of Platforms in Software and Performance Models. 2012 International Conference on Electrical and Computer Systems (ICECS'12) (2012)Google Scholar
- Object Management Group, Service Oriented Architecture Modeling Language (SoaML) 1.0.1, http://www.omg.org/spec/SoaML/1.0.1/ (2012)Google Scholar
- Object Management Group, UML Profile for MARTE (Modeling and Analysis of Real-Time and Embedded Systems) 1.1, http://www.omg.org/spec/MARTE/1.1/ (2011)Google Scholar
- Kienzle, J., Al Abed, W., and Klein, J.: Aspect-Oriented Multi-View Modeling. 8th International Conference on Aspect-Oriented Software Development (AOSD'09), Charlottesville, VA, USA, ACM Press, pp. 89--98, DOI:10.1145/1509239.1509252 (2009) Google ScholarDigital Library
- Kienzle, J., Al Abed, W., Fleurey, F., Jézéquel, J.-M., and Klein, J.: Aspect-Oriented Design with Reusable Aspect Models. Katz, S., Mezini, M., and Kienzle, J. (Eds.), Transactions on Aspect-Oriented Software Development (TAOSD) VII, Springer, LNCS 6210:272--320, DOI:10.1007/978-3-642-16086-8_8 (2010) Google Scholar
- Kienzle, J., Duala-Ekoko, E., and Gélineau, S.: AspectOPTIMA: A Case Study on Aspect Dependencies and Interactions. Rashid, A. and Ossher, H. (Eds.), Transactions on Aspect-Oriented Software Development (TAOSD) V, Springer, LNCS 5490:187--234 (2009) Google ScholarDigital Library
- Kramer, M.: Mapping Reusable Aspect Models To Aspect-Oriented Code. Study Thesis, Karlsruhe Institute of Technology (2011)Google Scholar
- Al Abed, W., Bonnet, V., Schöttle, M., Yildirim, E., Alam, O., and Kienzle, J.: TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design. SLE 2012, Springer, LNCS 7745:275--285, DOI:10.1007/978-3-642-36089-3_16 (2013)Google ScholarCross Ref
- Umple website, http://umple.org/Google Scholar
- Forward, A., Badreddin, O., Lethbridge, T.C., and Solano, J.: Model-Driven Rapid Prototyping with Umple. Software Practice and Experience (SPE) 42(7)781--797, DOI:10.1002/spe.1155 (2011) Google ScholarDigital Library
- Lethbridge, T.C., Forward, A. and Badreddin, O.: Umplification: Refactoring to Incrementally Add Abstraction to a Program. 17th Working Conference on Reverse Engineering (WCRE), Boston, MA, USA, October 2010, pp. 220--224, DOI:10.1109/WCRE.2010.32 (2010) Google ScholarDigital Library
- Visual Contract Builder tool website, http://vcl.gforge.uni.luGoogle Scholar
- Amálio, N., Glodt, C., and Kelsen, P.: Building VCL Models and Automatically Generating Z Specifications from Them. FM 2011. Springer, LNCS 6664:149--153, DOI:10.1007/978-3-642-21437-0_13 (2011) Google ScholarCross Ref
- Amálio, N. and Kelsen, P.: Modular Design by Contract Visually and Formally using VCL. VL/HCC 2010. IEEE, pp. 227--234, DOI:10.1109/VLHCC.2010.39 (2010) Google ScholarDigital Library
- Amálio, N., Kelsen, P., Ma, Q., and Glodt, C.: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. Katz, S., Mezini, M., and Kienzle, J. (Eds.), Transactions on Aspect-Oriented Software Development (TAOSD) VII, Springer, LNCS 6210:151--199, DOI:10.1007/978-3-642-16086-8_5 (2010)Google Scholar
Index Terms
- Assessing composition in modeling approaches
Recommendations
Comparing six modeling approaches
MODELS'11: Proceedings of the 2011th international conference on Models in Software EngineeringWhile there are many aspect-oriented modeling (AOM) approaches, from requirements to low-level design, it is still difficult to compare them and know under which conditions different approaches are most applicable. This comparison, however, is crucially ...
Model Composition for Macromolecular Regulatory Networks
Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, representing subsets of reactions within the larger network. To assist modelers ...
Towards Automated RESTful Web Service Composition
ICWS '09: Proceedings of the 2009 IEEE International Conference on Web ServicesEmerging as the popular choice for leading Internet companies to expose internal data and resources, Restful Web services are attracting increasing attention in the industry.While automating WSDL/SOAP based Web service composition has been extensively ...
Comments