专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

2. 发明申请

US20100162213A1 SYSTEM AND METHOD FOR MESSAGE CHOREOGRAPHIES OF SERVICES 有权
标题翻译：消息信息服务的系统和方法
公开(公告)号：US20100162213A1
公开(公告)日：2010-06-24
申请号：US12338183
申请日：2008-12-18
申请人： Sebastian Wieczorek , Andreas Roth , Alin Stefanescu , Anis Charfi , Frank Michael Kraft
发明人： Sebastian Wieczorek , Andreas Roth , Alin Stefanescu , Anis Charfi , Frank Michael Kraft
IPC分类号： G06F9/44
CPC分类号： G06F9/5038 , G06F2209/506
摘要： In one embodiment the present invention includes a computer-implemented method of evaluating interactions between processes. The method includes storing a message choreography meta-model that includes an interaction meta class and a constraint meta-class. The interaction meta-class relates to an exchange of a message between a sender and a receiver, and the constraint meta-class relates to an input to the interaction meta-class. The method further includes executing a user interface computer program with which a user creates a message choreography model between a first process and a second process. The message choreography model is based on the message choreography meta-model. The message choreography model includes interactions that conform to the interaction meta class, and includes constraints that conform to the constraint meta class. The method further includes executing a verification computer program that performs a verification of the message choreography model. The verification includes verifying absence of an inconsumable message. The method further includes executing a testing computer program that performs a testing based on the message choreography model. The testing validates on an existing implementation the message exchange execution described by the choreography.
摘要翻译：在一个实施例中，本发明包括评估过程之间的相互作用的计算机实现的方法。该方法包括存储包括交互元类和约束元类的消息编排元模型。交互元类与发送方和接收方之间的消息交换有关，约束元类与交互元类的输入有关。该方法还包括执行用户界面计算机程序，用户在其中创建第一进程和第二进程之间的消息编排模型。消息编排模型基于消息编排元模型。消息编排模型包括符合交互元类的交互，并且包括符合约束元类的约束。该方法还包括执行执行消息编排模型验证的验证计算机程序。验证包括验证不存在不可消息的消息。该方法还包括执行基于消息编排模型执行测试的测试计算机程序。测试对现有实现验证了由编排描述的消息交换执行。

IPRDB

热门服务

关于我们

友情链接

联系方式