On the Specification of Full Contracts

Electronic Notes in Theoretical Computer Science

Volumn 253, Issue 1, 2009, Pages 39-55

  Fenech, Stephen ^a   Pace, Gordon J ^a   Okika, Joseph C ^b   Ravn, Anders P ^b   Schneider, Gerardo ^c  

^a UNIVERSITY OF MALTA   (Malta)

^b AALBORG UNIVERSITY   (Denmark)

^c UNIVERSITY OF OSLO   (Norway)

Author keywords

CoCoME; Contracts; deontic specifications; operational specifications

Indexed keywords

BASED SPECIFICATION; COCOME; COMPONENT MODEL; COMPONENT MODELLING; DEONTIC; DEONTIC SPECIFICATIONS; OPERATIONAL SPECIFICATIONS; SOFTWARE COMPONENT;

SPECIFICATION LANGUAGES;

SPECIFICATIONS;

EID: 70349328135     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.09.027     Document Type: Article

References (15)

1. Clarke E.M., Grumberg O., and Peled D.A. Model checking (1999), The MIT Press
2. S. Fenech, G.J. Pace, and G. Schneider. Conflict analysis of deontic contracts (extended abstract). In NWPT'08, pages 34-36, November 2008
3. Fischer M.J., and Ladner R.E. Propositional modal logic of programs. STOC'77 (1977), ACM 286-294
4. He J., Li X., and Liu Z. rCOS: A refinement calculus for object systems. Theoretical Computer Science 365 1-2 (2006) 109-142
5. Hoare C. Communicating Sequential Processes (1985), Prentice-Hall
6. Hoare C., and He J. Unifying Theories of Programming (1998), Prentice-Hall
7. Holzmann G.J. The model checker spin. IEEE Trans. on Software Engineering 23 5 (1997) 279-295
8. M. Kyas, C. Prisacariu, and G. Schneider. Run-time monitoring of electronic contracts. In ATVA'08, LNCS. Springer-Verlag, October 2008. To appear
9. F.S.E. Ltd. http://www.fsel.com/software.html
10. Pace G., Prisacariu C., and Schneider G. Model Checking Contracts -a case study. ATVA'07. LNCS volume 4762 (October 2007), Springer 82-97
11. Pnueli A. The temporal logic of programs. FOCS'77 (1977), IEEE Computer Society 46-57
12. Prisacariu C., and Schneider G. A formal language for electronic contracts. FMOODS'07. LNCS volume 4468 (2007), Springer 174-189
13. In: Rausch A., Reussner R., Mirandola R., and Plasil F. (Eds). The Common Component Modeling Example: Comparing Software Component Models. [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]. LNCS volume 5153 (2008), Springer
14. Roscoe A. The Theory and Practice of Concurrency (1998), Prentice Hall
15. Fenech S. Full CL specification of CoCoME. Available from. http://www.cs.um.edu.mt/svrg/Tools/CLTool/Papers/CoCoMEfullCLSpec.pdf