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.展开更多
One of the most intellectually challenging and perhaps rewarding engagements in any creative endeavour, be it written literature or performance, is decrypting the metaphorical construct imbued in such a work, within t...One of the most intellectually challenging and perhaps rewarding engagements in any creative endeavour, be it written literature or performance, is decrypting the metaphorical construct imbued in such a work, within the confines of the intentions of the writer or performer. Beyond coded speech, dance and choreography are works of art which make use of symbols to communicate man＇s thought, experience, and emotions. These symbols are conveyed basically through movement and they are forms of artistic expression to which all men, across climes, can respond, be it in a live performance or recorded video film. More than ever before, the music video film has taken a great place of prominence in the entertainment circles the world over, and musical choreography has become a major tool, used by singers, musicians, and music producers in these video films to enhance their creative output and make their productions more appealing both for economic and aesthetic purposes. This paper examines the motifs of dance and choreography in two Nigerian music videos, namely, Olori Oko （2006） by a Gospel group called Infinity and Roll It （2007） by a hip-hop group named P. Sqanre. The paper investigates the themes of the music, the concepts of the dances, and the styles of choreography in both works. The paper concludes that though both works belong to different genres, they are each successful in their own rights and have both contributed in elevating the standards in the practice of dance and choreography in Nigerian music video film.展开更多
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.展开更多
基金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.
文摘One of the most intellectually challenging and perhaps rewarding engagements in any creative endeavour, be it written literature or performance, is decrypting the metaphorical construct imbued in such a work, within the confines of the intentions of the writer or performer. Beyond coded speech, dance and choreography are works of art which make use of symbols to communicate man＇s thought, experience, and emotions. These symbols are conveyed basically through movement and they are forms of artistic expression to which all men, across climes, can respond, be it in a live performance or recorded video film. More than ever before, the music video film has taken a great place of prominence in the entertainment circles the world over, and musical choreography has become a major tool, used by singers, musicians, and music producers in these video films to enhance their creative output and make their productions more appealing both for economic and aesthetic purposes. This paper examines the motifs of dance and choreography in two Nigerian music videos, namely, Olori Oko （2006） by a Gospel group called Infinity and Roll It （2007） by a hip-hop group named P. Sqanre. The paper investigates the themes of the music, the concepts of the dances, and the styles of choreography in both works. The paper concludes that though both works belong to different genres, they are each successful in their own rights and have both contributed in elevating the standards in the practice of dance and choreography in Nigerian music video film.
文摘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.
