Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approa...Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approach of choreography model verification based on Description Logic.A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography.Based on the framework,a set of rules and constraints are defined in Description Logic for choreography model verification.To automate model verification,the UML-based service choreography model will be transformed,by the given algorithms,into the DL-based ontology,and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned.A case study is given to demonstrate applicability of the method.Furthermore,the work will be compared with other related research.展开更多
This paper introduces the process of producing movement database on a virtual model for the Bianzhong choreography.It focus-es on analyzing the movement taxonomy and corresponding relationship under the dancing syntax...This paper introduces the process of producing movement database on a virtual model for the Bianzhong choreography.It focus-es on analyzing the movement taxonomy and corresponding relationship under the dancing syntax.We study the movement style identifica-tion theory based on the emotion model,present a movement connection method by defining the attributes of characteristically movement units and their related restriction,and give the application framework of the method in Movement Compilation System.展开更多
In contemporary times,with the development of multimedia technology,especially in consideration of the advantages of multimedia technology in performance,dance,as an expressive art,is bound to be concatenated with mul...In contemporary times,with the development of multimedia technology,especially in consideration of the advantages of multimedia technology in performance,dance,as an expressive art,is bound to be concatenated with multimedia technology to enrich its form of display.The influence of multimedia technology in dance choreography on dance works and the effect of multimedia technology itself on dance choreography are worth further discussion.There is no doubt that with the application of multimedia technology in the dance field,choreographers have more open and creative ideas.Perhaps,in view of the role of multimedia technology in dance creation,the involvement of various disciplines and different technologies in dance choreography would expand in the future.However,it is necessary to consider the integration of new technologies,especially the negative impact of their improper use on the expression of dance works.Therefore,this study aims to explore the elements and relations between multimedia technology and dance choreography in the new era,seek for methods and rules of multimedia technology in dance creation,pursue its positive significance,and provide certain theoretical reference for the creation of dance works through multimedia technology.展开更多
基金This work is supported by the National Natural Science Fund number 61802428.
文摘Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model.This paper presents a new approach of choreography model verification based on Description Logic.A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography.Based on the framework,a set of rules and constraints are defined in Description Logic for choreography model verification.To automate model verification,the UML-based service choreography model will be transformed,by the given algorithms,into the DL-based ontology,and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned.A case study is given to demonstrate applicability of the method.Furthermore,the work will be compared with other related research.
文摘This paper introduces the process of producing movement database on a virtual model for the Bianzhong choreography.It focus-es on analyzing the movement taxonomy and corresponding relationship under the dancing syntax.We study the movement style identifica-tion theory based on the emotion model,present a movement connection method by defining the attributes of characteristically movement units and their related restriction,and give the application framework of the method in Movement Compilation System.
文摘In contemporary times,with the development of multimedia technology,especially in consideration of the advantages of multimedia technology in performance,dance,as an expressive art,is bound to be concatenated with multimedia technology to enrich its form of display.The influence of multimedia technology in dance choreography on dance works and the effect of multimedia technology itself on dance choreography are worth further discussion.There is no doubt that with the application of multimedia technology in the dance field,choreographers have more open and creative ideas.Perhaps,in view of the role of multimedia technology in dance creation,the involvement of various disciplines and different technologies in dance choreography would expand in the future.However,it is necessary to consider the integration of new technologies,especially the negative impact of their improper use on the expression of dance works.Therefore,this study aims to explore the elements and relations between multimedia technology and dance choreography in the new era,seek for methods and rules of multimedia technology in dance creation,pursue its positive significance,and provide certain theoretical reference for the creation of dance works through multimedia technology.