In order to fully realize semantic interoperability among distributed and heterogeneous applications on the web, a set of effective interoperability mechanisms is presented. This mechanism adopts service interactive i...In order to fully realize semantic interoperability among distributed and heterogeneous applications on the web, a set of effective interoperability mechanisms is presented. This mechanism adopts service interactive interfaces （SII） and service aggregative interfaces （SAI） modeled with abstract state machine （ASM） to abstractly describe the behavior of the invoked web service instances, which makes business processing accurately specify tasks and effectively solves the problems of communication and collaboration between service providers and service requesters. The mechanism also uses appropriate mediators to solve the problems of information and coinmunication incompatibility during the course of service interaction, which is convenient for service interoperability, sharing and integration. The mechanism＇ s working principle and interoperability implementation are illustrated by a use case in detail.展开更多
Research on blockchains addresses multiple issues,with one being the automated creation of smart contracts.Developing smart contract methods is more difficult than mainstream software development as the underlying blo...Research on blockchains addresses multiple issues,with one being the automated creation of smart contracts.Developing smart contract methods is more difficult than mainstream software development as the underlying blockchain infrastructure poses additional complexity.We report on a new approach to developing smart contracts with the objective of automating the process to increase developer efficiency and reduce the risk of errors introduced by software developers.To support industry adoption,we use Business Process Model and Notation(BPMN)modeling to describe an application while targeting applications in the trade vertical.We describe a system that transforms a BPMN model into a multi-modal model that combines Discrete Event(DE)modeling for concurrency with Hierarchical State Machines(HSMs)to represent application functionality.Then,further transformations are used to transform the DE-HSM model into methods in smart contracts.The system lets the modeler decide which of the independent patterns should be transformed into methods of a separate smart contract that is deployed on a sidechain for the purpose of(i)reducing processing costs and/or(ii)providing privacy so that other participants in the smart contract do not have visibility into the processing of the pattern.We also briefly describe a proof-of-concept tool we built to demonstrate the feasibility of our approach.展开更多
基金The Natural Science Foundation of Hunan Province (No.05JJ30122),the Education Department Foundation of Hunan Prov-ince (No.05C519).
文摘In order to fully realize semantic interoperability among distributed and heterogeneous applications on the web, a set of effective interoperability mechanisms is presented. This mechanism adopts service interactive interfaces （SII） and service aggregative interfaces （SAI） modeled with abstract state machine （ASM） to abstractly describe the behavior of the invoked web service instances, which makes business processing accurately specify tasks and effectively solves the problems of communication and collaboration between service providers and service requesters. The mechanism also uses appropriate mediators to solve the problems of information and coinmunication incompatibility during the course of service interaction, which is convenient for service interoperability, sharing and integration. The mechanism＇ s working principle and interoperability implementation are illustrated by a use case in detail.
文摘Research on blockchains addresses multiple issues,with one being the automated creation of smart contracts.Developing smart contract methods is more difficult than mainstream software development as the underlying blockchain infrastructure poses additional complexity.We report on a new approach to developing smart contracts with the objective of automating the process to increase developer efficiency and reduce the risk of errors introduced by software developers.To support industry adoption,we use Business Process Model and Notation(BPMN)modeling to describe an application while targeting applications in the trade vertical.We describe a system that transforms a BPMN model into a multi-modal model that combines Discrete Event(DE)modeling for concurrency with Hierarchical State Machines(HSMs)to represent application functionality.Then,further transformations are used to transform the DE-HSM model into methods in smart contracts.The system lets the modeler decide which of the independent patterns should be transformed into methods of a separate smart contract that is deployed on a sidechain for the purpose of(i)reducing processing costs and/or(ii)providing privacy so that other participants in the smart contract do not have visibility into the processing of the pattern.We also briefly describe a proof-of-concept tool we built to demonstrate the feasibility of our approach.
