The Experts below are selected from a list of 300 Experts worldwide ranked by ideXlab platform

Celso Massaki Hirata - One of the best experts on this subject based on the ideXlab platform.

  • Fault‐tolerant timestamp‐based two‐phase commit protocol for RESTful services
    Software - Practice and Experience, 2012
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    SUMMARY Service-oriented architecture provides interoperability and weak coupling features for software development. Representational state transfer (REST) is an architectural style that has attracted attention in the SOA domain as it allows the development of Web services based on original principles of the World Wide Web. Unlike Web service specifications, which are based on Simple Object Access Protocol and Web Services Description Language, REST does not provide ‘official’ standards to address non-functional requirements of services, such as security, reliability, and Transaction Control. The timestamp-based two-phase commit protocol for RESTful service (TS2PC4RS) algorithm specifies concurrency Control of RESTful services during a Transaction. An extension of the TS2PC4RS specifies the concurrency Control of the Web services considering the update operation to meet some business rules. However, neither algorithm addresses Transaction Control when failures occur. In long-term Transactions, failures can occur and compromise the success of Web service applications. Two common failures traditionally considered in the analysis of protocols are host and connection failures. The aim of this paper is to address fault tolerance for TS2PC4RS and its extension. A fault-tolerant protocol based on timeout and log records is proposed. The fault-tolerant protocol provides support for the host and connection failures that may occur during a Transaction execution. The fault-tolerant mechanisms are used to meet the application domain business rules that guide the behavior of RESTful services. We describe the protocol using scenarios when failures occur. Copyright © 2012 John Wiley & Sons, Ltd.

  • Fault‐tolerant timestamp‐based two‐phase commit protocol for RESTful services
    Software - Practice and Experience, 2012
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    SUMMARY Service-oriented architecture provides interoperability and weak coupling features for software development. Representational state transfer (REST) is an architectural style that has attracted attention in the SOA domain as it allows the development of Web services based on original principles of the World Wide Web. Unlike Web service specifications, which are based on Simple Object Access Protocol and Web Services Description Language, REST does not provide ‘official’ standards to address non-functional requirements of services, such as security, reliability, and Transaction Control. The timestamp-based two-phase commit protocol for RESTful service (TS2PC4RS) algorithm specifies concurrency Control of RESTful services during a Transaction. An extension of the TS2PC4RS specifies the concurrency Control of the Web services considering the update operation to meet some business rules. However, neither algorithm addresses Transaction Control when failures occur. In long-term Transactions, failures can occur and compromise the success of Web service applications. Two common failures traditionally considered in the analysis of protocols are host and connection failures. The aim of this paper is to address fault tolerance for TS2PC4RS and its extension. A fault-tolerant protocol based on timeout and log records is proposed. The fault-tolerant protocol provides support for the host and connection failures that may occur during a Transaction execution. The fault-tolerant mechanisms are used to meet the application domain business rules that guide the behavior of RESTful services. We describe the protocol using scenarios when failures occur. Copyright © 2012 John Wiley & Sons, Ltd.

  • SAC - Extending timestamp-based two phase commit protocol for RESTful services to meet business rules
    Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11, 2011
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    Service Oriented Architecture allows development of software with requirements of interoperability and weak coupling. Nowadays, REST is an architectural style that has been gaining attention in the SOA domain. REST allows the development of web services based on concepts simpler than WS-*, however, REST, as an architectural style, does not provide "official" standards to address some nonfunctional requirements of services, such as, security, reliability, and Transaction Control. The Timestamp-based Two Phase Commit Protocol for RESTful Services (TS2PC4RS) algorithm proposes a REST-based technique to support the web services Transactional Control implementation. This paper proposes to extend the TS2PC4RS algorithm to improve the satisfaction of business rules. The goal is met in the way the clients can update their prewrites on the ongoing Transactions, so that the clients do not need to start a new Transaction in order to implement the desired updates. The update of prewrites takes into account the application domain business rules which guide the RESTful services behavior. Thus the business rules are also considered in the algorithm extension. An example was used to describe the TS2PC4RS extension for updates.

  • A timestamp-based two phase commit protocol for web services using rest architectural style
    Journal of Web Engineering, 2010
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    Service Oriented Architecture allows development of software with requirements of interoperability and weak coupling. Nowadays WS-* is the most used SOAP-based specification set for constructing web services. REST is an architectural style that permits the development of services in a simpler way than WS-* and obeys the SOA's paradigm, however, it does not provide standardized support to address some non-functional requirements of services, such as, security, reliability, and Transaction Control. This article proposes a REST-based technique to support the web services Transactional Control implementation. The technique uses the timestamp method and two phase commit protocol to Control distributed systems Transactions. An example of application using the technique is implemented to show its feasibility.

  • SAC - An optimistic technique for Transactions Control using REST architectural style
    Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09, 2009
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    SOA is a service oriented architecture that allows development of software with interoperability and weak coupling. Nowadays WS-* is the most used SOAP-based specification set for constructing web services. REST is an architectural style that permits the development of services in a simpler way and obeys the SOA's paradigm, however, it does not provide standardized support to address some nonfunctional requirements of services, for instance, security, reliability, Transaction Control. This article proposes a technique, based on REST, to support the web services Transactional Control implementation. The technique uses the optimistic method to Control distributed systems Transactions. An example of application was implemented to show its feasibility.

Andrei Voronkov - One of the best experts on this subject based on the ideXlab platform.

  • unidoor a deductive object oriented database management system
    International Conference on Data Engineering, 2006
    Co-Authors: M K Jaber, Andrei Voronkov
    Abstract:

    In this paper, we present UNIDOOR, a deductive objectoriented database system (DOOD). We demonstrate the distinctive features of UNIDOOR data model and its query language. We then show how essential object-oriented and database management features, that were missing from other DOOD implementations, are successfully supported in UNIDOOR. These features include a scalable persistent store with crash recovery, database integrity and Transaction Control facilities in a multi-user environment.

  • ICDE - UNIDOOR: a Deductive Object-Oriented Database Management System
    22nd International Conference on Data Engineering (ICDE'06), 2006
    Co-Authors: M K Jaber, Andrei Voronkov
    Abstract:

    In this paper, we present UNIDOOR, a deductive objectoriented database system (DOOD). We demonstrate the distinctive features of UNIDOOR data model and its query language. We then show how essential object-oriented and database management features, that were missing from other DOOD implementations, are successfully supported in UNIDOOR. These features include a scalable persistent store with crash recovery, database integrity and Transaction Control facilities in a multi-user environment.

Klaus-dieter Schewe - One of the best experts on this subject based on the ideXlab platform.

  • Serialisable multi-level Transaction Control: A specification and verification☆
    Science of Computer Programming, 2016
    Co-Authors: Egon Börger, Klaus-dieter Schewe, Qing Wang
    Abstract:

    Abstract We define a programming language independent Controller TaCtl for multi-level Transactions and an operator TA , which when applied to concurrent programs with multi-level shared locations containing hierarchically structured complex values, turns their behavior with respect to some abstract termination criterion into a Transactional behaviour. We prove the correctness property that concurrent runs under the Transaction Controller are serialisable, assuming an Inverse Operation Postulate to guarantee recoverability. For its applicability to a wide range of programs we specify the Transaction Controller TaCtl and the operator TA in terms of Abstract State Machines (ASMs). This allows us to model concurrent updates at different levels of nested locations in a precise yet simple manner, namely in terms of partial ASM updates. It also provides the possibility to use the Controller TaCtl and the operator TA as a plug-in when specifying concurrent system components in terms of sequential ASMs.

  • Specifying Transaction Control to Serialize Concurrent Program Executions
    Lecture Notes in Computer Science, 2014
    Co-Authors: Egon Börger, Klaus-dieter Schewe
    Abstract:

    We define a programming language independent Transaction Controller and an operator which when applied to concurrent programs with shared locations turns their behavior with respect to some abstract termination criterion into a Transactional behavior. We prove the correctness property that concurrent runs under the Transaction Controller are serialisable. We specify the Transaction Controller TaCtl and the operator TA in terms of Abstract State Machines. This makes TaCtl applicable to a wide range of programs and in particular provides the possibility to use it as a plug-in when specifying concurrent system components in terms of Abstract State Machines.

Luiz Alexandre Hiane Da Silva Maciel - One of the best experts on this subject based on the ideXlab platform.

  • Fault‐tolerant timestamp‐based two‐phase commit protocol for RESTful services
    Software - Practice and Experience, 2012
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    SUMMARY Service-oriented architecture provides interoperability and weak coupling features for software development. Representational state transfer (REST) is an architectural style that has attracted attention in the SOA domain as it allows the development of Web services based on original principles of the World Wide Web. Unlike Web service specifications, which are based on Simple Object Access Protocol and Web Services Description Language, REST does not provide ‘official’ standards to address non-functional requirements of services, such as security, reliability, and Transaction Control. The timestamp-based two-phase commit protocol for RESTful service (TS2PC4RS) algorithm specifies concurrency Control of RESTful services during a Transaction. An extension of the TS2PC4RS specifies the concurrency Control of the Web services considering the update operation to meet some business rules. However, neither algorithm addresses Transaction Control when failures occur. In long-term Transactions, failures can occur and compromise the success of Web service applications. Two common failures traditionally considered in the analysis of protocols are host and connection failures. The aim of this paper is to address fault tolerance for TS2PC4RS and its extension. A fault-tolerant protocol based on timeout and log records is proposed. The fault-tolerant protocol provides support for the host and connection failures that may occur during a Transaction execution. The fault-tolerant mechanisms are used to meet the application domain business rules that guide the behavior of RESTful services. We describe the protocol using scenarios when failures occur. Copyright © 2012 John Wiley & Sons, Ltd.

  • Fault‐tolerant timestamp‐based two‐phase commit protocol for RESTful services
    Software - Practice and Experience, 2012
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    SUMMARY Service-oriented architecture provides interoperability and weak coupling features for software development. Representational state transfer (REST) is an architectural style that has attracted attention in the SOA domain as it allows the development of Web services based on original principles of the World Wide Web. Unlike Web service specifications, which are based on Simple Object Access Protocol and Web Services Description Language, REST does not provide ‘official’ standards to address non-functional requirements of services, such as security, reliability, and Transaction Control. The timestamp-based two-phase commit protocol for RESTful service (TS2PC4RS) algorithm specifies concurrency Control of RESTful services during a Transaction. An extension of the TS2PC4RS specifies the concurrency Control of the Web services considering the update operation to meet some business rules. However, neither algorithm addresses Transaction Control when failures occur. In long-term Transactions, failures can occur and compromise the success of Web service applications. Two common failures traditionally considered in the analysis of protocols are host and connection failures. The aim of this paper is to address fault tolerance for TS2PC4RS and its extension. A fault-tolerant protocol based on timeout and log records is proposed. The fault-tolerant protocol provides support for the host and connection failures that may occur during a Transaction execution. The fault-tolerant mechanisms are used to meet the application domain business rules that guide the behavior of RESTful services. We describe the protocol using scenarios when failures occur. Copyright © 2012 John Wiley & Sons, Ltd.

  • SAC - Extending timestamp-based two phase commit protocol for RESTful services to meet business rules
    Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11, 2011
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    Service Oriented Architecture allows development of software with requirements of interoperability and weak coupling. Nowadays, REST is an architectural style that has been gaining attention in the SOA domain. REST allows the development of web services based on concepts simpler than WS-*, however, REST, as an architectural style, does not provide "official" standards to address some nonfunctional requirements of services, such as, security, reliability, and Transaction Control. The Timestamp-based Two Phase Commit Protocol for RESTful Services (TS2PC4RS) algorithm proposes a REST-based technique to support the web services Transactional Control implementation. This paper proposes to extend the TS2PC4RS algorithm to improve the satisfaction of business rules. The goal is met in the way the clients can update their prewrites on the ongoing Transactions, so that the clients do not need to start a new Transaction in order to implement the desired updates. The update of prewrites takes into account the application domain business rules which guide the RESTful services behavior. Thus the business rules are also considered in the algorithm extension. An example was used to describe the TS2PC4RS extension for updates.

  • A timestamp-based two phase commit protocol for web services using rest architectural style
    Journal of Web Engineering, 2010
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    Service Oriented Architecture allows development of software with requirements of interoperability and weak coupling. Nowadays WS-* is the most used SOAP-based specification set for constructing web services. REST is an architectural style that permits the development of services in a simpler way than WS-* and obeys the SOA's paradigm, however, it does not provide standardized support to address some non-functional requirements of services, such as, security, reliability, and Transaction Control. This article proposes a REST-based technique to support the web services Transactional Control implementation. The technique uses the timestamp method and two phase commit protocol to Control distributed systems Transactions. An example of application using the technique is implemented to show its feasibility.

  • SAC - An optimistic technique for Transactions Control using REST architectural style
    Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09, 2009
    Co-Authors: Luiz Alexandre Hiane Da Silva Maciel, Celso Massaki Hirata
    Abstract:

    SOA is a service oriented architecture that allows development of software with interoperability and weak coupling. Nowadays WS-* is the most used SOAP-based specification set for constructing web services. REST is an architectural style that permits the development of services in a simpler way and obeys the SOA's paradigm, however, it does not provide standardized support to address some nonfunctional requirements of services, for instance, security, reliability, Transaction Control. This article proposes a technique, based on REST, to support the web services Transactional Control implementation. The technique uses the optimistic method to Control distributed systems Transactions. An example of application was implemented to show its feasibility.

M K Jaber - One of the best experts on this subject based on the ideXlab platform.

  • unidoor a deductive object oriented database management system
    International Conference on Data Engineering, 2006
    Co-Authors: M K Jaber, Andrei Voronkov
    Abstract:

    In this paper, we present UNIDOOR, a deductive objectoriented database system (DOOD). We demonstrate the distinctive features of UNIDOOR data model and its query language. We then show how essential object-oriented and database management features, that were missing from other DOOD implementations, are successfully supported in UNIDOOR. These features include a scalable persistent store with crash recovery, database integrity and Transaction Control facilities in a multi-user environment.

  • ICDE - UNIDOOR: a Deductive Object-Oriented Database Management System
    22nd International Conference on Data Engineering (ICDE'06), 2006
    Co-Authors: M K Jaber, Andrei Voronkov
    Abstract:

    In this paper, we present UNIDOOR, a deductive objectoriented database system (DOOD). We demonstrate the distinctive features of UNIDOOR data model and its query language. We then show how essential object-oriented and database management features, that were missing from other DOOD implementations, are successfully supported in UNIDOOR. These features include a scalable persistent store with crash recovery, database integrity and Transaction Control facilities in a multi-user environment.