{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T05:33:39Z","timestamp":1738474419342,"version":"3.35.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,10,18]],"date-time":"2008-10-18T00:00:00Z","timestamp":1224288000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s10270-008-0104-1","type":"journal-article","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T05:10:15Z","timestamp":1224220215000},"page":"423-445","source":"Crossref","is-referenced-by-count":0,"title":["Generating relational database transactions from eb 3 attribute definitions"],"prefix":"10.1007","volume":"8","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Gervais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00e9gine","family":"Laleau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,10,18]]},"reference":[{"key":"104_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial J.R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)"},{"doi-asserted-by":"crossref","unstructured":"Barros, R.: Deriving relational database programs from formal specifications. In FME 94, pp. 703\u2013723. Springer, Berlin (1994)","key":"104_CR2","DOI":"10.1007\/3-540-58555-9_123"},{"unstructured":"Batanado, P.: Synth\u00e8se de transactions de base de donn\u00e9es relationnelle \u00e0 partir de d\u00e9finitions d\u2019attributs EB3. Master\u2019s thesis, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke (2005)","key":"104_CR3"},{"issue":"1","key":"104_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi T., Brinksma E.: Introduction to the ISO specification language LOTOS. Comp. Netw. ISDN Syst. 14(1), 25\u201359 (1987)","journal-title":"Comp. Netw. ISDN Syst."},{"key":"104_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173018","volume-title":"The functional approach to programming","author":"G. Cousineau","year":"1998","unstructured":"Cousineau G., Mauny M.: The functional approach to programming. Cambridge University Press, Cambridge (1998)"},{"key":"104_CR6","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Davies","year":"1996","unstructured":"Davies J., Woodcock J.C.P.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"doi-asserted-by":"crossref","unstructured":"Demuth, B., Hu\u00dfmann, H.: Using uml\/ocl constraints for relational database design. In: UML\u201999, Fort Collins, USA, October. LNCS, vol. 1723, pp. 598\u2013613. Springer, Heidelberg (1999)","key":"104_CR7","DOI":"10.1007\/3-540-46852-8_42"},{"doi-asserted-by":"crossref","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An overview of RoZ: a tool for integrating UML and Z specifications. In: CAiSE, Stockholm, Sweden, June 2000. LNCS, vol. 1789, pp. 417\u2013430. Springer, Heidelberg (2000)","key":"104_CR8","DOI":"10.1007\/3-540-45140-4_28"},{"doi-asserted-by":"crossref","unstructured":"Edmond, D.: Refining database systems. In: ZUM\u201995: The Z Formal Specification Notation, Limerick, Ireland, September. LNCS, vol. 967, pp. 25\u201344. Springer, Heidelberg (1995)","key":"104_CR9","DOI":"10.1007\/3-540-60271-2_111"},{"key":"104_CR10","volume-title":"Fundamentals of Database Systems","author":"R. Elmasri","year":"2004","unstructured":"Elmasri R., Navathe S.: Fundamentals of Database Systems. Addison-Wesley, Reading (2004)"},{"doi-asserted-by":"crossref","unstructured":"Evans, N., Treharne, H., Laleau, R., Frappier, M.: How to verify dynamic properties of information systems. In: SEFM 2004, Beijing, China, September, pp. 416\u2013425. IEEE Computer Society Press, New York (2004)","key":"104_CR11","DOI":"10.1109\/SEFM.2004.1347547"},{"key":"104_CR12","volume-title":"Patterns of enterprise application architecture","author":"M. Fowler","year":"2002","unstructured":"Fowler M.: Patterns of enterprise application architecture. Addison-Wesley, Reading (2002)"},{"unstructured":"Fraikin, B., Frappier, M.: EB3PAI: An interpreter for the eb 3 specification language. In: 15th International conference on software and systems engineering and their applications (ICSSEA), December (2002)","key":"104_CR13"},{"unstructured":"Fraikin, B., Frappier, M.: Efficient execution of process expressions using symbolic interpretation. SCP (2006) (submitted)","key":"104_CR14"},{"issue":"3","key":"104_CR15","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/s10270-005-0083-4","volume":"4","author":"B. Fraikin","year":"2005","unstructured":"Fraikin B., Frappier M., Laleau R.: State-based versus event-based specifications for information systems: A comparison of B and eb 3. Softw. Syst. Model. 4(3), 236\u2013257 (2005)","journal-title":"Softw. Syst. Model."},{"unstructured":"Frappier, M., Fraikin, B., Laleau, R., Richard, M.: APIS\u2014Automatic Production of Information Systems. In: AAAI Spring Symposium, Stanford, USA, March, pp. 17\u201324. AAAI Press, Menlo Park (2002)","key":"104_CR16"},{"issue":"2","key":"104_CR17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s10270-003-0024-z","volume":"2","author":"M. Frappier","year":"2003","unstructured":"Frappier M., St-Denis R.: eb 3: An entity-based black-box specification method for information systems. Softw. Syst. Model. 2(2), 134\u2013149 (2003)","journal-title":"Softw. Syst. Model."},{"unstructured":"Garavel, H., Sifakis, J.: Compilation and verification of LOTOS specifications. In: 10th International symposium on protocol specification, testing and verification (PSTV), Ottawa, Canada, June, pp. 379\u2013394 (1990)","key":"104_CR18"},{"unstructured":"Gervais, F.: EB4 : Vers une m\u00e9thode combin\u00e9e de sp\u00e9cification formelle des syst\u00e8mes d\u2019information. Dissertation for the general examination, GRIL, Universit\u00e9 de Sherbrooke, Qu\u00e9bec June (2004)","key":"104_CR19"},{"doi-asserted-by":"crossref","unstructured":"Gervais, F., Batanado, P., Frappier, M., Laleau, R.: EB3TG: A tool synthesizing relational database transactions from EB3 attribute definitions. In: ICEIS 2006, volume Information Systems Analysis and Specification, Paphos, Cyprus, May, pp. 44\u201351. NSTICC Press, Portugal (2006)","key":"104_CR20","DOI":"10.5220\/0002494800440051"},{"doi-asserted-by":"crossref","unstructured":"Gervais, F., Frappier, M., Laleau, R.: Synthesizing B substitutions for EB3 attribute definitions. Technical Report 683, CEDRIC, Paris, France, November (2004)","key":"104_CR21","DOI":"10.1007\/11589976_13"},{"doi-asserted-by":"crossref","unstructured":"Gervais, F., Frappier, M., Laleau, R.: Generating relational database transactions from recursive functions defined on EB3 traces. In: SEFM 2005, Koblenz, Germany, September, pp. 117\u2013126. IEEE Computer Society Press, New York (2005)","key":"104_CR22","DOI":"10.1109\/SEFM.2005.23"},{"doi-asserted-by":"crossref","unstructured":"Gervais, F., Frappier, M., Laleau, R.: Synthesizing B specifications from EB3 attribute definitions. In: IFM 2005, Eindhoven, The Netherlands, November\u2013December. LNCS, vol. 3771, pp. 207\u2013226. Springer, Heidelberg (2005)","key":"104_CR23","DOI":"10.1007\/11589976_13"},{"unstructured":"Gervais, F., Frappier, M., Laleau, R., Batanado, P.: EB3 attribute definitions: Formal language and application. Technical Report 700, CEDRIC, Paris, France, February (2005)","key":"104_CR24"},{"doi-asserted-by":"crossref","unstructured":"Ginoux, B., Dormoy, J.-L., Jimenez-Dominguez, C., Lucas, J.-Y., Pierre, L.: Descartes: An automatic programming system for algorithmically simple programs. In: IWSSD \u201998, Washington, USA, p. 106. IEEE Computer Society, New York (1998)","key":"104_CR25","DOI":"10.1109\/IWSSD.1998.667925"},{"key":"104_CR26","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"unstructured":"Hohenstein, U.: Automatic transformation of an entity-relationship query language into SQL. In: 8th International Conf. on Entity-Relationship Approach to Database Design and Querying, Toronto, Canada, October, pp. 303\u2013321. Elsevier, Amsterdam (1989)","key":"104_CR27"},{"issue":"3","key":"104_CR28","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0306-4379(92)90014-E","volume":"17","author":"U. Hohenstein","year":"1992","unstructured":"Hohenstein U., Engels G.: SQL\/EER\u2014Syntax and semantics of an entity-relationship-based query language. Inf. Syst. 17(3), 209\u2013242 (1992)","journal-title":"Inf. Syst."},{"key":"104_CR29","volume-title":"System Development","author":"M. Jackson","year":"1983","unstructured":"Jackson M.: System Development. Prentice-Hall, Englewood Cliffs (1983)"},{"issue":"2\/3","key":"104_CR30","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0164-1212(84)90003-7","volume":"4","author":"S. Jajodia","year":"1984","unstructured":"Jajodia S.: Translation of entity-relationship diagrams into relational structures. J. Syst. Softw. 4(2\/3), 123\u2013133 (1984)","journal-title":"J. Syst. Softw."},{"unstructured":"JBoss Labs. Hibernate. http:\/\/www.hibernate.org (2006)","key":"104_CR31"},{"doi-asserted-by":"crossref","unstructured":"Laleau, R., Mammar, A.: An overview of a method and its support tool for generating B specifications from UML notations. In: ASE 2000, Grenoble, France, September, pp. 269\u2013272. IEEE Computer Society Press, New York (2000)","key":"104_CR32","DOI":"10.1109\/ASE.2000.873675"},{"doi-asserted-by":"crossref","unstructured":"Leucker, M., Noll, T.: Rapid prototyping of specification language implementations. In: RSP 1999, Clearwater, Florida, USA, June, pp. 60\u201365. IEEE Computer Society Press, New York (1999)","key":"104_CR33","DOI":"10.1109\/IWRSP.1999.779032"},{"doi-asserted-by":"crossref","unstructured":"Lyngbaek, P., Vianu, V.: Mapping a semantic database model to the relational model. In: ACM SIGMOD, San Francisco. ACM, New York (1987)","key":"104_CR34","DOI":"10.1145\/38713.38732"},{"unstructured":"Mammar, A.: Un environnement formel pour le d\u00e9veloppement d\u2019applications base de donn\u00e9es. PhD thesis, CNAM, Paris, December (2002)","key":"104_CR35"},{"doi-asserted-by":"crossref","unstructured":"Meyer, E., Souqui\u00e8res, J.: A systematic approach to transform OMT diagrams to a B specification. In: FM\u201999, Toulouse, France, September. LNCS, vol. 1708, pp. 875\u2013895. Springer, Heidelberg (1999)","key":"104_CR36","DOI":"10.1007\/3-540-48119-2_48"},{"key":"104_CR37","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"unstructured":"Nguyen, H.P.: D\u00e9rivation de sp\u00e9cifications formelles B \u00e0 partir de sp\u00e9cifications semi-formelles. PhD thesis CNAM, Paris, December (1998)","key":"104_CR38"},{"unstructured":"OMG. Object constraint language (ocl) http:\/\/www.omg.org\/technology\/","key":"104_CR39"},{"key":"104_CR40","volume-title":"Cleanroom Software Engineering: Technology and Process","author":"S.J. Prowell","year":"1999","unstructured":"Prowell S.J., Trammell C.J., Linger R.C., Poore J.H.: Cleanroom Software Engineering: Technology and Process. Addison-Wesley, Reading (1999)"},{"issue":"4","key":"104_CR41","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/169725.169716","volume":"18","author":"X. Qian","year":"1993","unstructured":"Qian X.: The deductive synthesis of database transactions. ACM Trans. Database Syst. 18(4), 626\u2013677 (1993)","journal-title":"ACM Trans. Database Syst."},{"key":"104_CR42","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"doi-asserted-by":"crossref","unstructured":"Schewe, K., Smith, J., Wetzel, I.: Specification and refinement in an integrated database application environment. In: VDM 1991, Noordwijkerhout, The Netherlands, pp. 496\u2013510. Springer, Heidelberg (1991)","key":"104_CR43","DOI":"10.1007\/3-540-54834-3_29"},{"issue":"9","key":"104_CR44","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D.R. Smith","year":"1990","unstructured":"Smith D.R.: A semi-automatic program development system. IEEE Trans. Softw. Eng. 16(9), 1024\u20131043 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"unstructured":"Steinberg, D., Raz, Y., Kantorowitz, E.: Translating errol, a high level, er, structured english language for dbtg databases. In: ER 1987 (1987)","key":"104_CR45"},{"unstructured":"Subleta, K., Missala, M.: Semantics of query languages for the entity-relationship model. In: ER 1986, Dijon, France (1986)","key":"104_CR46"},{"issue":"2","key":"104_CR47","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/7474.7475","volume":"18","author":"T. Teorey","year":"1986","unstructured":"Teorey T., Yang D., Fry J.: A logical design methodology for relational databases using the extended entity-relationship model. ACM Comput. Surv. 18(2), 197\u2013222 (1986)","journal-title":"ACM Comput. Surv."},{"unstructured":"Terrillon, J.-G.: Description comportementale d\u2019interface web. Master\u2019s thesis, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke (2005)","key":"104_CR48"},{"doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Formal specification: a roadmap. In: ICSE\u2014Future of SE Track, Limerick, Ireland, June, pp. 147\u2013159. ACM, New York (2000)","key":"104_CR49","DOI":"10.1145\/336512.336546"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0104-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0104-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0104-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T22:55:44Z","timestamp":1738450544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0104-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,18]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["104"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0104-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2008,10,18]]}}}