{"title":"用于数据流建模和使用遵从性的道义逻辑","authors":"David Evans, D. Eyers","doi":"10.1145/1462789.1462793","DOIUrl":null,"url":null,"abstract":"We advocate using deontic logic and its representation in the Event Calculus to control access to information in a distributed ubiquitous system. Contracts between information owners are encoded in terms of classes of organisations, data, and interactions. Fluents, events, and application-specific rules that link the two are then extracted from the contracts and mapped to the components, endpoints, and messages used to implement the system. The expression of organisations' responsibilities is natural and leads to a simple mechanism of data flow monitoring. Some parts of the system can make forward progress while others are in conflict, meaning that resolution does not impede other processing. Furthermore, specification in terms of entities' behaviour rather than explicit modelling of service level agreements (SLAs) means that it is straightforward to make decisions based on observations that are not specified in the SLA but that are noticed by a human as being abnormal.","PeriodicalId":364168,"journal":{"name":"workshop on Middleware for Pervasive and Ad-hoc Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2008-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Deontic logic for modelling data flow and use compliance\",\"authors\":\"David Evans, D. Eyers\",\"doi\":\"10.1145/1462789.1462793\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We advocate using deontic logic and its representation in the Event Calculus to control access to information in a distributed ubiquitous system. Contracts between information owners are encoded in terms of classes of organisations, data, and interactions. Fluents, events, and application-specific rules that link the two are then extracted from the contracts and mapped to the components, endpoints, and messages used to implement the system. The expression of organisations' responsibilities is natural and leads to a simple mechanism of data flow monitoring. Some parts of the system can make forward progress while others are in conflict, meaning that resolution does not impede other processing. Furthermore, specification in terms of entities' behaviour rather than explicit modelling of service level agreements (SLAs) means that it is straightforward to make decisions based on observations that are not specified in the SLA but that are noticed by a human as being abnormal.\",\"PeriodicalId\":364168,\"journal\":{\"name\":\"workshop on Middleware for Pervasive and Ad-hoc Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"workshop on Middleware for Pervasive and Ad-hoc Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1462789.1462793\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"workshop on Middleware for Pervasive and Ad-hoc Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1462789.1462793","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Deontic logic for modelling data flow and use compliance
We advocate using deontic logic and its representation in the Event Calculus to control access to information in a distributed ubiquitous system. Contracts between information owners are encoded in terms of classes of organisations, data, and interactions. Fluents, events, and application-specific rules that link the two are then extracted from the contracts and mapped to the components, endpoints, and messages used to implement the system. The expression of organisations' responsibilities is natural and leads to a simple mechanism of data flow monitoring. Some parts of the system can make forward progress while others are in conflict, meaning that resolution does not impede other processing. Furthermore, specification in terms of entities' behaviour rather than explicit modelling of service level agreements (SLAs) means that it is straightforward to make decisions based on observations that are not specified in the SLA but that are noticed by a human as being abnormal.