{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T17:55:50Z","timestamp":1676310950642},"reference-count":23,"publisher":"International Academy Publishing (IAP)","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.11.2518-2532","type":"journal-article","created":{"date-parts":[[2012,11,27]],"date-time":"2012-11-27T14:36:55Z","timestamp":1354027015000},"source":"Crossref","is-referenced-by-count":2,"title":["Formal Specification of Software Product Lines: A Graph Transformation Based Approach"],"prefix":"10.17706","volume":"7","author":[{"given":"Khaled","family":"Khalfaoui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cherif","family":"Foudil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,11,1]]},"reference":[{"key":"ref1","first-page":"335","article-title":"Model checking lots of systems: efficient verification of temporal properties in software product lines","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering","volume":"1","author":"Classen","year":"2010","unstructured":"[1] A. Classen, P. Heymans, P. Y. Schobbens, A. Legay and J. F. Raskin, \"Model checking lots of systems: efficient verification of temporal properties in software product lines\", Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, vol.1, pp. 335\u2013344, May 2010."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ref3","volume-title":"\"Maude specification and programming in rewriting logic\" Internal Report","author":"Clavel","year":"1999","unstructured":"[4] M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. F. Quesada, \"Maude : specification and programming in rewriting logic\", Internal Report, SRI International, 1999."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(98)00023-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45923-5_12"},{"key":"ref6","volume-title":"Software product lines practice and patterns","author":"Clements","year":"2001","unstructured":"[8] P. Clements and L. Northrop, \"Software product lines: practice and patterns\", Addison-Wesley, 2001."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587066"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45832-8_19"},{"issue":"11","key":"ref11","first-page":"1279","article-title":"On the use of graph transformation in the modeling and verification of dynamic behavior in UML models","volume":"5","author":"Kerkouche","year":"2010","unstructured":"[16] E. Kerkouche, A. Chaoui, E. B. Bourennane and O. Labbani, \"On the use of graph transformation in the modeling and verification of dynamic behavior in UML models\", Journal of Software, vol. 5(11), pp. 1279-1291, 2010.","journal-title":"J Softw","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"issue":"2","key":"ref12","first-page":"368","article-title":"From UML Activity diagrams to CSP expressions: a graph transformation approach using AToM3 tool","volume":"8","author":"Elmansouri","year":"2011","unstructured":"[17] R. Elmansouri, H. Hamrouche and A. Chaoui, \"From UML Activity diagrams to CSP expressions: a graph transformation approach using AToM3 tool\", International Journal of Computer Science Issues, vol. 8(2), pp. 368-374, 2011.","journal-title":"International Journal of Computer Science Issues"},{"key":"ref13","first-page":"46","article-title":"The temporal logic of programs","volume-title":"Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS)","author":"Pnueli","year":"1977","unstructured":"[19] A. Pnueli, \"The temporal logic of programs\", Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357, 1977."},{"key":"ref14","volume-title":"Handbook of graph grammars and computing by graph transformation","volume":"1","author":"Rozenberg","year":"1999","unstructured":"[21] G. Rozenberg, \"Handbook of graph grammars and computing by graph transformation\", World Scientific, Singapore, vol. 1, 1999."},{"issue":"3","key":"ref15","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/s10270-003-0047-5","article-title":"Meta-modelling and graph grammars for multi-paradigm modelling in AToM3","volume":"3","author":"De Lara","year":"2004","unstructured":"[22] J. De Lara, J. Vangheluwe, and M. Alfonseca, \"Meta-modelling and graph grammars for multi-paradigm modelling in AToM3\", Software and Systems Modelling, Springer Verlag, vol 3(3), pp. 194-209, August 2004.","journal-title":"Software and Systems Modelling Springer Verlag"},{"key":"ref15","doi-asserted-by":"crossref","unstructured":"[2] K. Kang, S. Cohen, J. Hess, W. Novak and S. Peterson, \"Feature-oriented domain analysis (FODA) feasibility study\", Technical Report, CMU\/SEI- 90-TR-21, 1990.","DOI":"10.21236\/ADA235785"},{"key":"ref15","unstructured":"[5] K. Khalfaoui, A. Chaoui, C. Foudil and E. Kerkouche, \"Specification of software product lines in rewriting logic\", Internal Report MFGL-01-11, Misc Laboratory, Department of Computer Science, University of Constantine, Algeria, 2011, unpublished."},{"key":"ref15","doi-asserted-by":"crossref","unstructured":"[10] D. Fischbein, S. Uchitel and V. Braberman, \"A foundation for behavioural conformance in software product line architectures\", Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA 06), ACM Press, pp. 39\u201348, 2006.","DOI":"10.1145\/1147249.1147254"},{"key":"ref15","doi-asserted-by":"crossref","unstructured":"[11] A. Fantechi and S. Gnesi, \"Formal modeling for product families engineering\", Proceedings of the 12th International Software Product Line Conference (SPLC'08), IEEE Computer Society Press, pp. 193\u2013202, 2008.","DOI":"10.1109\/SPLC.2008.45"},{"key":"ref15","unstructured":"[12] P. Asirelli, M. H. ter Beek, S. Gnesi and A. Fantechi, \"A deontic logical framework for modelling product families\", Fourth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'10), ICB Research Report, vol.37, pp. 37\u201344, 2010."},{"key":"ref15","unstructured":"[18] M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer and C.Talcott, \"Maude manual (version 2.2)\", Internal Report, SRI International, December 2007."},{"key":"ref15","doi-asserted-by":"crossref","unstructured":"[20] S. Eker, J. Meseguer and A. Sridharanarayanan, \"The Maude LTL model checker\", Proceedings of the 4th International Workshop on Rewriting Logic and Its Applications (WRLA), Electronic Notes in Theoretical Computer Science, vol. 71, 2002.","DOI":"10.1016\/S1571-0661(05)82534-4"},{"key":"ref15","unstructured":"[23] Python Home page, http:\/\/www.python.org"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T00:45:37Z","timestamp":1562373937000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/7222"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,1]]},"references-count":23,"journal-issue":{"issue":"11","published-online":{"date-parts":[[2012,11,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.11.2518-2532","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,11,1]]}}}