A Formal Model of Business Application Integration from Web Services (Position Paper)

Wan, Kaiyu; Muhammad, M. Rashith; Alagar, Vangalur S.

doi:10.1007/978-3-540-95891-8_58

Cited by 3 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In case of several compositions may be generated to fulfill the requirements, the one has the highest trust ratio as most probably expected composition to have acceptable performance is chosen to execute. Wan et al [31] present a formal model of business application integration from Web Services. Authors believe an automatic Web service composition tool with respect to maintaining business policy and trustworthy issues is considerable challenge.…”

Section: Formal Modelmentioning

confidence: 99%

A taxonomy of trust oriented approaches for services computing

Sharifi

Manaf

Movahednejad

et al. 2011

Proceedings of the 13th International Conference on Information Integration and Web-Based Applications and Services

View full text Add to dashboard Cite

Trust oriented services computing and in more specific trust based service discovery, selection, and composition have become one of the recent critical issues in today's web environment. This has led to a demand for a trustworthy service oriented mechanisms. A number of approaches with variety of mechanisms and solutions have been proposed to resolve the problem. The aim of this paper is to present a taxonomy for service oriented computing and apply the taxonomy to categorize trust based service discovery, selection, and composition approaches. Moreover, the results of taxonomy are presented in a way to identify open issues in this area of research.

show abstract

Section: Formal Modelmentioning

confidence: 99%

A taxonomy of trust oriented approaches for services computing

Sharifi

Manaf

Movahednejad

et al. 2011

Proceedings of the 13th International Conference on Information Integration and Web-Based Applications and Services

View full text Add to dashboard Cite

show abstract

“…Defining a composite service includes defining the execution logic of the participant services. This section, inspired by [21], defines the composition constructs and informally motivates their execution logics.…”

Section: Composition Constructsmentioning

confidence: 99%

Specification and Verification of Context-dependent Services

Ibrahim¹,

Alagar²,

Mohammad³

2011

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL

show abstract

Developing context-dependent service-oriented applications

Ibrahim

2012

2012 International Conference on Computer Systems and Industrial Informatics

View full text Add to dashboard Cite

A Formal Model of Business Application Integration from Web Services (Position Paper)

Cited by 3 publications

References 13 publications

A taxonomy of trust oriented approaches for services computing

A taxonomy of trust oriented approaches for services computing

Specification and Verification of Context-dependent Services

Developing context-dependent service-oriented applications

Contact Info

Product

Resources

About