A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts
暂无分享,去创建一个
[1] Shazia Wasim Sadiq,et al. Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).
[2] Santosh K. Shrivastava,et al. A high-level model-checking tool for verifying service agreements , 2011, Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE).
[3] Santosh K. Shrivastava,et al. Exception Handling in Electronic Contracting , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.
[4] Carlos Ribeiro,et al. Heimdhal: a history-based policy engine for grids , 2006, Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID'06).
[5] Ellis Solaiman,et al. Monitoring Internet of Things Application Ecosystems for Failure , 2016, IT Professional.
[6] Santosh K. Shrivastava,et al. A Rule-Based Notation to Specify Executable Electronic Contracts , 2008, RuleML.
[7] Paul W. P. J. Grefen,et al. Supporting the Diversity of B2B E-Contracting Processes , 2008, Int. J. Electron. Commer..
[8] Carole A. Goble,et al. Why Linked Data is Not Enough for Scientists , 2010, 2010 IEEE Sixth International Conference on e-Science.
[9] Santosh K. Shrivastava,et al. Contract representation for run-time monitoring and enforcement , 2003, EEE International Conference on E-Commerce, 2003. CEC 2003..
[10] Ellis Solaiman,et al. High Level Model Checker Based Testing of Electronic Contracts , 2015, CLOSER.
[11] Santosh K. Shrivastava,et al. Model Checking Correctness Properties of Electronic Contracts , 2003, ICSOC.
[12] Paul Watson,et al. CONCURRENCY AND COMPUTATION : PRACTICE AND EXPERIENCE Concurrency Computat , 2013 .
[13] Santosh K. Shrivastava,et al. An architecture for negotiation and enforcement of resource usage policies , 2011, 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).
[14] Santosh K. Shrivastava,et al. Run-time monitoring and enforcement of electronic contracts , 2004, Electron. Commer. Res. Appl..
[15] Heiko Ludwig,et al. Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts , 2003, WES.
[16] Tom Hvitved,et al. A Survey of Formal Languages for Contracts , 2011 .
[17] Santosh K. Shrivastava,et al. A Model for Checking Contractual Compliance of Business Interactions , 2012, IEEE Transactions on Services Computing.
[18] Ellis Solaiman,et al. A Tool for the Automatic Verification of BPMN Choreographies , 2015, 2015 IEEE International Conference on Services Computing.
[19] Victoria Ungureanu,et al. Establishing Business Rules for Inter-Enterprise Electronic Commerce , 2000, DISC.
[20] Szabolcs Rozsnyai,et al. Proactive Business Process Compliance Monitoring with Event-Based Systems , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops.