Ziyang Duan

Gracie Square Hospital, New York, NY, New York City, New York, United States

Are you Ziyang Duan?

Claim your profile

Publications (11)0 Total impact

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The service oriented architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-oriented architectures, SOA is more suitable to integrate heterogeneous systems, and more adaptable in a changing environment. This paper presents the design and implementation of a SOA framework for financial transaction applications. The framework provides an easy and uniform way for service composition in a controlled environment, and leverages Web service standards with efficient communication mechanisms and durable and/or transactional message queues. Specifically, the work addresses the following issues: 1) the incorporation of existing systems and protocols that are not Web-service compatible. This paper focuses on business processes of equities transactions using the FIX protocol; 2) the configuration and deployment of services and service endpoints in a flexible and dynamic manner; 3) the capability of specifying business processes as Web service compositions and a distributed runtime environment that supports it; 4) the scalability, resiliency and transactional aspects as required in critical business applications. The experience of applying the framework in building a high performance equities transaction system is presented.
    Services Computing, 2005 IEEE International Conference on; 08/2005
  • [Show abstract] [Hide abstract]
    ABSTRACT: The inherent characteristics of Web-based communication could be used to extend the "gallery metaphor", of lack of discrete boundaries, idiosyncrasies of transmission of information and an interface-driven environment. Part of the attraction for placing art on the Web related to the scope for interaction and feedback from a viewer base that would not otherwise be feasible, given the "narrowcast" nature of much of the contemporary art circles. The evolving environment of the Web provided a unique challenge for artists to explore these conjunctions of cyberspace, media and audience feedback. The original art works available on the Web provides some form of interactivity, sometimes including video and sound, as opposed to merely digitised work. The multimedia potential of the Internet had provided major appeal for artists wanting to present video or sound clips of their material, and that readily available software permitted compressed video and audio to be streamed on most machines without download delay. This paper focuses on the streaming of art works and advocate combination of technological approaches surrounding the addition of multimedia to Web-based artworks. Furthermore, we present our 'smaller granularity technique' (SGT) that supports security of art works streaming with high degree of flexibility and reliability.
    Multimedia Software Engineering, 2004. Proceedings. IEEE Sixth International Symposium on; 01/2005
  • ICETE 2005 - Proceedings of the Second International Conference on e-Business and Telecommunication Networks, Reading, UK, October 3-7, 2005; 01/2005
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We introduce a logic model to formally specify the semantics of workflows and their composite tasks described as BPEL4WS abstract processes. Based on the model, we present a set of inference rules to deduce the strongest postcondition and weakest precondition of a workflow and demonstrate that automatic workflow verification is possible due to the restrictions on data manipulation in an abstract process. We then sketch an algorithm that automatically synthesizes a workflow given its specification and a task library.
    Web Services, 2004. Proceedings. IEEE International Conference on; 08/2004
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper presents a simple dictionary structure designed for a hierarchical memory. The proposed data structure is cache oblivious and locality preserving. A cache-oblivious data structure has memory performance optimized for all levels of the memory hierarchy even though it has no memory-hierarchy-specific parameterization. A locality-preserving dictionary maintains elements of similar key values stored close together for fast access to ranges of data with consecutive keys. The data structure presented here...
    07/2004;
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: An abstract business process contains a description the protocol that a business process engages in without revealing the internal computation of the process. This description provides the information necessary to compose the process with other Web services. BPEL supports this by providing distinct dialects for specifying abstract and executable processes. Unfortunately, BPEL does not prevent complex computations from being included in an abstract process. This complicates the protocol description, unnecessarily reveals implementation details, and makes it difficult to analyze correctness. We propose some restrictions on the data manipulation constructs that can be used in an abstract BPEL process. The restrictions permit a full description of a protocol while hiding computation. A restricted abstract process can easily be converted into an abstract BPEL process or expanded into an executable BPEL process. Based on these restrictions we propose a formal model for a business process and use it as the basis of an algorithm for demonstrating the correctness of a protocol described by a restricted abstract process. We then sketch an algorithm for synthesizing a protocol based on a formal specification of its outcome and the tasks available for its construction.
    Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings; 01/2004
  • Source
    Subhra Bose, Ziyang Duan, Shiyong Lu
    [Show abstract] [Hide abstract]
    ABSTRACT: Trading systems are used widely in the financial industry. A trading system must implement the complex business process correctly, and provide good interoperability with clients and legacy systems in different organizations. In addition, it has to be highly scalable and reliable. How to develop a trading system that meets all these requirements with low cost is a challenging problem. In this paper we present our experience on building an XML-based framework for rapid development of such systems with guaranteed correctness, reliability, scalability, and good interoperability. We focus our discussion on the following aspects: (1) Business process modeling. (2) Data modeling. (3) Performance and interoperability.
    10/2003;
  • [Show abstract] [Hide abstract]
    ABSTRACT: Trading systems are used widely in the financial industry. A trading system must implement the complex business process correctly, and provide good interoperability with clients and legacy systems in different organizations. In addition, it has to be highly scalable and reliable. How to develop a trading system that meets these requirements with low cost in a timely fashion is a challanging problem. In this paper we present an XML-based framework for rapid development of such systems with guaranteed correctness and good interoperability, without compromising the required reliability and scalability. We focus our discussion on the following aspects: (1) Business process modeling. (2) Data modeling. (3) Performance and interoperability.
    10/2002;
  • Source
    Shiyong Lu, Ziyang Duan
    [Show abstract] [Hide abstract]
    ABSTRACT: We have built a database-driven e-service management system prototype called EsMS. The key idea is separating the management of e-service data from their visual representation. EsMS provides a template language EsHTML for specifying a web page's representation. This language also serves as the language to compose and incorporate e-services from existing e-services, which might be provided by other companies. E-service data are stored in the database, and the schema management provides the flexibility of delivering different e-services within the same framework. Roles are defined to facilitate the close cooperation of template designers, content editors, and e-service programmers. In this paper, we describe the architecture of the system and how our declarative template language EsHTML can be used to achieve these ideas.
    05/2002;
  • Source
    Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, November 7-9, 2002, Clarion Hotel Bay View, San Diego, California, USA; 01/2002
  • [Show abstract] [Hide abstract]
    ABSTRACT: The inherent characteristics of Web-based communication could be used to extend the "gallery metaphor", of lack of discrete boundaries, idiosyncrasies of transmission of information and an interface-driven environment. Part of the attraction for placing art on the Web related to the scope for interaction and feedback from a viewer base that would not otherwise be feasible, given the "narrowcast" nature of much of the contemporary art circles. The evolving environment of the Web provided a unique challenge for artists to explore these conjunctions of cyberspace, media and audience feedback. The original art works available on the Web provides some form of interactivity, sometimes including video and sound, as opposed to merely digitised work. The multimedia potential of the internet had provided major appeal for artists wanting to present video or sound clips of their material, and that readily available software permitted compressed video and audio to be streamed on most machines without download delay. This paper focuses on the streaming of art works and advocate combination of technological approaches surrounding the addition of multimedia to Web-based artworks. Furthermore, we present our ?Smaller Granularity Technique? (SGT) that supports security of art works streaming with high degree of flexibility and reliability.
    Multimedia Software Engineering, International Symposium on.

Publication Stats

106 Citations

Top Journals

Institutions

  • 2005
    • Gracie Square Hospital, New York, NY
      New York City, New York, United States
  • 2004
    • Stony Brook University
      • Department of Computer Science
      Stony Brook, NY, United States