{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:44:43Z","timestamp":1725518683933},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876021"},{"type":"electronic","value":"9783540876038"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87603-8_15","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T07:56:24Z","timestamp":1221897384000},"page":"181-194","source":"Crossref","is-referenced-by-count":14,"title":["Towards Modelling Obligations in Event-B"],"prefix":"10.1007","author":[{"given":"Juan","family":"Bicarregui","sequence":"first","affiliation":[]},{"given":"Alvaro","family":"Arenas","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Aziz","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Massonet","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Ponsard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.R. Abrial","year":"1998","unstructured":"Abrial, J.R., Mussat, L.: Introducing Dynamic Constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393. Springer, Heidelberg (1998)"},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0167-6423(83)90004-7","volume":"3","author":"K.R. Apt","year":"1983","unstructured":"Apt, K.R., Olderog, E.-R.: Proof Rules and Transformations Dealing with Fairness. Science of Computer Programming\u00a03(1), 65\u2013100 (1983)","journal-title":"Science of Computer Programming"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-36103-0_22","volume-title":"Formal Methods and Software Engineering","author":"A.E. Arenas","year":"2002","unstructured":"Arenas, A.E.: An Abstract Model for Scheduling Real-Time Programs. In: George, C., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 204\u2013215. Springer, Heidelberg (2002)"},{"key":"15_CR4","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"45","volume-title":"STM 2007, ERCIM Workshop on Security and Trust Management","author":"A.E. Arenas","year":"2008","unstructured":"Arenas, A.E., Aziz, B., Bicarregui, J.C., Matthews, B.: Managing Conflicts of Interests in Virtual Organisations. In: STM 2007, ERCIM Workshop on Security and Trust Management. Electronic Notes in Theoretical Computer Science, vol.\u00a0197, pp. 45\u201356. Elsevier, Amsterdam (2008)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Integrated Formal Methods","author":"H. Ru\u00edz Barradas","year":"2002","unstructured":"Ru\u00edz Barradas, H., Bert, D.: Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335. Springer, Heidelberg (2002)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11955757_13","volume-title":"B 2007: Formal Specification and Development in B","author":"D. Cansell","year":"2006","unstructured":"Cansell, D., Mery, D., Rehm, J.: Time Constraint Patterns for Event B Development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 140\u2013154. Springer, Heidelberg (2006)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/978-3-540-31862-0_31","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"S. Colin","year":"2005","unstructured":"Colin, S., Mariano, G., Poirriez, V.: Duration Calculus: A Real-Time Semantic for B. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 431\u2013446. Springer, Heidelberg (2005)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","volume":"1","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro, J., Maibaum, T.: Temporal Reasoning over Deontic Specifications. Journal of Logic Computation\u00a01(3), 357\u2013395 (1991)","journal-title":"Journal of Logic Computation"},{"key":"15_CR9","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall Series in Computer Science (1998)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/11955757_6","volume-title":"B 2007: Formal Specification and Development in B","author":"W. Ifill","year":"2006","unstructured":"Ifill, W., Schneider, S., Treharne, H.: Augmenting B with Control Annotations. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 34\u201348. Springer, Heidelberg (2006)"},{"key":"15_CR11","volume-title":"Real-Time Systems: Specification, Verification and Analysis","author":"M. Joseph","year":"1996","unstructured":"Joseph, M.: Real-Time Systems: Specification, Verification and Analysis. Prentice Hall International, Englewood Cliffs (1996)"},{"key":"15_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Reactive Behavior of Reactive and Concurrent System","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Reactive Behavior of Reactive and Concurrent System. Springer, Heidelberg (1992)"},{"key":"15_CR13","unstructured":"M\u00e9ry, D., Merz, S.: Event Systems and Access Control. In: Gollmann, D., J\u00fcrjens, J. (eds.) 6th Intl. Workshop Issues in the Theory of Security, Vienna, Austria, pp. 40\u201354. IFIP WG 1.7, Vienna University of Technology (2006)"},{"key":"15_CR14","unstructured":"M\u00e9tayer, C., Abrial, J.R., Voisin, L.: Event-B Language. Rodin Deliverable D3.2 (2005)"},{"key":"15_CR15","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Fifth IEEE International Symposium on Requirements Engineering (2001)"},{"key":"15_CR16","first-page":"119","volume-title":"Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002","author":"A. Lamsweerde van","year":"2002","unstructured":"van Lamsweerde, A., Letier, E.: Deriving Operational Software Specifications from System Goals. In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, pp. 119\u2013128. ACM, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, B and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87603-8_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:43:29Z","timestamp":1619523809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87603-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876021","9783540876038"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87603-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}