R. Alur
D.L. Dill
1990
Automata For Modeling Real-Time Systems.
ICALP
322–335
10.1007/BFb0032042
R. Alur
D.L. Dill
1994
A Theory of Timed Automata
Theoretical Computer Science
126(2)
183–235
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
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
134–152
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)
55–61
E. Martinez
G. Diaz
M. E. Cambronero
G. Schneider
2010
A Model for Visual Specification of e-Contracts
The 7th IEEE International Conference on Services Computing (IEEE SCC'10)
1–8
10.1109/SCC.2010.32
P. McNamara
2006
Deontic Logic
Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic
7
North-Holland Publishing
197–289
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
2008 IEEE International Conference on Web Services (ICWS'08)
IEEE Computer Society
433–440
10.1109/ICWS.2008.36
C. Prisacariu
G. Schneider
2009
CL: An Action-based Logic for Reasoning about Contracts
16th Workshop on Logic, Language, Information and Computation (WOLLIC'09)
LNCS
5514
Springer
335–349
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/