{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T07:37:07Z","timestamp":1648625827049},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"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":[[2005,7]]},"DOI":"10.1007\/s10270-005-0083-4","type":"journal-article","created":{"date-parts":[[2005,5,24]],"date-time":"2005-05-24T11:19:17Z","timestamp":1116933557000},"page":"236-257","source":"Crossref","is-referenced-by-count":11,"title":["State-based versus event-based specifications for information systems: a comparison of B and eb3"],"prefix":"10.1007","volume":"4","author":[{"given":"Beno\u00eet","family":"Fraikin","sequence":"first","affiliation":[]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[]},{"given":"R\u00e9gine","family":"Laleau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,1]]},"reference":[{"key":"83_CR1","doi-asserted-by":"crossref","unstructured":"Abrial J-R (1996) The B-Book. Cambridge University Press, Cambridge, UK","DOI":"10.1017\/CBO9780511624162"},{"key":"83_CR2","unstructured":"Abrial J-R (1996) Extending B without Changing it. In: Habrias H (ed) First Conference on the B Method, pp 169\u2013190, November 1996"},{"key":"83_CR3","doi-asserted-by":"crossref","unstructured":"Abrial J-R, Mussat L (1998) Introducing Dynamic Constraints in B. In: Bert D (ed) Second International B Conference, Lecture Notes in Computer Science, vol 1393. Springer-Verlag, pp 83\u2013128, April 1998","DOI":"10.1007\/BFb0053357"},{"key":"83_CR4","doi-asserted-by":"crossref","unstructured":"Behm P, Benoit P, Faivre A, Meynadier JM (1999) M\u00e9t\u00e9or: A Successful Application of B in a Large Project. In: FM99: World Congress on Formal Methods, Toulouse, France, Lecture Notes in Computer Science, vol 1708. Springer-Verlag, pp 369\u2013387, September 1999","DOI":"10.1007\/3-540-48119-2_22"},{"key":"83_CR5","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"Boehm","year":"1984","unstructured":"Boehm BW (1984) Verifying and Validating Software Requirements and Design Specifications. IEEE Software 1(1):75\u201388, January 1984","journal-title":"IEEE Software"},{"key":"83_CR6","first-page":"A","volume":"Machines","author":"Boerger","year":"2003","unstructured":"Boerger E, Staerk R (2003) Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, ISBN 3-540-00702-4","journal-title":"Abstract State"},{"key":"83_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"Bolognesi","year":"1987","unstructured":"Bolognesi T, Brinksma E (1987) Introduction to the ISO Specification Language Lotos. Computer Networks and ISDN Systems 14(1):25\u201359","journal-title":"Computer Networks and ISDN Systems"},{"key":"83_CR8","unstructured":"Butler MJ, Wald\u00e9n M (1996) Distributed System Development in B. In: Habrias H (ed) First Conference on the B Method, November 1996"},{"key":"83_CR9","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/PL00003930","volume":"12","author":"Butler","year":"2000","unstructured":"Butler M (2000) csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing 12(4):182\u2013198","journal-title":"Formal Aspects of Computing"},{"key":"83_CR10","unstructured":"CLEARSY System Engineering: Aix-en-Provence, France, http:\/\/www.clearsy.com\/"},{"key":"83_CR11","unstructured":"Darlot C (2002) Reformulation et v\u00e9rification de propri\u00e9t\u00e9s temporelles dans le cadre du raffinement de syst\u00e8mes d\u2019\u00e9v\u00e9nements. Ph.D. thesis, Universit\u00e9 de Franche-Comt\u00e9, France"},{"key":"83_CR12","unstructured":"Elmasri R, Navathe SB (2004) Fundamentals of Database Systems. 4th edition, Addison-Wesley"},{"key":"83_CR13","doi-asserted-by":"crossref","unstructured":"Emerson EA, Kahlon V (2000) Reducing model checking of the many to the few. In: Proceedings of CADE\u20192000, Lecture Notes in Computer Science, vol 1831. Springer-Verlag, pp 236\u2013354","DOI":"10.1007\/10721959_19"},{"key":"83_CR14","doi-asserted-by":"crossref","unstructured":"Evans N, Treharne H, Laleau R, Frappier M (2004) How to Verify Dynamic Properties of Information Systems. In: Cuellar JR, Liu Z (eds) 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing, China, 26\u201330 September 2004. IEEE Computer Society Press, pp 416\u2013425.","DOI":"10.1109\/SEFM.2004.1347547"},{"key":"83_CR15","first-page":"from","volume":"Data","author":"Fischer","year":"2000","unstructured":"Fischer C (2000) Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, University of Oldenburg","journal-title":"Combination and Implementation of Processes and"},{"key":"83_CR16","unstructured":"Formal Systems (Europe) Ltd. (1997) Failures-Divergences Refinement: FDR2 User Manual. http:\/\/www.formal.demon.co.uk"},{"key":"83_CR17","unstructured":"Fraikin B, Frappier M (2002) eb3PAI: an interpreter for the eb3 specification language. In: FM-TOOLS 2002, The 5th Workshop on Tools for System Design and Verification, Reisensburg Castle, G\u00fcnzburg, Germany, 15\u201317 July 2002"},{"key":"83_CR18","unstructured":"Fraikin B, Frappier M (2002) Optimizing memory space in the eb3 process algebra interpreter. In: ICCSSEA 2002, Software and Systemes Engineering and their Applications, vol I, Session 4"},{"key":"83_CR19","doi-asserted-by":"crossref","unstructured":"Frappier M, Laleau R (2003) Proving Event Ordering Properties for Information Systems. In: Zb 2003: Formal Specification and Development in Z and B, Turku, Finland, 4\u20136 June 2003, Lecture Notes in Computer Science, vol 2651. Springer-Verlag, pp 421\u2013436","DOI":"10.1007\/3-540-44880-2_25"},{"key":"83_CR20","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s10270-003-0024-z","volume":"2","author":"Frappier","year":"2003","unstructured":"Frappier M, St-Denis R (2003) eb3: an Entity-Based Black-Box Specification Method for Information Systems. Software and System Modeling 2(2):134\u2013149, July 2003","journal-title":"Software and System Modeling"},{"key":"83_CR21","unstructured":"Gervais F (2004) EB4: Vers une m\u00e9thode combin\u00e9e de sp\u00e9cification formelle des syst\u00e8mes d\u2019information. Examen de sp\u00e9cialit\u00e9, Doctorat Informatique, Universit\u00e9 de Sherbrooke, June 2004"},{"key":"83_CR22","unstructured":"Hoare CAR (1985) Communicating Sequential Processes. Prentice Hall, Englewood Cliffs"},{"key":"83_CR23","unstructured":"INRIA Rh\u00f4ne-Alpes: CADP (Caesar\/Aldebaran Development Package), http:\/\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"83_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/128756.128757","volume":"10","author":"Jarke","year":"1992","unstructured":"Jarke M, Mylopoulos J, Schmidt JW, Vassiliou Y (1992) DAIDA: An Environment for Evolving Information Systems. ACM Transactions on Information Systems 10(1):1\u201350, January 1992","journal-title":"ACM Transactions on Information Systems"},{"key":"83_CR25","doi-asserted-by":"crossref","unstructured":"Laleau R Mammar A (2000) An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations. In: ASE: 15th IEEE Conference on Automated Software Engineering, Grenoble, France, September 2000, IEEE Computer Society Press","DOI":"10.1109\/ASE.2000.873675"},{"key":"83_CR26","doi-asserted-by":"crossref","unstructured":"Laleau R, Mammar A (2000) A Generic Process to Refine a B Specification into a Relational Database Implementation. In: ZB2000: Formal Specification and Development in Z and B, Lecture Notes in Computer Science, vol 1878, Springer-Verlag, York","DOI":"10.1007\/3-540-44525-0_3"},{"key":"83_CR27","unstructured":"Laleau R (2002) Conception et d\u00e9veloppement formels d\u2019applications bases de donn\u00e9es. Habilitation Thesis, CEDRIC Laboratory, \u00c9vry, France. Available at http:\/\/cedric.cnam.fr\/PUBLIS\/RC424.ps.gz"},{"key":"83_CR28","unstructured":"Mammar A (2002) Un environnement formel pour le d\u00e9veloppement d\u2019applications bases de donn\u00e9es. Ph.D. thesis, CEDRIC Laboratory, CNAM, Evry, France, November 2002. Available at http:\/\/cedric.cnam.fr\/PUBLIS\/RC392.ps.gz"},{"key":"83_CR29","doi-asserted-by":"crossref","unstructured":"Manna M, Pnueli A (1992) The temporal logic of reactive and concurrent systems. Springer-Verlag","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"83_CR30","doi-asserted-by":"crossref","unstructured":"Meyer E, Souqui\u00e8res J (1999) A Systematic approach to Transform OMT Diagrams to a B specification. In: Wing JM, Woodcook J, Davies J (eds) Formal Methods (FM\u201999), September 1999, Lecture Notes in Computer Science, vol 1708(1), Springer-Verlag, pp 875\u2013895","DOI":"10.1007\/3-540-48119-2_48"},{"key":"83_CR31","unstructured":"Mills HD, Linger R.C., Hevner AR (1986) Principles of Information Systems Analysis and Design. Academic Press, Orlando, FL"},{"key":"83_CR32","unstructured":"Milner R (1989) Communication and Concurrency. Prentice Hall, Englewood Cliffs"},{"key":"83_CR33","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"Pnueli","year":"1981","unstructured":"Pnueli A (1981) The temporal semantics of concurrent programs. Theoretical Computer Science 13:45\u201360","journal-title":"Theoretical Computer Science"},{"key":"83_CR34","unstructured":"Snook C, Butler M (2004) UML-B: Formal modelling and design aided by UML. Technical Report, Department of Electronics and Computer Science, University of Southampton, United Kingdom. http:\/\/www.ecs.soton.ac.uk\/people\/mjb\/"},{"key":"83_CR35","doi-asserted-by":"crossref","unstructured":"Treharne H, Schneider S (2000) How to drive a B machine. In: Bowen JP, Dunne S, Galloway A, King S (eds) ZB2000: Formal Specification and Development in Z and B, LNCS vol 1878, Springer-Verlag, pp 188\u2013208","DOI":"10.1007\/3-540-44525-0_12"},{"key":"83_CR36","unstructured":"Vissers CA, Scollo G, van Sinderen M (1988) Architecture and specification style in formal descriptions of distributed systems. In: Aggarwal S, Sabnani K (eds) Protocol Specification, Testing and Verification, VIII, North-Holland, Amsterdam, pp 189\u2013204"},{"key":"83_CR37","doi-asserted-by":"crossref","unstructured":"Woodcock JCP, Cavalcanti ALC (2002) The Semantics of Circus. In: ZB 2002: Formal Specification and Development in Z and B, Grenoble, France, 2002, LNCS vol 2272. Springer-Verlag","DOI":"10.1007\/3-540-45648-1_10"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0083-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0083-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0083-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0083-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:22Z","timestamp":1559130922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0083-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["83"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0083-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}