Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
An axiomatic basis for computer programming
Communications of the ACM
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Elements of a base VE infrastructure
Computers in Industry - Special issue: Virtual enterprise management
Collaborative Networked Organizations: A Research Agenda for Emerging Business Models
Collaborative Networked Organizations: A Research Agenda for Emerging Business Models
The UCONABC usage control model
ACM Transactions on Information and System Security (TISSEC)
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
A Framework for Establishing Decentralized Secure Coalitions
CSFW '06 Proceedings of the 19th IEEE workshop on Computer Security Foundations
An incremental development of the Mondex system in Event-B
Formal Aspects of Computing
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Towards Modelling Obligations in Event-B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Hi-index | 0.00 |
In this paper, we present a formal model of virtual organisations that incorporates the concept of conflicts of interest. The model, which follows an incremental development approach using Event-B, focuses on goals and organisations at the abstract level and introduces resources at the concrete level. The model is motivated by the type of virtual organisations used in the domain of scientific experiments. Individual organisations, at the abstract level, are allowed to pursue conflicting goals within a virtual organisation. However, at the concrete level, these conflicts are isolated by applying a separation of resources mechanism. This ensures that no resource is allocated to any two conflicting goals.