A complete approach for CIM modelling and model formalising

Aburub, 2007, Modelling non-functional requirements of business processes, Inform. Softw. Technol., 49, 1162, 10.1016/j.infsof.2006.12.002 Alix, 2012, Product-service systems scenarios simulation based on G-DEVS/HLA: generalized discrete event specification/high level architecture, Comput. Ind., 63, 370, 10.1016/j.compind.2012.02.011 D. Amyot, URN Metamodel Version 0.27, 2012. <http://www.site.uottawa.ca/~damyot/urn/URNMetamodelHTML/index.html>. D. Amyot, X.Y. He, Y. He, D.Y. Cho, Generating scenarios from use case map specifications, in: Proceedings of the Third International Conference on Quality Software, Dallas, USA, 2003, pp. 108–115. Amyot, 2012, Towards advanced goal model analysis with jUCMNav, Adv. Conceptual Model. Lect. Notes Comput. Sci., 7518, 201, 10.1007/978-3-642-33999-8_25 Amyot, 2003, Introduction to the user requirements notation: learning by example, Comput. Netw., 42, 285, 10.1016/S1389-1286(03)00244-5 Awodey, 2006 Beydoun, 2009, A security-aware metamodel for multi-agent systems (MAS), Inform. Softw. Technol., 51, 832, 10.1016/j.infsof.2008.05.003 Bousetta, 2013, A methodology for CIM modelling and its transformation to PIM, J. Inform. Eng. Appl., 3, 1 M. Balaban, A. Maraee, A. Sturm, P. Jelnov, A pattern-based approach for improving model quality, Softw. Syst. Model., http://dx.doi.org/10.1007/s10270-013-0390-0. M. Brambilla, P. Fraternali, Large-scale model-driven engineering of web user interaction: the WebML and WebRatio experience, Sci. Comput. Program., in press, http://dx.doi.org/10.1016/j.scico.2013.03.010. Calegari, 2013, Verification of model transformations a survey of the state-of-the-art, Electr. Notes Theoret. Comput. Sci., 292, 5, 10.1016/j.entcs.2013.02.002 De Castro, 2011, Applying CIM-to-PIM model transformations for the service-oriented development of information systems, Inform. Softw. Technol., 53, 87, 10.1016/j.infsof.2010.09.002 Deng, 2012, Model transformation method for compensation events and tasks from business process model to flowchart, Lect. Notes Comput. Sci., 7473, 468, 10.1007/978-3-642-34062-8_61 Dijkman, 2008, Semantics and analysis of business process models in BPMN, Inform. Softw. Technol., 50, 1281, 10.1016/j.infsof.2008.02.006 Fabra, 2012, Automatic execute in of business process models: exploiting the benefits of model-driven engineering approaches, J. Syst. Softw., 85, 607, 10.1016/j.jss.2011.09.022 GRL. <http://www.cs.toronto.edu/km/GRL/>. Gordijn, 2006, Raadt, E-service design using i∗ and e3 value modeling, IEEE Softw., 23, 26, 10.1109/MS.2006.71 Harmon, 2004, The OMG’s model driven architecture and BPM, Bus. Process Trends, 2, 1 Henderson-Sellers, 2011, Bridging metamodels and ontologies in software engineering, J. Syst. Softw., 84, 301, 10.1016/j.jss.2010.10.025 IBM, Business Process Execution Language for Web Services, 2003. <http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws-bpel/ ws-bpel.pdf>. Jouault, 2008, ATL: a model transformation tool, Sci. Comput. Program., 72, 31, 10.1016/j.scico.2007.08.002 Jureta, 2008, Clear justification of modeling decisions for goal-oriented requirements engineering, Requirements Eng., 13, 87, 10.1007/s00766-007-0056-y Kirikova, 2009, What is CIM: an information system perspective, 169 Kostin, 2003, Reachability analysis in T-invariant-less Petri nets, IEEE Trans. Autom. Control, 48, 1019, 10.1109/TAC.2003.812788 Koubarakis, 2002, A formal framework for business process modelling and design, Inform. Syst., 27, 299, 10.1016/S0306-4379(01)00055-2 Yoo, 2010, A Petri nets based functional validation for services composition, Expert Syst. Appl., 37, 3768, 10.1016/j.eswa.2009.11.046 Luis Garrido, 2007, Definition and use of computation independent models in an MDA-based groupware development process, Sci. Comput. Program., 66, 25, 10.1016/j.scico.2006.10.008 Mendoza, 2012, Conceptual framework for business processes compositional verification, Inform. Softw. Technol., 54, 149, 10.1016/j.infsof.2011.08.004 P.H. Meland, S. Ardi, J. Jensen, E. Rios, T. Sanchez, N. Shahmehri, I.A. Tøndel, An architectural foundation for security model sharing and reuse, in: Proceeding of Availability, Reliability and Security International Conference, 2009, pp. 823–828. P.H. Meland, E. Paja, E.A. Gjære, S. Paul, F. Dalpiaz, P. Giorgini, Threat analysis in goal-oriented security requirements modelling, Int. J. Sec. Softw. Eng. (IJSSE), 5 (2), 1–19, http://dx.doi.org/10.4018/ijsse.2014040101. P. Mohagheghi, V. Dehlen, Where is the proof? A review of experiences from applying MDE in industry, in: Proceedings of the 4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA’08), LNCS 5095, 2008, pp. 432–443. Mouratidis, 2005, When security meets software engineering: a case of modelling secure information systems, Inform. Syst., 30, 609, 10.1016/j.is.2004.06.002 G. Mussbacher, S. Ghanavati, D. Amyot, Modeling and analysis of URN goals and scenarios with jUCMNav, in: Proceeding of Requirements Engineering Conference, 2009, pp. 383–384. Mylopoulos, 1999, From object-oriented to goal-oriented requirements analysis, Commun. ACM, 42, 31, 10.1145/291469.293165 OMG, MDA Guide Version 1.0, 2003. <http://www.omg.org/cgi-bin/doc?omg/03-06-01.pdf>. OMG, Business Process Model and Notation (BPMN) Version2.0, 2011.<http://www.omg.org/spec/BPMN/2.0>. OMG, Business Process Definition Metamodel1.0, 2008. <http://www.omg.org/spec/BPDM/1.0>. OMG, Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, 2011. <http://www.omg.org/spec/QVT/2.0>. J. Osis, E. Asnina, A. Grave, Computation independent modeling within the MDA, in: Proceeding of IEEE International Conference on Software-Science, Technology & Engineering, Los Alamitos, 2007, pp. 22–34. Osis, 2010, Formalization of the UML class diagrams, vol. 69, 180 Pahl, 2007, Semantic model-driven architecting of service-based software systems, Inform. Softw. Technol., 49, 838, 10.1016/j.infsof.2006.09.007 Peter, 2011, Formalisations and applications of BPMN, Sci. Comput. Program., 76, 633, 10.1016/j.scico.2009.09.010 Pires, 2011, Integrating ontologies, model driven, and CNL in a multi-viewed approach for requirements engineering, Requirements Eng., 16, 133, 10.1007/s00766-011-0116-1 Rocha, 2013, The use of software product lines for business process management: a systematic literature review, Inform. Softw. Technol., 55, 1355, 10.1016/j.infsof.2013.02.007 Rodríguez, 2007, Towards CIM to PIM transformation: from secure business processes defined in BPMN to use-cases, 408 Rodríguez, 2011, Secure business process model specification through a UML 2.0 activity diagram profile, Decis. Support Syst., 51, 446, 10.1016/j.dss.2011.01.018 Steinberg, 2008 Touzi, 2009, A model-driven approach for collaborative service-oriented architecture design, Int. J. Prod. Econ., 121, 5, 10.1016/j.ijpe.2008.09.019 Uzunov, 2012, Engineering security into distributed systems: a survey of methodologies, J. Univ. Comput. Sci., 18, 2920 Lamsweerde, 2001, Goal-oriented requirements engineering: a guided tour, Requirements Eng., 249 Verdouw, 2010, Process modelling in demand-driven supply chains: a reference model for the fruit industry, Comput. Electron. Agric., 73, 174, 10.1016/j.compag.2010.05.005 van der Aalst, 2000, Verification of workflow task structures: a Petri-net-based approach, Inform. Syst., 25, 43, 10.1016/S0306-4379(00)00008-9 W3C, Web Service Choreography Interface (WSCI) 1.0, 2002. <www.w3.org/TR/wsci>. Xiu, 2010, A Petri net-based approach for data race detection in BPEL, J. China Univ. Posts Telecommun., 17, 10, 10.1016/S1005-8885(09)60590-2 Ye, 2011, Extended event–condition–action rules and fuzzy Petri nets based exception handling for workflow management, Expert Syst. Appl., 38, 10847, 10.1016/j.eswa.2011.02.097 Yeung, 2011, Behavioural modeling and verification of multi-agent systems for manufacturing control, Expert Syst. Appl., 38, 13555 Zachman Framework. <www.Zachman.com>. Zdravkovic, 2010, A model-driven approach for designing E-services using business ontological frameworks, 121 Zhang, 2008, Transforming business requirements into BPEL: a MDA-based approach to web application development, 61 W. Zhang, H. Wei, H.Y. Zhao, J. Yang, Transformation from CIM to PIM: a feature-oriented component-based approach, in: Proceeding MoDELS’05 Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, 2005, pp. 248–263.