R. Alur & D.L. Dill (1990):
Automata For Modeling Real-Time Systems..
In: ICALP,
pp. 322–335,
doi:10.1007/BFb0032042.
R. Alur & D.L. Dill (1994):
A Theory of Timed Automata.
Theoretical Computer Science 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
G. Behrmann, A. David & K. G. Larsen (2004):
A tutorial on Uppaal.
Formal Methods for the Design of Real-Time Systems 3185,
pp. 200–236.
ebXML: Electronic Business using eXtensible Markup Language.
www.ebxml.org.
J. Hatcliff, G.T. Leavens, k.R.M. Leino, P. Müller & M. Parkinson (2009):
Behavioral Interface Specification Languages.
Technical Report CS-TR-09-01.
School of EECS, University of Central Florida.
K. G. Larsen, Z. Pettersson & Y. Wang (1997):
UPPAAL in a Nutshell.
STTT: International Journal on Software Tools for Technlogy Transfer 1(1–2),
pp. 134–152,
doi:10.1007/s100090050010.
E. Martínez, Díaz, G. & Cambronero (2010):
Visual Specification of Formal e-Contracts.
Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2010),
pp. 55–61.
E. Martinez, G. Diaz, M. E. Cambronero & G. Schneider (2010):
A Model for Visual Specification of e-Contracts.
In: The 7th IEEE International Conference on Services Computing (IEEE SCC'10),
pp. 1–8,
doi:10.1109/SCC.2010.32.
P. McNamara (2006):
Deontic Logic.
In: Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic 7.
North-Holland Publishing,
pp. 197–289,
doi:10.1016/S1874-5857(06)80029-4.
B. Meyer (1986):
Design by Contract.
Technical Report TR-EI-12/CO.
Interactive Software Engineering Inc..
J. C. Okika & A. P. Ravn (2008):
Classification of SOA Contract Specification Languages.
In: 2008 IEEE International Conference on Web Services (ICWS'08).
IEEE Computer Society,
pp. 433–440,
doi:10.1109/ICWS.2008.36.
C. Prisacariu & G. Schneider (2009):
CL: An Action-based Logic for Reasoning about Contracts.
In: 16th Workshop on Logic, Language, Information and Computation (WOLLIC'09),
LNCS 5514.
Springer,
pp. 335–349,
doi:10.1007/978-3-642-02261-6_27.
Web Services Agreement Specification (WS-Agreement).
https://forge.gridforum.org/projects/graap-wg/document/WS-AgreementSpecification/en/7.
WSLA: Web Service Level Agreements.
www.research.ibm.com/wsla/.
eptcs@eptcs.org