-
2
-
-
21144431831
-
-
A. Berry and Z. Milosevic. Extending choreography with contract constraints. Int. J. of Cooperative Inf. Syst., 14, 2005.
-
A. Berry and Z. Milosevic. Extending choreography with contract constraints. Int. J. of Cooperative Inf. Syst., 14, 2005.
-
-
-
-
3
-
-
9444235971
-
Deontic logic and contrary to duties
-
D.M. Gabbay and F. Guenther, editors, Kluwer
-
J. Carmo and A.J.I. Jones. Deontic logic and contrary to duties. In D.M. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic, volume 8: 265-343. Kluwer, 2002.
-
(2002)
Handbook of Philosophical Logic
, vol.8
, pp. 265-343
-
-
Carmo, J.1
Jones, A.J.I.2
-
4
-
-
21144438590
-
Using the event calculus for tracking the normative state of contracts
-
A.D.H. Farrell, M.J. Sergot, M. Sallé, and C. Bartolini. Using the event calculus for tracking the normative state of contracts, International Journal of Cooperative Information Systems, Vol. 14, Nos. 2-3 (2005) 99-129.
-
(2005)
International Journal of Cooperative Information Systems
, vol.14
, Issue.2-3
, pp. 99-129
-
-
Farrell, A.D.H.1
Sergot, M.J.2
Sallé, M.3
Bartolini, C.4
-
5
-
-
33750195346
-
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
-
G. Governatori and A. Rotolo. Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations. Australasian Journal of Logic, 4, 193-215, 2006.
-
(2006)
Australasian Journal of Logic
, vol.4
, pp. 193-215
-
-
Governatori, G.1
Rotolo, A.2
-
11
-
-
0008688014
-
A logic model for electronic contracting
-
R.M. Lee. A logic model for electronic contracting. Decision Support Systems, 4:27-44, 1988.
-
(1988)
Decision Support Systems
, vol.4
, pp. 27-44
-
-
Lee, R.M.1
-
12
-
-
4243078497
-
-
Elsevier Science
-
P. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni, S. Neal, A unified behavioural model and a contract language for extended enterprise, Data Knowledge and Engineering Journal, Elsevier Science, 51 (2004), p. 5-29.
-
(2004)
A unified behavioural model and a contract language for extended enterprise, Data Knowledge and Engineering Journal
, vol.51
, pp. 5-29
-
-
Linington, P.1
Milosevic, Z.2
Cole, J.3
Gibson, S.4
Kulkarni, S.5
Neal, S.6
-
14
-
-
30944437271
-
Orlowska, Shazia W. Sadiq Formal Considerations of Rule-Based Messaging for Business Process Integration, Special Issue of Cybernetics and Systems
-
D. C. Ma, Maria E. Orlowska, Shazia W. Sadiq Formal Considerations of Rule-Based Messaging for Business Process Integration, Special Issue of Cybernetics and Systems: An International Journal, Vol 37/2 (2006).
-
(2006)
An International Journal
, vol.37
, Issue.2
-
-
Ma, D.C.1
Maria, E.2
-
15
-
-
35948986519
-
On Expressing and Monitoring Behaviour in Contracts
-
Lausanne, Switzerland
-
Z. Milosevic, G. Dromey, On Expressing and Monitoring Behaviour in Contracts, EDOC2002 Conference, Lausanne, Switzerland.
-
EDOC2002 Conference
-
-
Milosevic, Z.1
Dromey, G.2
-
17
-
-
85008935532
-
-
M. J. Sergot, A computational theory of normative positions, ACM Trans. Comput. Log., p. 2, No 4, 581-622, 2001.
-
M. J. Sergot, A computational theory of normative positions, ACM Trans. Comput. Log., p. Vol 2, No 4, 581-622, 2001.
-
-
-
-
18
-
-
33749990668
-
Supporting Contract Execution through Recommended Workflows
-
Zaragoza, Spain, Sept
-
R. Tag, Z. Milosevic, S. Gibson, S. Kulkarni, Supporting Contract Execution through Recommended Workflows, DEXA04 Conference., Zaragoza, Spain, Sept. 2004.
-
(2004)
DEXA04 Conference
-
-
Tag, R.1
Milosevic, Z.2
Gibson, S.3
Kulkarni, S.4
-
19
-
-
38749120821
-
-
ITU-T Rec. X.902 | ISO/IEC 10746-2: Foundations, RM-ODP
-
ITU-T Rec. X.902 | ISO/IEC 10746-2: Foundations, RM-ODP
-
-
-
-
20
-
-
4243183128
-
Open Distributed Processing-Enterprise Language,
-
ISOMEC IS 15414
-
ISOMEC IS 15414, Open Distributed Processing-Enterprise Language, 2002.
-
(2002)
-
-
-
21
-
-
14544287677
-
A Framework for Constraint Specification and Validation in Flexible Workflows
-
Shazia Sadiq, Wasim Sadiq, Maria Orlowska (2005) A Framework for Constraint Specification and Validation in Flexible Workflows. Information Systems, Elsevier Science. Volume 30. Issue 5 pp. 349-378
-
(2005)
Information Systems, Elsevier Science
, vol.30
, Issue.5
, pp. 349-378
-
-
Sadiq, S.1
Sadiq, W.2
Orlowska, M.3
-
22
-
-
0036643192
-
Cross-Organisational Workflow Integration using Contracts
-
W-Jan van den Heuvel, H. Weigand, Cross-Organisational Workflow Integration using Contracts, Decision Support Systems, 33(3): p. 247-265
-
Decision Support Systems
, vol.33
, Issue.3
, pp. 247-265
-
-
W-Jan van1
den Heuvel, H.2
Weigand3
-
23
-
-
38749085896
-
-
www-106.ibm.com/developerworks/library/ws-bpel/
-
-
-
|