{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:27:32Z","timestamp":1743049652746,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319101804"},{"type":"electronic","value":"9783319101811"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10181-1_6","type":"book-chapter","created":{"date-parts":[[2014,8,29]],"date-time":"2014-08-29T14:28:38Z","timestamp":1409322518000},"page":"87-102","source":"Crossref","is-referenced-by-count":5,"title":["Modeling UML Template Classes with FoCaLiZe"],"prefix":"10.1007","author":[{"given":"Messaoud","family":"Abbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Choukri-Bey","family":"Ben-Yelles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renaud","family":"Rioboo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-45102-1_3","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"G. Suny\u00e9","year":"2000","unstructured":"Suny\u00e9, G., Le Guennec, A., J\u00e9z\u00e9quel, J.-M.: Design Patterns Application in UML. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 44\u201362. Springer, Heidelberg (2000)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Al Abed, W., Fleurey, F., J\u00e9z\u00e9quel, J.-M., Klein, J.: Aspect-Oriented Design with Reusable Aspect Models. In: Katz, S., Mezini, M., Kienzle, J. (eds.) Transactions on AOSD VII. LNCS, vol.\u00a06210, pp. 272\u2013320. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16086-8_8"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1007\/978-3-642-04425-0_51","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Cuccuru","year":"2009","unstructured":"Cuccuru, A., Radermacher, A., G\u00e9rard, S., Terrier, F.: Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 644\u2013649. Springer, Heidelberg (2009)"},{"key":"6_CR4","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (2005)"},{"key":"6_CR5","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Anlysis. MIT Press (2012)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"6_CR8","unstructured":"Hardin, T., Francois, P., Pierre, W., Damien, D.: FoCaLiZe: Tutorial and Reference Manual, version 0.8.0. CNAM\/INRIA\/LIP6 (2012), \n                        http:\/\/focalize.inria.fr"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.entcs.2009.07.003","volume":"243","author":"P. Ayrault","year":"2009","unstructured":"Ayrault, P., Hardin, T., Pessaux, F.: Development Life-Cycle of Critical Software under FoCal. Electronic Notes in Theoretical Computer Science\u00a0243, 15\u201331 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR10","unstructured":"Doligez, D.: The Zenon Tool. Software and Documentations freely available at \n                        http:\/\/focal.inria.fr\/zenon\/"},{"key":"6_CR11","unstructured":"Coq: The Coq Proof Assistant, Tutorial and Reference Manual, version 8.4. INRIA \u2013 LIP \u2013 LRI \u2013 LIX \u2013 PPS (2012), Distribution available at \n                        http:\/\/coq.inria.fr\/"},{"key":"6_CR12","unstructured":"Fechter, S.: S\u00e9mantique des Traits Orient\u00e9s Objet de Focal. PhD thesis, Paris 6 (2005)"},{"key":"6_CR13","unstructured":"Fran\u00e7ois, P.: Another Tutorial for FoCaLize: Playing with Proofs (2013)"},{"key":"6_CR14","first-page":"33","volume":"5","author":"C. Dubois","year":"2006","unstructured":"Dubois, C., Hardin, T., Donzeau-Gouge, V.: Building Certified Components within FOCAL. Trends in Functional Programming\u00a05, 33\u201348 (2006)","journal-title":"Trends in Functional Programming"},{"key":"6_CR15","unstructured":"OMG: UML: Superstructure, version 2.4 (January 2011), \n                        http:\/\/www.omg.org\/spec\/UML\/2.4\/Infrastructure"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Delahaye, D., \u00c9tienne, J., Donzeau-Gouge, V.: Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. In: 2nd IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 121\u2013124 (2008)","DOI":"10.1109\/TASE.2008.35"},{"key":"6_CR17","unstructured":"OMG: OCL: Object Constraint Language 2.3.1 (January 2012), \n                        http:\/\/www.omg.org\/spec\/OCL"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-25271-6_13","volume-title":"Formal Methods for Components and Objects","author":"C. Snook","year":"2011","unstructured":"Snook, C., Savicks, V., Butler, M.: Verification of UML Models by Translation to UML-B. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) Formal Methods for Components and Objects. LNCS, vol.\u00a06957, pp. 251\u2013266. Springer, Heidelberg (2011)"},{"key":"6_CR19","unstructured":"Ledang, H., Souqui\u00e8res, J., Charles, S., et al.: Argouml+ B: Un Outil de Transformation Syst\u00e9matique de Sp\u00e9cifications UML en B. In: Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (2003)"},{"key":"6_CR20","unstructured":"Hazem, L., Levy, N., Marcano-Kamenoff, R.: UML2B: Un Outil pour la G\u00e9n\u00e9ration de Mod\u2018eles Formels. In: AFADL (2004)"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal Modeling and Design Aided by UML. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Cunha, A., Garis, A., Riesco, D.: Translating between Alloy Specifications and UML Class Diagrams Annotated with OCL Constraints. Software & Systems Modeling, 1\u201321 (2013)","DOI":"10.1007\/s10270-013-0353-5"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Gogolla, M., Rold\u00e1n, M.: Tracing Properties of UML and OCL Models with Maude. arXiv preprint arXiv:1107.0068 (2011)","DOI":"10.4204\/EPTCS.56.6"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Mokhati, F., Sahraoui, B., Bouzaher, S., Kimour, M.T.: A Tool for Specifying and Validating Agents\u2019 Interaction Protocols: From Agent UML to Maude. Object Technology\u00a09(3) (2010)","DOI":"10.5381\/jot.2010.9.3.a2"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-78743-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"A.D. Brucker","year":"2008","unstructured":"Brucker, A.D., Wolff, B.: HOL-OCL: A Formal Proof Environment for UML\/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 97\u2013100. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10181-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T09:51:06Z","timestamp":1676886666000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10181-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319101804","9783319101811"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10181-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}