DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages

Qinyi Wu; Calton Pu; Akhil Sahai; Roger Barga

首页> 外文期刊>International journal of web services research >DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages

【24h】

DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages

机译：DSCWeaver：到过程过程规范语言的同步约束方面扩展

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Correct synchronization among activities is critical in a business process. Current process languages such as BPEL specify the control flow of processes procedurally, which can lead to inflexible and tangled code for managing a crosscutting aspect- synchronization constraints that define permissible sequences of execution for activities. In this article, we present DSCWeaver, a tool that enables a synchronization-aspect extension to procedural languages. It uses DSCL (directed-acyclic-graph synchronization constraint language) to achieve three desirable properties for synchronization modeling: fine granularity, declarative syntax, and validation support. DSCWeaver then automatically generates executable code for synchronization. We demonstrate the advantages of our approach in a service deployment process written in BPEL and evaluate its performance using two metrics: lines of code (LoC) and places to visit (PtV). Evaluation results show that our approach can effectively reduce the development effort of process programmers while providing performance competitive to unwoven BPEL code.

机译：活动之间正确的同步对于业务流程至关重要。当前的流程语言（例如BPEL）在过程上指定流程的控制流，这可能导致用于管理横切面同步约束的僵化和纠结的代码，这些约束定义了活动的允许执行顺序。在本文中，我们介绍了DSCWeaver，这是一种允许对过程语言进行同步方面扩展的工具。它使用DSCL（有向无环图同步约束语言）来实现同步建模的三个理想属性：精细粒度，声明性语法和验证支持。然后，DSCWeaver自动生成用于同步的可执行代码。我们在用BPEL编写的服务部署流程中展示了我们的方法的优势，并使用两个指标来评估其性能：代码行（LoC）和访问位置（PtV）。评估结果表明，我们的方法可以有效减少流程程序员的开发工作，同时提供与非织造BPEL代码竞争的性能。

著录项

来源
《International journal of web services research》 |2008年第3期|p.96-117|共22页
作者
Qinyi Wu; Calton Pu; Akhil Sahai; Roger Barga;
展开▼
作者单位

Georgia Institute of Technology, USA;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
modeling languages; petri nets; procedural languages; process model;

机译：建模语言;Petri网;过程语言;过程模型;

相似文献

外文文献
中文文献
专利

1. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability [J] . Czepa Christoph, Amiri Amirali, Ntentos Evangelos, Software and systems modeling . 2019,第6期

机译：在线性时间逻辑，事件处理语言和属性规范模式中对合规性规范进行建模：关于可理解性的受控实验
2. FLOWSPEC: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis [J] . Smits Jeff, Wachsmuth Guido, Visser Eelco Journal of Visual Languages & Computing . 2020,第Apra期

机译：Flowspec：用于程序内流动敏感数据流分析的声明性规范语言
3. Structure specification with a procedural hardware description language [J] . Hill F. J., Swanson R. E., Masud M., Computers, IEEE Transactions on . 1981,第2期

机译：具有过程硬件描述语言的结构规范
4. DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages [C] . Qinyi Wu, Calton Pu, Akhil Sahai, . 2006

机译：DSCWeaver：对过程过程规范语言的同步约束方面扩展
5. An SQL extension for specification of multimedia displays: Its syntax, architecture, and semantics based on a non -Markovian action language [D] . Gonzalez Hernandez, Graciela 2000

机译：用于多媒体显示规范的SQL扩展：其语法，体系结构和语义基于非马尔可夫行为语言
6. An Extension of the Procedural Deficit Hypothesis from Developmental Language Disorders to Mathematical Disability [O] . Tanya M. Evans, Michael T. Ullman -1

机译：程序性赤字假设从发展性语言障碍到数学障碍的延伸
7. nyk of the Lviv University. Series Law KEYWORDS abuse of authority, abuse of power, abuse of official status, abuse of office acts of the European Union, international legal regulation, employment, right to free movement advocacy, advocate activity, advocacy science, advocatologie, theory of advocacy appeal proceeding, grounds to judgement revision, inconsistency of the court’s findings at first instance with the actual circumstances of the criminal proceedings, cancellation or alteration of the judgment charity organization, founder, assets of charity organization, constituent documents criminal proceedings, subjects of criminal proceedings, the suspect, the suspect law, criminal procedure, international standards employer’s duty, right to the moral injury compensation, social insurance from an industrial accident, social need, labour dispute forms of the legal actions of the collective of employees historical and legal science department, scientific activity law enforcement equipment, individual legal act, the means of forming the content of the enforcement act, requirements for registration of individual legal act attributes (properties) of acts of law legal formula (construction), qualified corpus delicti of a crime, degree of social danger, crime-forming feature legal social community legal technique, technology, legal act, legal system, lawmaking legitimacy, investigation of crime, concept of criminalistics, criminalistics recommendations, tactical methods measures aimed at providing criminal proceedings, procedural sanction, monetary penalty, pre-trial investigation national implementation, forms of implementation, implementation practice, European states, international treaties participant, shareholder, partnership, acquisition, changing, suspension proof, probability, likelihood, credibility in evidence, reliability scientific school, research, development land, agricultural and environmental law, Lviv Scientific School land, agricultural and environmental law the High Council of Justice of Ukraine, the National Council of Justice of the Republic of Poland, judges’ independence, international standards of the judiciary the presumption of the labor legal personality OPEN JOURNAL SYSTEMS Journal Help USER Username Password Remember me Login NOTIFICATIONS View Subscribe LANGUAGE Select LanguageSubmit JOURNAL CONTENT Search Search Scope Search Browse By Issue By Author By Title Other Journals FONT SIZE Make font size smallerMake font size defaultMake font size larger INFORMATION For Readers For Authors For Librarians HOME ABOUT LOGIN REGISTER SEARCH CURRENT ARCHIVES ANNOUNCEMENTS Home > No 67 (2018) > Марін ONCE AGAIN ON THE RETROACTIVE EFFECT OF THE CRIMINAL LAW IN TIME IN THE ASPECT OF INDIRECT CRIMINALIZATION [O] . Oleksandr Marin 2018

机译：LVIV大学的尼克。系列律师关键词滥用权威，滥用权力，滥用官方地位，滥用欧盟办公室行为，国际法律监管，就业，自由运动倡导，倡导活动，倡导科学，倡导性宣传理论，倡导呼吁的理论，理由修改，法院调查结果的不一致事实，判决慈善组织的实际情况，取消或改变判决慈善机构，慈善组织的创始人，慈善机构资产，组成文件刑事诉讼，刑事诉讼主题，嫌疑人，嫌疑法，刑事诉讼，国际标准雇主的责任，道德伤害赔偿权，社会保险从工业事故，社会需求，劳动争端形式的员工历史和法律科学部的法律行为，科学活动执法设备，个人法律法案，制定执法法案的内容，法律法律公式（建设）行为的个人法律法案（属性），犯罪的合格犯罪，社会危险程度，犯罪形成特征法律社会社会法律技术，技术，法律法，法律制度，立法合法性，犯罪调查，犯罪概念，犯罪建议，战术方法旨在提供刑事诉讼，程序制裁，货币罚款，预审调查预审国家实施，执行形式，实施实践，欧洲国家，国际条约参与者，股东，伙伴关系，收购，不断变化，暂停证明，概率，可能性，可信度在证据，可靠性科学学校，研究，开发土地，农业和环境法，利沃科学校园，农业和环境法律议理乌克兰的冰，波兰共和国国家司法委员会，法官的独立，国际标准的司法部门劳动法人的推定开放期刊系统期刊帮助用户用户名密码记住我登录通知查看订阅语言选择lobsumberubmit期刊内容搜索搜索范围搜索按问题浏览作者标题在间接刑事定罪方面，再次对刑法的追溯效应及时
8. A Comparative Study of Flowcharts and Program Design Languages for the Detailed Procedural Specification of Computer Programs. [R] . Ramsey, H. R., Atwood, M. E., Van Doren, J. R. 1978

机译：计算机程序详细程序规范流程图与程序设计语言的比较研究。

DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages

摘要

著录项

相似文献

相关主题

期刊订阅