Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.最新文献

Notations for the specification and verification of composite Web services 用于组合Web服务的规范和验证的符号

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10017

S. Woodman, D. Palmer, S. Shrivastava, S. Wheater

{"title":"Notations for the specification and verification of composite Web services","authors":"S. Woodman, D. Palmer, S. Shrivastava, S. Wheater","doi":"10.1109/EDOC.2004.10017","DOIUrl":"https://doi.org/10.1109/EDOC.2004.10017","url":null,"abstract":"Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service composition poses a number of challenges. A composite service can be very complex in structure, containing many temporal and data-flow dependencies between their constituent services. Furthermore, each individual service is likely to have its own sequencing constraints over its operations. It is highly desirable therefore to be able to validate that a given composite service is well formed: proving that it will not deadlock or livelock and that it respects the sequencing constraints of the constituent services. With this aim in mind, the paper proposes simple extensions to Web service definition language (WSDL) enabling the order in which the exposed operations should be invoked to be specified. In addition, the paper proposes a composition language for defining the structure of a composite service. Both languages have an XML notation and a formal basis in the /spl pi/-calculus (a calculus for concurrent systems). The paper presents the main features of these languages, and shows how it is possible to validate a composite service by applying the /spl pi/-calculus reaction rules.","PeriodicalId":391732,"journal":{"name":"Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126045987","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 39

Supporting viewpoint-oriented enterprise architecture 支持面向视图的企业架构

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10008

M. Steen, D. Akehurst, H. T. Doest, M. Lankhorst

{"title":"Supporting viewpoint-oriented enterprise architecture","authors":"M. Steen, D. Akehurst, H. T. Doest, M. Lankhorst","doi":"10.1109/EDOC.2004.10008","DOIUrl":"https://doi.org/10.1109/EDOC.2004.10008","url":null,"abstract":"Increasingly, organisations establish what is called an enterprise architecture. The enterprise architecture combines and relates all architectures describing some aspect of the organization, such as the business process architecture, the information architecture, and the application architecture. It is a blueprint of the organisation, which serves as a starting point for analysis, design and decision making. Viewpoints define abstractions on the set of models representing the enterprise architecture, each aimed at a particular type of stakeholder and addressing a particular set of concerns. The use of viewpoints is widely advocated for managing the inherent complexity in enterprise architecture. Viewpoints can both be used to view certain aspects in isolation, and for relating two or more aspects. However, in order to make such a viewpoint-oriented approach practically feasible, architects require a tool environment, which supports the definition, generation, editing and management of architectural views. Moreover, such an environment should work in concert with existing domain-specific modelling tools. We present the design of such a tool environment for viewpoint-oriented enterprise architecture.","PeriodicalId":391732,"journal":{"name":"Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115190311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 76

Elemental and Pegamento: the final cut applying the MDA pattern 元素和片段:应用MDA模式的最终切割

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10014

K. Duddy, Michael Lawley, Z. Milosevic

{"title":"Elemental and Pegamento: the final cut applying the MDA pattern","authors":"K. Duddy, Michael Lawley, Z. Milosevic","doi":"10.1109/EDOC.2004.10014","DOIUrl":"https://doi.org/10.1109/EDOC.2004.10014","url":null,"abstract":"We provide an investigation of the applicability of the model driven architecture /spl trade/ to the development of a technical architecture in a specific domain, viz: contract monitoring. We define MDA in terms of a single basic pattern, which is then composed in several ways to represent the behaviour of a large range of MDA tools. The paper introduces both the work of the Elemental project to provide the domain example, and the Pegamento project to explain the metamodels and tools in the MDA framework which might be applied to the domain. Elemental has developed an architecture and a language for supporting enterprise contract management (ECM) as part of an extended enterprise model. Pegamento has specified and built MDA prototype tools using several modelling languages, meta-languages and platforms. As the work of both these projects reaches maturity, \"the Final Cut\" is our proposed application of this toolset to facilitate building a model-based implementation of the relevant parts of Elemental's ECM system. We discover several generic MDA pattern matches in this case study, and several specific to the ECM. We also identify and discuss pattern mismatches.","PeriodicalId":391732,"journal":{"name":"Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114475015","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

On the notion of abstract platform in MDA development 论MDA开发中的抽象平台概念

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10010

J. P. Almeida, R. Dijkman, M. V. Sinderen, L. F. Pires

{"title":"On the notion of abstract platform in MDA development","authors":"J. P. Almeida, R. Dijkman, M. V. Sinderen, L. F. Pires","doi":"10.1109/EDOC.2004.10010","DOIUrl":"https://doi.org/10.1109/EDOC.2004.10010","url":null,"abstract":"Although platform-independence is a central property in MDA models, the study of platform-independence has been largely overlooked in MDA. As a consequence, there is a lack of guidelines to select abstraction criteria and modelling concepts for platform-independent design. In addition, there is little methodological support to distinguish between platform-independent and platform-specific concerns, which could be detrimental to the beneficial exploitation of the PIM-PSM separation-of-concerns adopted by MDA. This work is an attempt towards clarifying the notion of platform-independent modelling in MDA development. We argue that each level of platform-independence must be accompanied by the identification of an abstract platform. An abstract platform is determined by the platform characteristics that are relevant for applications at a certain level of platform-independence, and must be established by balancing various design goals. We present some methodological principles for abstract platform design, which forms a basis for defining requirements for design languages intended to support platform-independent design. Since our methodological framework is based on the notion of abstract platform, we pay particular attention to the definition of abstract platforms and the language requirements to specify abstract platforms. We discuss how the concept of abstract platform relates to UML.","PeriodicalId":391732,"journal":{"name":"Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128155736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 63

A logical viewpoint on architectures 对体系结构的逻辑观点

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10026

F. S. Boer, M. Bonsangue, J. Jacob, A. Stam, Leendert van der Torre

引用次数: 14

QoS aggregation for Web service composition using workflow patterns 使用工作流模式进行Web服务组合的QoS聚合

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10027

M. Jäger, Gregor Rojec-Goldmann, Gero Mühl

引用次数: 451

Formalizing ODP computational viewpoint specifications in Maude 在Maude中形式化ODP计算视点规范

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10003

J. Romero, Antonio Vallecillo

引用次数: 12

Web service composition in UML UML中的Web服务组合

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10018

D. Skogan, Roy Grønmo, I. Solheim

{"title":"Web service composition in UML","authors":"D. Skogan, Roy Grønmo, I. Solheim","doi":"10.1109/EDOC.2004.10018","DOIUrl":"https://doi.org/10.1109/EDOC.2004.10018","url":null,"abstract":"As the number of available Web services is steadily increasing, there is a growing interest for reusing basic Web services in new, composite Web services. Several organizations have proposed composition languages (BPML, BPMN, BPEL4WS, BPSS, WSCI), but no winner has been declared so far. This work proposes a method that uses UML Activity models to design Web service compositions, and OMG's Model Driven Architecture (MDA) to generate executable specifications in different composition languages. The method utilizes standard UML constructs with a minimal set of extensions for Web services. An important step in the method is the transformation of WSDL descriptions into UML This information is used to complete the composition models. Another key aspect of the method is its independence of the Web service composition language. The user can thus select his preferred composition language - and execution engine - for realizing the composite Web service. Currently, the method has been implemented to support two executable composition languages BPEL4WS and WorkSCo, with corresponding execution engines. WorkSco is a Web service enabled workflow composition language. The method is illustrated with an example from a crisis management scenario.","PeriodicalId":391732,"journal":{"name":"Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125717969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 241

Applying MDA approach for Web service platform 在Web服务平台上应用MDA方法

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10019

J. Bézivin, S. Hammoudi, D. Lopes, F. Jouault

引用次数: 130

Security patterns: a method for constructing secure and efficient inter-company coordination systems 安全模式:一种构建安全高效的公司间协调系统的方法

Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. Pub Date : 2004-09-20 DOI: 10.1109/EDOC.2004.10024

Nobukazu Yoshioka, S. Honiden, A. Finkelstein

{"title":"Security patterns: a method for constructing secure and efficient inter-company coordination systems","authors":"Nobukazu Yoshioka, S. Honiden, A. Finkelstein","doi":"10.1109/EDOC.2004.10024","DOIUrl":"https://doi.org/10.1109/EDOC.2004.10024","url":null,"abstract":"As the Internet, intranets and other wide-area open networks grow, novel techniques for building distributed systems, notably mobile agents, are attracting increasing attention. This is particularly the case for inter-company system coordination applications. A key difficulty in constructing such systems is to meet the security requirements while at the same time respecting the requirements for efficient implementation. We propose a method that addresses this problem and show an application of the method to a real implemented system, the environmentally conscious product (ECP) design support system. Our approach enables developers to specify several candidate system behaviors that satisfy the security requirements. We use patterns for this purpose. Patterns are abstract templates of system behavior fragments. The patterns include agent migrations, communications between applications and security procedures. We model the performance data associated with each pattern. Developers can then select an efficient implementation using this model to compare the performance data of the candidates. We evaluate our approach with a significant real-world example, the ECP design support system that essentially requires inter-company system coordination.","PeriodicalId":391732,"journal":{"name":"Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117204609","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 21