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

T. Ohta - One of the best experts on this subject based on the ideXlab platform.

  • Automatic Elicitation of Network Service Specification
    2008 The Third International Conference on Software Engineering Advances, 2008
    Co-Authors: M. Ohba, K. Egashira, T. Ohta
    Abstract:

    A lot of research has been done into automatically eliciting Service Specifications of a system, whose Specification is unknown, by analyzing output signals corresponding to input signals. This paper proposes algorithms for automatically eliciting state transition diagrams based on an enhanced state transition model from a set of rules that represent condition of each state transition.

  • Automatic detection of Service interactions in telecommunications Service Specifications
    Proceedings of ICC SUPERCOMM'94 - 1994 International Conference on Communications, 1994
    Co-Authors: Y. Inoue, K. Takami, T. Ohta
    Abstract:

    A telecommunications system to which new Services are frequently added should be robust against the modification of Specifications. When a new Service Specification is added to a telecommunications system, the new Service Specification interacts with existing Service Specifications, causing adverse behaviors to occur that were not intended by the designer. The paper proposes a method for automatically detecting these adverse behaviors, called Service interactions, by analyzing the new Service Specification along with existing Service Specifications that are specified in accordance with the state transition model. Service interactions have become a serious obstacle to the rapid development of new Services and are considered to be an international issue. >

  • Switching function conceptual model for telecommunication Service Specification design
    1994 IEEE GLOBECOM. Communications: The Global Bridge, 1994
    Co-Authors: H. Enoki, K. Takami, Y. Kobayashi, T. Ohta
    Abstract:

    The paper proposes the breakdown and modeling of switching functions, intended for telecommunication Service Specification design, into logical functions that do not depend on implementation into individual systems. In Specification design, there are such problems as duplicate definitions of the description elements and Service interactions, and it is difficult for the Service designer, especially non-expert, to specify all of the Services needed to avoid such problems. A switching function conceptual model is proposed to eliminate such problems. The conceptual model can be obtained by generalizing the switching functions essential for forming Services and then breaking them down into logical functions.

  • On a communication software generation method from communication Service Specifications described by a declarative language
    Proceedings of ICCI'93: 5th International Conference on Computing and Information, 1993
    Co-Authors: Keizo Kawata, Akira Takura, T. Ohta
    Abstract:

    The paper proposes a declarative communication Service Specification language that is easy to write for one who is not an expert in communication networks and a method of automatically generating communication software from communication Service Specifications written in the language. It is assumed that a communication system consists of homogeneous processes. With this language, we can specify a communication Service without defining messages between processes. All states of a process and messages that are necessary to achieve a communication Service will be generated by this method. The efficiency of the communication software generated by the method almost never degrades even if the size of a communication Service Specification has been increased.

  • ICCI - On a communication software generation method from communication Service Specifications described by a declarative language
    Proceedings of ICCI'93: 5th International Conference on Computing and Information, 1993
    Co-Authors: Keizo Kawata, Akira Takura, T. Ohta
    Abstract:

    The paper proposes a declarative communication Service Specification language that is easy to write for one who is not an expert in communication networks and a method of automatically generating communication software from communication Service Specifications written in the language. It is assumed that a communication system consists of homogeneous processes. With this language, we can specify a communication Service without defining messages between processes. All states of a process and messages that are necessary to achieve a communication Service will be generated by this method. The efficiency of the communication software generated by the method almost never degrades even if the size of a communication Service Specification has been increased. >

Roman Popp - One of the best experts on this subject based on the ideXlab platform.

  • Semantic task Specification in business process context
    2017 11th International Conference on Research Challenges in Information Science (RCIS), 2017
    Co-Authors: Hermann Kaindl, Ralph Hoch, Roman Popp
    Abstract:

    Much like semantic Service Specification, semantic Specification of tasks in business processes is needed, e.g., for their formal verification. In addition to the Specification of the pure effects of some procedural code, however, business context plays a major role for semantic task Specification. Open questions are how to include the business context of a task in its semantic Specification, and what the semantic Specification of a task composition is. This paper clarifies the relation of Service composition with corresponding task composition in different business context using semantic Specification. It shows that a specific semantic Service task Specification may become a supertype of the corresponding semantic Service Specification. Hence, it provides a theoretical basis for the reusability of (Web) Services in different business contexts. This paper also presents a systematic derivation of the semantic Specification of sequential task composition. Based on all that, it shows recursive application for higher-level business processes.

  • Semantic Service Specification for V&V of Service Composition and Business Processes
    2015 48th Hawaii International Conference on System Sciences, 2015
    Co-Authors: Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
    Abstract:

    Semantic Specification of Services based on formal logic can be used for automated verification of Service composition. In order to make such verifications consistent with validations of Service compositions in the context of business processes, more and more knowledge needs to be included in the related Specifications. We show using a simple example that after adding such additional knowledge directly to the semantic Specifications of Services, they may become over-specified. We found that this additional knowledge can be a special kind of business rules. Therefore, we propose to specify them separately, but also based on formal logic. More precisely, the use of the Fluent Calculus and the related FLUX tool enabled automated and guaranteed verification of composed Services against the Specifications of the single Services. Adding the formalized business rules into such verifications made them consistent with validations of Service compositions in the context of business processes. Overall, both verification and validation (V&V) are essential for Service composition and business processes. As a consequence, this novel approach to V&V should support a comprehensive approach to Service design.

Ralph Hoch - One of the best experts on this subject based on the ideXlab platform.

  • Semantic task Specification in business process context
    2017 11th International Conference on Research Challenges in Information Science (RCIS), 2017
    Co-Authors: Hermann Kaindl, Ralph Hoch, Roman Popp
    Abstract:

    Much like semantic Service Specification, semantic Specification of tasks in business processes is needed, e.g., for their formal verification. In addition to the Specification of the pure effects of some procedural code, however, business context plays a major role for semantic task Specification. Open questions are how to include the business context of a task in its semantic Specification, and what the semantic Specification of a task composition is. This paper clarifies the relation of Service composition with corresponding task composition in different business context using semantic Specification. It shows that a specific semantic Service task Specification may become a supertype of the corresponding semantic Service Specification. Hence, it provides a theoretical basis for the reusability of (Web) Services in different business contexts. This paper also presents a systematic derivation of the semantic Specification of sequential task composition. Based on all that, it shows recursive application for higher-level business processes.

  • Semantic Service Specification for V&V of Service Composition and Business Processes
    2015 48th Hawaii International Conference on System Sciences, 2015
    Co-Authors: Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
    Abstract:

    Semantic Specification of Services based on formal logic can be used for automated verification of Service composition. In order to make such verifications consistent with validations of Service compositions in the context of business processes, more and more knowledge needs to be included in the related Specifications. We show using a simple example that after adding such additional knowledge directly to the semantic Specifications of Services, they may become over-specified. We found that this additional knowledge can be a special kind of business rules. Therefore, we propose to specify them separately, but also based on formal logic. More precisely, the use of the Fluent Calculus and the related FLUX tool enabled automated and guaranteed verification of composed Services against the Specifications of the single Services. Adding the formalized business rules into such verifications made them consistent with validations of Service compositions in the context of business processes. Overall, both verification and validation (V&V) are essential for Service composition and business processes. As a consequence, this novel approach to V&V should support a comprehensive approach to Service design.

Hermann Kaindl - One of the best experts on this subject based on the ideXlab platform.

  • Semantic task Specification in business process context
    2017 11th International Conference on Research Challenges in Information Science (RCIS), 2017
    Co-Authors: Hermann Kaindl, Ralph Hoch, Roman Popp
    Abstract:

    Much like semantic Service Specification, semantic Specification of tasks in business processes is needed, e.g., for their formal verification. In addition to the Specification of the pure effects of some procedural code, however, business context plays a major role for semantic task Specification. Open questions are how to include the business context of a task in its semantic Specification, and what the semantic Specification of a task composition is. This paper clarifies the relation of Service composition with corresponding task composition in different business context using semantic Specification. It shows that a specific semantic Service task Specification may become a supertype of the corresponding semantic Service Specification. Hence, it provides a theoretical basis for the reusability of (Web) Services in different business contexts. This paper also presents a systematic derivation of the semantic Specification of sequential task composition. Based on all that, it shows recursive application for higher-level business processes.

  • Semantic Service Specification for V&V of Service Composition and Business Processes
    2015 48th Hawaii International Conference on System Sciences, 2015
    Co-Authors: Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
    Abstract:

    Semantic Specification of Services based on formal logic can be used for automated verification of Service composition. In order to make such verifications consistent with validations of Service compositions in the context of business processes, more and more knowledge needs to be included in the related Specifications. We show using a simple example that after adding such additional knowledge directly to the semantic Specifications of Services, they may become over-specified. We found that this additional knowledge can be a special kind of business rules. Therefore, we propose to specify them separately, but also based on formal logic. More precisely, the use of the Fluent Calculus and the related FLUX tool enabled automated and guaranteed verification of composed Services against the Specifications of the single Services. Adding the formalized business rules into such verifications made them consistent with validations of Service compositions in the context of business processes. Overall, both verification and validation (V&V) are essential for Service composition and business processes. As a consequence, this novel approach to V&V should support a comprehensive approach to Service design.

Ménel Lassoued - One of the best experts on this subject based on the ideXlab platform.