Search For:

Displaying 1-43 out of 43 total
CoServices: A Service-based Collaboration Platform for Distributed Cooperative Applications
Found in: 2013 Third International Conference on Intelligent System Design and Engineering Applications (ISDEA)
By Wangyi Xie,Dianfu Ma,Zhuqing Li,Yongwang Zhao
Issue Date:January 2013
pp. 500-506
The availability of high performance network brings up a number of distributed cooperative applications. However, most of the current cooperative applications are developed in a certain domain, and the system design or the functional modules cannot be reus...
 
Strategy-based Fault Handling Mechanism for Composite Service
Found in: 2013 Third International Conference on Intelligent System Design and Engineering Applications (ISDEA)
By Weihao Jiang,Dianfu Ma,Yongwang Zhao
Issue Date:January 2013
pp. 1297-1301
Service composition becomes more and more popular in enterprise application, and the Business Process Execution Language (BPEL) has become the de facto standard for Web service composition. However, web services usually communicate over internet connection...
 
A Policy-Based Architecture for Web Services Security Processing
Found in: 2012 IEEE 9th International Conference on e-Business Engineering (ICEBE)
By Hao Zeng,Dianfu Ma,Zhuqing Li,Yongwang Zhao
Issue Date:September 2012
pp. 163-169
With the development of the Internet, Web Services technology has gradually become the development direction of the e-business, e-government and other fields, and the corresponding security mechanism has received unprecedented attention, while how to desig...
 
Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software
Found in: 2012 IEEE 36th Annual Computer Software and Applications Conference - COMPSAC 2012
By Ying Wang,Dianfu Ma,Yongwang Zhao,Lu Zou,Xianqi Zhao
Issue Date:July 2012
pp. 670-679
Modern avionics architecture is evolving from traditional federated architecture to Integrated Modular Avionics (IMA) architecture. ARINC653 standard, which is employed in the avionics industry, supports partitioning core concept in IMA. Furthermore, avion...
 
A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Bingyang Zhao,Yongwang Zhao,Dianfu Ma
Issue Date:April 2012
pp. 103-110
Service Oriented Architecture (SOA) is a new form of distributed software architecture, which promotes loose-coupling and coarse-granularity. It deploys, composes and calls application components in a distributed way on Internet. The dynamics of Internet e...
 
Integrating Business Processes and Business Rules
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Yujing Zhao,Dianfu Ma,Yongwang Zhao,Zhuqing Li
Issue Date:December 2011
pp. 493-497
Integration between business processes and business rules is necessary for some applications which not only hold numerous business knowledge or policies but also need the intercommunication among some distributed and heterogeneous components. This paper pr...
 
FSM4WSR: A Formal Model for Verifiable Web Service Runtime
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Zhuqing Li,Dianfu Ma,Yongwang Zhao,Jing Li,Qing Yang
Issue Date:December 2011
pp. 86-93
Web service runtime is an important infrastructure middleware for service-based applications. It processes exchanged messages according to web service protocols. Correct implementation of web service protocols is critical for ensuring the reliability of we...
 
An AADL-Based Modeling Method for ARINC653-Based Avionics Software
Found in: Computer Software and Applications Conference, Annual International
By Ying Wang,Dianfu Ma,Yongwang Zhao,Lu Zou,Xianqi Zhao
Issue Date:July 2011
pp. 224-229
Avionics software is safe-critical embedded software and its architecture is evolving from traditional federated architectures to Integrated Modular Avionics (IMA) to improve resource usability. ARINC653, as a standard widely employed in the avionics indus...
 
Adaptive QoS-Aware Service Process Reconfiguration
Found in: Services Computing, IEEE International Conference on
By Jing Li,Dianfu Ma,Xiupei Mei,Hailong Sun,Zibin Zheng
Issue Date:July 2011
pp. 282-289
During the execution of a QoS-aware service process, Web Services (WSs) may become faulty and cause the whole process to violate the predefined QoS constraints. Service processes need to adapt to the runtime faults so as to support reliable service-based a...
 
SEDA4SC: A staged event-driven architecture for adaptive service computing runtime
Found in: Computers and Communications, IEEE Symposium on
By Zhuqing Li, Dianfu Ma, Dou Sun, Jian Liu
Issue Date:July 2011
pp. 994-1001
The rapid development of web service technology brings up a number of crucial requirements for designing service computing runtime, such as supporting multiple message exchange patterns, switching among different transports, integrating various extended we...
 
Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic
Found in: Engineering of Autonomic and Autonomous Systems, IEEE International Workshop on
By Yongwang Zhao, Dianfu Ma, Jing Li, Zhuqing Li
Issue Date:April 2011
pp. 40-48
Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, adaptive progr...
 
Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic
Found in: Advanced Information Networking and Applications, International Conference on
By Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma
Issue Date:March 2011
pp. 240-247
Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, assurance of h...
 
Geospatial Web Service for Remote Sensing Data Visualization
Found in: Advanced Information Networking and Applications, International Conference on
By Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li
Issue Date:March 2011
pp. 594-601
The widely used geospatial web services technology has provided a new means for geospatial data interoperability. Web Map Service (WMS) is a standardized geospatial web service from the Open Geospatial Consortium (OGC). WMSs can be used for requesting and ...
 
Towards a Formal Verification Approach for Implementation of Web Services Specifications
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Issue Date:December 2010
pp. 269-276
The implementation of Web services specifications is the key issue of Web services container which is the infrastructure of SOC. The specifications are always depicted in natural language, which may lead to misunderstanding or ambiguity. In this situation,...
 
Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services
Found in: Ubiquitous, Autonomic and Trusted Computing, Symposia and Workshops on
By Yongwang Zhao, Chunyang Hu, Min Liu, Dianfu Ma
Issue Date:October 2010
pp. 428-433
Trustworthy and composite web services play important roles in service-oriented systems. Web services choreography as one important approach of composing web services describes the global model of service interactions among a set of participants. Bisimilar...
 
An adaptive heuristic approach for distributed QoS-based service composition
Found in: Computers and Communications, IEEE Symposium on
By Jing Li, Yongwang Zhao, Min Liu, Hailong Sun, Dianfu Ma
Issue Date:June 2010
pp. 687-694
QoS-based service selection becomes a commonly accepted procedure to support rapid and dynamic web service composition. In this paper, we study the problem of QoS-based service selection in distributed QoS management environments where QoS values of altern...
 
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine
Found in: Computers and Communications, IEEE Symposium on
By Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma
Issue Date:June 2010
pp. 744-749
Current BPEL engine products are difficult to meet the highly concurrent demands of increasing mission-critical business processes application. We follow the ideas of SEDA and propose a new architecture for high-concurrency BPEL engine, which we call SEDA4...
 
ACTGIS: A Web-based collaborative tiled Geospatial image map system
Found in: Computers and Communications, IEEE Symposium on
By Chunyang Hu, Yongwang Zhao, Xin Wei, Bowen Du, Yonggang Huang, Dianfu Ma, Xuan Li
Issue Date:June 2010
pp. 521-528
In the past few years, the Web has become a de facto deployment environment for new application systems. Web-based Geospatial image map systems make satellite remote sensing data available to a wider range of public users than ever before. The storage and ...
 
Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures
Found in: Service-Oriented System Engineering, IEEE International Workshop on
By Yongwang Zhao, Bingyang Zhao, Min Liu, Chunyang Hu, Dianfu Ma
Issue Date:June 2010
pp. 159-164
Service Oriented Architecture(SOA) is a new form of distributed software architecture. It promotes loose coupling, services distribution, dynamicity and agility. Runtime architecture of new generation service based system should be evolutional for flexible...
 
Enhancing Reliability for Virtual Machines via Continual Migration
Found in: Parallel and Distributed Systems, International Conference on
By Wenchao Cui, Dianfu Ma, Tianyu Wo, Qin Li
Issue Date:December 2009
pp. 937-942
Our approach is to design and implement a continual migration strategy for virtual machines to achieve automatic failure recovery. By continually and transparently propagating virtual machine¡¯s state to a backup host via live migration techniques, trivial...
 
Research and Implementation of Code Generator for Information System Based on SOA
Found in: Scalable Computing and Communications; International Conference on Embedded Computing, International Conference on
By Jiru Shan, Dianfu Ma, Bin Zhang, Wanming Luo
Issue Date:September 2009
pp. 143-147
The agility of SOA (Service-Oriented Architecture) can response changes of business process effectively. To meet the requirements of rapid building business system for personality and high-speed changes based on business model, SOA was introduced. In this ...
 
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Lei Pi, Zhibin Yang, J-P Bodeveix, M. Filali, Kai Hu, Dianfu Ma
Issue Date:June 2009
pp. 347-352
This paper presents some real-time concepts as they arefound in the AADL language and proposes their expressionin two formalisms suitable for formal analysis: FIACREwhich is based on Timed Transition Systems and TASMwhich extends Abstract State Machines wi...
 
A Formal Description of Web Services Container Architecture
Found in: Internet and Web Applications and Services, International Conference on
By Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun
Issue Date:May 2009
pp. 30-36
In this paper, we present a formal description of web services container architecture based on Z notation. This description major focuses on internal behavior of a web services container on processing a web services request. First, we present a formal mode...
 
An Approach to Preserving Consistency of SOAs in Dynamic Evolution
Found in: Internet and Web Applications and Services, International Conference on
By Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun
Issue Date:May 2009
pp. 505-509
Service oriented system is very popular in both academic and industry. One reason is that a new complex application can be agilely implemented via the collaboration of the existent services. In the dynamic web service environment, the web service based app...
 
A Formal Model of Web Services Transport Layer
Found in: Networking and Services, International conference on
By Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun
Issue Date:April 2009
pp. 474-480
In this paper, we present a formal model of web services transport layer based on CSP which addresses multiple transport, multiple Message Exchange Patterns (MEPs) and dynamic switching among multiple transport protocols. This approach abstracts message tr...
 
A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures
Found in: Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
By Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu, Yongwang Huang
Issue Date:February 2009
pp. 203-209
Service Oriented Architecture(SOA) is a new form of distributed software architecture. SOA promotes loose coupling, services distribution, dynamicity and agility. Services involved in an SOAare remote and autonomous services, the SOA designer can not contr...
 
Reliability Quantification of the Tree Structure Based Distributed System
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun
Issue Date:December 2008
pp. 351-352
Due to unpredictable failures in the network or the components, tree-structure, one of the common structures of distributed system, is partial fault-tolerance. A simple but effective method to enhance the reliability of a tree is to maintain a neighbor set...
 
AADSS: Agent-Based Adaptive Dynamic Semantic Web Service Selection
Found in: Next Generation Web Services Practices, International Conference on
By Jing Li, Dianfu Ma, Lusong Li, Hong Zhu
Issue Date:October 2008
pp. 83-89
At present, Web Services invocation follows the “bind-once-invoke-many-times” pattern, while the Web Services run in a failure prone environment. Therefore, Web Services are not actually used on a large scale in real business world which calls for high rob...
 
Dependability of the System Based on Structured Service Collaboration Model
Found in: Next Generation Web Services Practices, International Conference on
By Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun
Issue Date:October 2008
pp. 28-32
The collaboration of web services is often required to realize larger and more complex distributed applications. One of the problems that should be dealt with in the service collaboration is unpredictable failures of individual service. We present in our p...
 
Missing Data Compensation Model in Real-Time Traffic Information Service System
Found in: Fuzzy Systems and Knowledge Discovery, Fourth International Conference on
By Bowen Du, Leishi Xu, Dianfu Ma, Weifeng Lv, Tongyu Zhu
Issue Date:October 2008
pp. 371-378
Nowadays the Floating Car Data (FCD) is playing a more and more important role in the route guidance, because it can collect more accurate travel time information in traffic service systems. But the problem is that the congested traffic performs to be dyna...
 
An Adaptive Transport Framework for Web Services
Found in: Computer Science and its Applications, International Symposium on
By Jian Liu, Zhuqing Li, Dianfu Ma
Issue Date:October 2008
pp. 32-37
In this paper, we present an adaptive transport framework which addresses multiple Message Exchange Patterns (MEPs) and transparent switching between multiple transports for web services. In the framework, we separate the transportation process into transp...
 
Coordination Behavioral Structure: A Web Services Coordination Model in Dynamic Environment
Found in: Computer and Information Science, ACIS International Conference on
By Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu
Issue Date:May 2008
pp. 611-617
The ability to describe the coordinative behavior of interacting web services is key aspect in the development of next generation internet software systems. In this paper, a layered architecture for coordination system is introduced. Based on coordination ...
 
SOCOM: A Service-Oriented Collaboration Middleware for Multi-User Interaction with Web Services based Scientific Resources
Found in: Parallel and Distributed Computing, International Symposium on
By Yongwang Zhao, Dianfu Ma, Chunyang Hu, Min Liu, Yonggang Huang
Issue Date:July 2007
pp. 28
Scientific collaboration has become more and more important in current scientific research. A collaboration environment which simplifies integration and collaboration of heterogeneous scientific resources, for instance scientific computing software and sci...
 
Collaborative Visualization of Large Scale Datasets Using Web Services
Found in: Internet and Web Applications and Services, International Conference on
By Yongwang Zhao, Chunyang Hu, Yonggang Huang, Dianfu Ma
Issue Date:May 2007
pp. 62
Visualization and collaboration of large scale data sets on Internet is still one of biggest challenges in scientific visualization. A distributed, real-time, collaborative system for large scale data like seismic model can be a valuable tool to support sc...
 
Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks
Found in: Parallel and Distributed Systems, International Conference on
By Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma
Issue Date:July 2005
pp. 32-36
<p>Localizing sensor nodes in a distributed system of wireless sensors is an essential process for self-organizing wireless sensor networks. Localization is a fundamental problem in wireless sensor networks, and the behavior of localization has not b...
 
A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization
Found in: 2013 IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC)
By Zhe Wang,Dianfu Ma,Yongwang Zhao
Issue Date:December 2013
pp. 39-46
In Service-Oriented Architecture (SOA), web services container demands to support QoS (Quality of Service) hierarchical control to provide the optimization of utilization for web services container as well as a guarantee of the QoS requirements of the serv...
 
A policy-based architecture for web services authentication
Found in: 2013 IEEE Symposium on Computers and Communications (ISCC)
By Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Issue Date:July 2013
pp. 000417-000422
With the rapid development of the Internet, web service technology has been extensively used in distributed applications and is highly likely to replace other various technologies for the distributed application development. However, concerning most hard i...
   
Two Formal Semantics of a Subset of the AADL
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
Issue Date:April 2011
pp. 344-349
The analysis and verification of an AADL model usually requires its transformation into the meta-model of this model-checker or that schedulability analysis tool. However, one challenging problem is to prove that the transformation into the target model of...
 
Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM
Found in: Computational Science and Engineering, IEEE International Conference on
By Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma
Issue Date:December 2010
pp. 176-183
Due to the huge growth of the World Wide Web, medical images are now available in large numbers in online repositories, and there exists the need to retrieval the images through automatically extracting visual information of the medical images, which is co...
 
A multi-resource load balancing algorithm for cloud cache systems
Found in: Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC '13)
By Dianfu Ma, Ivan Brondino, Marta Patiño Martínez, Ricardo Jiménez Peris, Yu Jia
Issue Date:March 2013
pp. 463-470
With the advent of cloud computing model, distributed caches have become the cornerstone for building scalable applications. Popular systems like Facebook [1] or Twitter use Memcached [5], a highly scalable distributed object cache, to speed up application...
     
An approach to identifying conversation dependency in service oriented system during dynamic evolution
Found in: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09)
By Dianfu Ma, Min Liu, Yongwang Zhao
Issue Date:March 2009
pp. 1-5
Dynamic evolution is required in SOAs (Service Oriented Architecture) with complex business processes to adapt to the opening environment of Internet and ever changing requirement of user. This paper proposes an approach to identifying conversation depende...
     
A target-driven core curriculum development
Found in: Proceedings of the 1st ACM Summit on Computing Education in China on First ACM Summit on Computing Education in China (SCE '08)
By Dianfu Ma, Li Zhang, Yiming Zhou
Issue Date:October 2008
pp. 1-6
This paper introduces a systematic method of target-driven core curriculum development scheme, including both theory courses and laboratory practice. Based on a concrete core training target which emphasis on operability and measur-ability, we composed a h...
     
SSCM: middleware for structure-based service collaboration
Found in: Proceedings of the 2008 ACM symposium on Applied computing (SAC '08)
By Chunyang Hu, Dianfu Ma, Min Liu, Yongwang Zhao
Issue Date:March 2008
pp. 28-34
The collaboration of services scattered over the internet is often required in solving a complicated scientific problem or finishing a complex business process. Centralized client/server architecture used in traditional service collaboration mechanism such...
     
 1