Establishing Distributed Governance Infrastructures for Enacting Cross-Organization Collaborations

The emergence of blockchain 2.0 technology enables novel agile business networking collaborations for decentralized autonomous organizations (DAO). Smart contracts are enactable by service-oriented cloud computing and blockchain technology for governing DAOs that engage in business collaborations. The distributed governance infrastructure (DGI) for such governance involves an ecosystem of agents, policies, services, and so on. To the best of our knowledge, a formal investigation of the lifecycle for establishing such a DGI has not been explored so far. This paper fills the gap by establishing a formalized DGI intended for the enactment of smart contracts for electronic communities of DAOs. The evaluation of the DGI-lifecycle is performed by means of model checking and discussing what pre-existing systems and also by means of discussing what pre-existing solutions exist for an application-system implementation.

[1]  Nobuko Yoshida,et al.  Compositional Choreographies , 2013, CONCUR.

[2]  M. Swan.  Blockchain Thinking : The Brain as a DAC ( Decentralized Autonomous Organization ) , 2022 .

[3]  Saeed Bagheri,et al.  Agility of Enterprise Operations across Distributed Organizations: A Model of Cross Enterprise Collaboration , 2011, 2011 Annual SRII Global Conference.

[4]  Rik Eshuis,et al.  Service Outsourcing with Process Views , 2015, IEEE Transactions on Services Computing.

[5]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

[6]  Vitalik Buterin.  A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM , 2015 .

[7]  Alex Norta,et al.  Creation of Smart-Contracting Collaborations for Decentralized Autonomous Organizations , 2015, BIR.

[8]  Samuil Angelov,et al.  Foundations of B2B electronic contracting , 2006 .

[9]  Faris Nizamic,et al.  Service-Oriented Computing , 2010, Lecture Notes in Computer Science.

[10]  Hans Weigand,et al.  Business policy compliance in service-oriented systems , 2011, Inf. Syst..

[11]  Mike P. Papazoglou,et al.  Introduction: Service-oriented computing , 2003, CACM.

[12]  Carlo Ghezzi,et al.  A journey to highly dynamic, self-adaptive service-based applications , 2008, Automated Software Engineering.

[13]  S. Ali,et al.  Rule extraction methodology by using XML for business rules documentation , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[14]  M. Brian Blake,et al.  Service-Oriented Computing and Cloud Computing: Challenges and Opportunities , 2010, IEEE Internet Computing.

[15]  Kuldar Taveter,et al.  eContractual choreography-language properties towards cross-organizational business collaboration , 2015, Journal of Internet Services and Applications.

[16]  Stanley Y. W. Su,et al.  Interoperation of Organizational Data, Rules, Processes and Services for Achieving Inter-Organizational Coordination and Collaboration , 2011, 2011 44th Hawaii International Conference on System Sciences.

[17]  Paul W. P. J. Grefen,et al.  A reference architecture for managing dynamic inter-organizational business processes , 2014, Data Knowl. Eng..

[18]  Schahram Dustdar,et al.  Towards a distributed service-oriented business rules system , 2005, Third European Conference on Web Services (ECOWS'05).

[19]  Nick Szabo,et al.  Formalizing and Securing Relationships on Public Networks , 1997, First Monday.

[20]  Fabrizio Maria Maggi,et al.  Modelling Sound Conflict Management for Virtual-Enterprise Collaboration , 2014, 2014 IEEE International Conference on Services Computing.

[21]  Lea Kutvonen,et al.  Solving Service Ecosystem Governance , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops.

[22]  Rodrigo Roman,et al.  On the features and challenges of security and privacy in distributed internet of things , 2013, Comput. Networks.

[23]  Naftaly H. Minsky,et al.  Decentralized Governance of Distributed Systems via Interaction Control , 2012, Logic Programs, Norms and Action.

[24]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[25]  Aprna Tripathi,et al.  E-Governance challenges and cloud benefits , 2011, 2011 IEEE International Conference on Computer Science and Automation Engineering.

[26]  Lea Kutvonen,et al.  A Cloud HUB for Brokering Business Processes as a Service: A "Rendezvous" Platform that Supports Semi-automated Background Checked Partner Discovery for Cross-Enterprise Collaboration , 2012, 2012 Annual SRII Global Conference.

[27]  Christian Huemer,et al.  The Web Services-BusinessActivity-Initiator (WS-BA-I) Protocol: an Extension to the Web Services-BusinessActivity Specification , 2007, IEEE International Conference on Web Services (ICWS 2007).

[28]  Claudio Bartolini,et al.  A Process- and Policy-Aware Cross Enterprise Collaboration Framework for Multisourced Services , 2012, 2012 Annual SRII Global Conference.

[29]  Santosh K. Shrivastava,et al.  A Model for Checking Contractual Compliance of Business Interactions , 2012, IEEE Transactions on Services Computing.

[30]  Jan Mendling,et al.  An Exploratory Study of IT-Enabled Collaborative Process Modeling , 2010, Business Process Management Workshops.

[31]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.