Integrating Requirements Specifications and Web Services Using Cognitive Models1

J. Geldart,William W. Song

DOI: https://doi.org/10.1007/978-0-387-78578-3_34

Abstract:

What problem does this paper attempt to address?

Web Services: an Approach to Business Integration Models for Micro-Payment

William Song,Deren Chen,Jen-Yao Chung

DOI: https://doi.org/10.1504/ijeb.2006.010866

2006-01-01

International Journal of Electronic Business

Abstract:The introduction of the semantic web and web service technologies enables business processes, modelling and management to enter an entirely new stage. Traditional web-based business data and transactions can now be extracted to discover new business rules and strategies. Methods equipped with business policies and processes will construct services, workflows, and software functions. As a service intensive activity, micro-payment has many tasks involving different forms of services. Through analysing web service issues for micro-payment systems, we will investigate, discuss and illustrate how the web services technology support and transform the business process and integration model and produce various service flows.
Business Integration Models in the Context of Web Services

W Song,DR Chen,JY Chun

DOI: https://doi.org/10.1109/icebe.2005.33

2005-01-01

Abstract:E-commerce development and applications have been bringing the Internet to business and marketing and reforming our current business styles and processes. The rapid development of the Web, in particular, the introduction of the semantic web and web service technologies, enables business processes, modeling and management to enter an entirely new stage. Traditional web based business data and transactions can now be analyzed, extracted and modeled to discover new business rules and to form new business strategies, let alone mining the business data in order to classify., customers or products. In this paper, we investigate and analyze the business integration models in the context of web services using a micro-payment system because a micro-payment system is considered to be a service intensive activity, where many payment tasks involve different forms of services, such as payment method selection for buyers, security support software, product price comparison, etc. We will use the micro-payment case to discuss and illustrate how the web services approaches support and transform the business process and integration model.
A Framework Of Universal Web Services

Mh Shi,Dr Chen,Lj Zhang

2002-01-01

Abstract:With the advent of dynamic e-business and its open standards-based supporting technologies, valuable legacy applications that support essential business processes in enterprises can join this new area of distributed computing. In this paper, we introduce a framework for enterprise integration with universal web services model. We propose an integration framework based on the Software Integration Markup Language (SIML), which is an XML based markup language designed to describe e-business applications and enterprise integration.
Integrated Product Modeling Based On Web Services In Distributed Environment

Lanfen Lin,Yi-chao Lou,Wen-yu Zhang,Peng Gao,Jinxiang Dong

DOI: https://doi.org/10.1109/CSCWD.2005.194188

2005-01-01

Abstract:To flexibly integrate various systems at different stages and improve the openness and reusability of information in remote collaborative product development, a framework of integrated product modeling based on Web Services is presented The integrated model consists of a master model and application models that combine static and dynamic information supporting whole product lifecycle. The master model contains the core and shared information. The application model relating to specific manufacture domain is built up by extracting the master model and complementing domain information. The flexible integration of heterogeneous systems is ensured by the use of Web Services. The openness and expansibility are preserved by combining STEP and XML for information representation and exchange. The high reusability of product information is achieved by using a service-oriented multi-granularity schema The information consistency among the master model and application models is maintained through a coordinated-protocol for rapidly acquiring alteration and reacting to it.
Modeling and Verifying Web Services Driven by Requirements: an Ontology-Based Approach.

Hou Lishan,Jin Zhi,Wu Budan

DOI: https://doi.org/10.1007/s11432-006-2031-5

2006-01-01

Abstract:Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects: the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.
WiSANCloud: a set of UML-based specifications for the integration of Wireless Sensor and Actor Networks (WSANs) with the Cloud Computing

Priscill Orue-Esquivel,Bartolomé Rubio

DOI: https://doi.org/10.48550/arXiv.1211.4720

2012-11-20

Abstract:Giving the current trend to combine the advantages of Wireless Sensor and Actor Networks (WSANs)with the Cloud Computing technology, this work proposes a set of specifications, based on the Unified Modeling Language - UML, in order to provide the general framework for the design of the integration of said components. One of the keys of the integration is the architecture of the WSAN, due to its structural relationship with the Cloud in the definition of the combination. Regarding the standard applied in the integration, UML and its subset, Systems Modeling Language - SysML, are proposed by the Object Management Group - OMG to deal with cloud applications; so, this indicates the starting point of the process of the design of specifications for WSAN-Cloud integration. Based on the current state of UML tools for analysis and design, there are several aspects to take into account in order to define the integration process.

Software Engineering,Distributed, Parallel, and Cluster Computing
Cognitive Based Customer & E-MCSR Interaction in E-Business Scenario

MA Ghafoor,B Zhou,JX Dong,M Mujeeb-u-Rehman

DOI: https://doi.org/10.1109/scones.2004.1564778

2002-01-01

Abstract:Next generation of information systems will rely on cooperative intelligent agents for playing a pivotal role on behalf of their customers in activities like searching, finding, and relevant information in complex and open environment. Today’s web-based environment is providing a maximum benefit for customers in shape of web-based questions and answers or by acquiring information from intelligent agents. We have also tried to look some of the fundamental issues context-based iterative principles and telepathy procedures that are essential for the successful approach as they work under the principle of brain scaling with each other. In this paper we are proposing an intelligent e-MCSR. It is context-based support for interaction with customers over Internet environment. We have implemented and tested the e-MCSR as an entity with an intelligent interaction. We have also developed a mutual conversation between the customer and e-MCSR within the e-Marketplace. This solution is presently supported by a customizable context-based transaction model and knowledge rules. We found it as a cost effective solution for e-Business.
An Integrated Cognitive Computing Approach for Systematic Conceptual Design

Hao Zheng,Yi-xiong Feng,Jian-rong Tan,Zhi-feng Zhang,Zi-xian Zhang

DOI: https://doi.org/10.1631/jzus.a1500161

2016-01-01

Journal of Zhejiang University SCIENCE A

Abstract:Conceptual design plays an important role in product life cycle, which requires engineers to use sound design theory, cross-disciplinary knowledge, and complex technical support to acquire design concepts. However, the lack of sufficient computational tools makes it difficult for designers to fully explore in the wide design solution spaces. Therefore, this paper proposes an integrated cognitive computing approach to formalize the cognitive activities of conceptual design. A cognitive computing model composed of concept associative memory, concept generation, and decision-making process is established based on the integration of cognitive psychology and engineering design. First of all, the Hopfield neural network is used to acquire similar concept solutions for specific subfunctions from a knowledge base. Then, morphological matrix and genetic algorithm are introduced to produce a set of feasible candidate solutions in the concept generation process. Furthermore, a technique for order preference by similarity to an ideal solution is applied to evaluate the generated concept solutions and obtain the optimal solution automatically. Finally, a case study is given to demonstrate the effectiveness and efficiency of the proposed approach.
Evaluation of Computability Criterions for Runtime Web Service Integration

Thirumaran. M,Dhavachelvan. P,Aranganayagi. G,S. Abarna,Thirumaran.M,Dhavachelvan.P,Aranganayagi.G,S.Abarna

DOI: https://doi.org/10.48550/arXiv.1111.1586

2011-11-07

Software Engineering

Abstract:Today's competitive environment drives the enterprises to extend their focus and collaborate with their business partners to carry out the necessities. Tight coordination among business partners assists to share and integrate the service logic globally. But integrating service logics across diverse enterprises leads to exponential problem which stipulates developers to comprehend the whole service and must resolve suitable method to integrate the services. It is complex and time-consuming task. So the present focus is to have a mechanized system to analyze the Business logics and convey the proper mode to integrate them. There is no standard model to undertake these issues and one such a framework proposed in this paper examines the Business logics individually and suggests proper structure to integrate them. One of the innovative concepts of proposed model is Property Evaluation System which scrutinizes the service logics and generates Business Logic Property Schema (BLPS) for the required services. BLPS holds necessary information to recognize the correct structure for integrating the service logics. At the time of integration, System consumes this BLPS schema and suggests the feasible ways to integrate the service logics. Also if the service logics are attempted to integrate in invalid structure or attempted to violate accessibility levels, system will throw exception with necessary information. This helps developers to ascertain the efficient structure to integrate the services with least effort.
Web Service Retrieval Based on Environment Ontology

Budan Wu,Zhi Jin

DOI: https://doi.org/10.5220/0001275403820385

2007-01-01

Abstract:Existed descriptions of Web Service are in syntax level, and still relies on people to understand and decide what a Web Service can do, which encumbers automatic and dynamic Web Service retrieval. In this paper, we propose environment ontology as the base of describing semantic of Web Services, whose resource and state transitions reflect Web Service's behavior. We construct the description format based on environment ontology and put forward a road map approach towards automatic and dynamic Web Service retrieval.
INTELLIGENT WEB SERVICES AND ITS META MODEL DRIVEN DEVELOPMENT ENVIRONMENT

Lu Xiaohua,Li Yinsheng

DOI: https://doi.org/10.3969/j.issn.1000-386X.2007.12.035

2007-01-01

Abstract:Current Web services have not been developed with sufficient semantics.Dynamic Service-oriented operations have not been well supported.Semantics is incorporated into Web services to build an intelligent Web services reference meta model.The involved architecture and internal components of the model are carefully identified and examined.An integrated development environment is developed and used to evaluate the service model.
Requirements Modeling and System Reconfiguration for Self-Adaptation of Internetware.

Yang Zhuo-Qun,Jin Zhi

DOI: https://doi.org/10.1145/2430475.2430486

2012-01-01

Abstract:Internetware is a new paradigm proposed in recent years, which is defined as a kind of software constructed by a set of autonomous software entities distributed over the Internet. The environment where Internetware operates, including the Internet and other physical condition that the domain should hold, changes unexpectedly and comes with uncertainty. So the self-adaptation issue becomes inevitable in terms of dynamically configuring the Internetware. Here come two basic questions: how can we derive the adaptation problem in Internetware and how can we solve this problem with some adaptation mechanisms? In this paper, we focus on the requirements level for solving this problem and propose to use i* framework for modeling requirements of Internetware and deriving the adaptation problem from the i* models. To solve the adaptation problem, we provide a synergy approach involving i* models and widely accepted self-adaptation process---the MAPE loop, and apply ECA (3-tuple of ) to present the rationale for reconfiguration decisions.
An Integrated Formal Approach to Semantic Work Environments Design

Hai H. Wang,Nicholas Gibbins,Jin Song Dong,Yuan Fang Li,Jing Sun,Jeff Pan,Terry R. Payne

DOI: https://doi.org/10.4018/978-1-59904-877-2.ch015

2008-01-01

Abstract:The Semantic Web (Berners-Lee, Hendler, & Lassila, 2001) has become increasingly significant as it proposes an evolution of the current World Wide Web from a web of documents to a distributed and decentralised, global knowledge-base. Based on the notion of interlinked resources grounded within formally defined ontologies, it promises to be an enabling technology for the automation of many Web-based tasks, by facilitating a shared understanding of a domain through inference over shared knowledge models. Semantic Work Environment (SWE) applications use Semantic Web techniques to support the work of the user by collecting knowledge about the current needs in a specific activity, and providing both inferred and augmented knowledge that can then be integrated into current work. Web Services have emerged as distributed, heterogeneous software components that provide machine access to the services otherwise offered on the Web through Web pages. Built upon defacto Web standards for syntax, communication protocols, and markup languages such as XML, Web services provide a near ubiquitous mechanism for communication between applications and agents. In addition, such services can be composed to provide additional functionality, thus facilitating the rapid construction of new services. However, the dynamic use of services is limited by the need to agree a-priori upon data models and interface definitions. By coupling Web service technology with Semantic Web technology, Semantic Web Services can partially relax these constraints, both in the dynamic use of services, and in the data models shared by such services. Several examples of such services have been developed, for example, the ITTALKS services (Cost, Finin, & Joshi, 2002), which are considered in this chapter.
UCSI Towards a User-Centric Service Integration Approach

Pengwei Tian,Yaoxue Zhang,Yuezhi Zhou,Ming Zhong,Cunhao Fang

DOI: https://doi.org/10.1109/apsec.2007.97

2007-01-01

Abstract:Service Integration plays an important role in Service-Oriented Architecture (SOA).With the thriving of SOA, many approaches have been proposed to address the issue. Several languages or specifications are introduced for the definition of integration plan, such as WSFL, BPML and BPEL4WS. And many recent researches employ semantic web techniques to enable the automatic service discovery and interoperation, OWL-S included. Most of the existing approaches are originally introduced for application developers or programmers to use, in which user requirement is usually expressed based on the services themselves. However, a service may be very complex, the functions of which are usually the composite and interconnection of several basic functions. It is sometimes difficult for normal users without developing skills to understand the services and then utilize them to define the integration solution. In the paper, we think that, the most familiar things for normal users are the functions they need and the working process they expect. Based on the intuitive idea, we propose a normal User-Centric Service Integration approach (UCSI). In the approach, a set of function elements are predefined for each specified service domain and three working process notations are introduced to model the relationships between function elements. Then user requirement and service function can both be represented as function elements interconnection based on the process notations. With the representation, the functionality relationship between user requirement and services can be resolved and the service integration solutions can be generated. Normal users with certain knowledge of specified service domains can try using the approach to achieve personalized service integration. And a prototype system is introduced in the end.
Composing Web Services Dynamically And Semantically

Jm Liu,Jt Cui,N Gu

DOI: https://doi.org/10.1145/984622.984657

2004-01-01

Abstract:Web services technology is emerging as a promising approach of integration and interaction for applications within and across organizational boundaries. But it is difficult to meet the practical requirements if only with the individual web services. As a result, federating existing single web services into composite web services is not only necessary but also indispensable. This paper proposes a dynamic and semantic composition approach for web services. In this approach, web services are modeled with some rules whose heads and bodied are related with a semantic ontology used for eliminating the semantic conflicts in composition. Moreover, a Non-backtrace backward chaining algorithm is addressed to compose the existing web services in a more efficient and automatic way. Given the inputs and expected outputs, the approach will automatically and dynamically generate a composition plan and convert it into BPEL4WS that can be executed and returns the results. The whole composition process can be done automatically and dynamically.
Feature-oriented Stigmergy-Based Collaborative Requirements Modeling: an Exploratory Approach for Requirements Elicitation and Evolution Based on Web-Enabled Collective Intelligence

Wei Zhang,Li Yi,HaiYan Zhao,Zhi Jin

DOI: https://doi.org/10.1007/s11432-013-4912-8

2013-01-01

Science China Information Sciences

Abstract:Compared with traditional software applications, the requirements problem of Internetware applications exhibits a set of new characteristics that cannot be resolved by traditional engineer-centered face-to-face requirements methods. In this paper, we present an exploratory approach to the requirements elicitation and evolution problem of Internetware applications, based on the concept of web-enable collective intelligence, to accommodate the situation of large-scale user communities of Internetware applications with diverse and constantly evolving requirements. In particular, we propose a feature-oriented stigmergy-based collaborative requirements modeling method that combines feature-oriented requirements modeling with web-enabled stigmergy-based collaboration to support large-scale collaborative requirements eliciting and evolving activities for Internetware applications. Two experiments are introduced to show the feasibility and effectiveness of this approach.
Requirements-driven Internetware Services Evaluation

Wenting Ma,Lin Liu,Xiaojun Ye,Jianmin Wang,John Mylopoulos

DOI: https://doi.org/10.1145/1640206.1640212

2009-01-01

Abstract:In the services era, evaluation of existing services and planning for new services according to user requirements are key activities that need systematic support. This paper proposes a requirements-driven evaluation framework for Internetware-based services, with respect to both their functionality and risk. In particular, we offer an account of how to model these requirements, how to derive from them a space of service functionality alternatives, and how to select among these alternatives on the basis of desired qualities. In essence, the selection of service functionality is framed as a satisfaction problem for requirements; while service risk is addressed as an analysis of failure rates. We use a typical logistics example scenario to illustrate the proposed framework.
A Framework for Testing Semantic Web Services Using Model Checking

Muhammad Shaban,Gill Dobbie,Jing Sun

DOI: https://doi.org/10.1109/SEEFM.2009.11

2009-01-01

Abstract:Web Services (WS), which are based on standard XML protocols, such as, WSDL, SOAP and UDDI, are the building blocks of Service Oriented Architecture (SOA). The aim of SOA is to automate web service tasks, such as, web service discovery, selection, composition and execution. Since XML is a syntax-based language, the automation of these tasks is still a challenge. To overcome this, web services can be described semantically using an ontology description language, e.g., Web Ontology Language (OWL), giving rise to semantic web services (SWS). Because semantic web services are relatively new, there has been little research into testing and quality assurance aspects. In this paper, we propose a novel approach for generating test cases based on user requirements for testing semantic web services. In SWS frameworks, such as, Web Service Modelling Ontology (WSMO), the user requirements are presented as a goal specification in terms of a state model. We use a model checking approach to generate test cases from this state model. To achieve this, we represent a set of rules for translation from a goal specification to a formal B abstract state machine. The B representation of the goal specification is given as input to the model checker to generate concrete test cases using the assertion violation property of the model checker. Finally, the proposed framework is evaluated using a real world case study based on, the Amazon E-commerce Service.
Integration Technology Based on Semantic Web Services in Collaborative Logistics

SONG Ting-xin,HUANG Bi-qing,WEI Chun-mei

DOI: https://doi.org/10.13196/j.cims.2008.03.174.songtx.012

2008-01-01

Computer Integrated Manufacturing Systems

Abstract:Architectures and implementation method of logistics resource management integration,as well as logistics service business collaboration in supply chain were discussed by using Web services.Process of semantic Web services was discussed,and logistics resources ontology regarding transportation services was constructed.Furthermore,collaborative logistics integration framework based on Web service component and intelligent search engine for logistics services were designed.And a service-oriented business collaboration model was present.At the same time,as an example of business collaboration among manufacturers,customers and logistics providers,order processing flows were implemented with Java2 Enterprise Edition(J2EE) platform.Finally,integration of logistics information system in supply chains was implemented based on service-oriented architecture by using the theories of semantic ontology,Web services and service-oriented collaboration.
A Multi-Stage Modeling Framework for Web Service Composition

Jian Xiao,Li Zheng

DOI: https://doi.org/10.1109/ieem.2007.4419499

2007-01-01

Abstract:This paper considers Web service as a process net and defines it as an extended Petri net, in order to inherit the closure property of Petri nets. Some operators in the web service calculus are illustrated and mapped to the Petri nets operation. Then a multi-stage modeling framework for Web service composition is proposed based on formal modeling language. The framework is semi-automatic. It leverages the advantages of process algebra and semantic web modeling approaches, and integrates various practical tools proposed by literatures in each stage to improve productivity and reduce the expert skill requirements.

Integrating Requirements Specifications and Web Services Using Cognitive Models1

Web Services: an Approach to Business Integration Models for Micro-Payment

Business Integration Models in the Context of Web Services

A Framework Of Universal Web Services

Integrated Product Modeling Based On Web Services In Distributed Environment

Modeling and Verifying Web Services Driven by Requirements: an Ontology-Based Approach.

WiSANCloud: a set of UML-based specifications for the integration of Wireless Sensor and Actor Networks (WSANs) with the Cloud Computing

Cognitive Based Customer & E-MCSR Interaction in E-Business Scenario

An Integrated Cognitive Computing Approach for Systematic Conceptual Design

Evaluation of Computability Criterions for Runtime Web Service Integration

Web Service Retrieval Based on Environment Ontology

INTELLIGENT WEB SERVICES AND ITS META MODEL DRIVEN DEVELOPMENT ENVIRONMENT

Requirements Modeling and System Reconfiguration for Self-Adaptation of Internetware.

An Integrated Formal Approach to Semantic Work Environments Design

UCSI Towards a User-Centric Service Integration Approach

Composing Web Services Dynamically And Semantically

Feature-oriented Stigmergy-Based Collaborative Requirements Modeling: an Exploratory Approach for Requirements Elicitation and Evolution Based on Web-Enabled Collective Intelligence

Requirements-driven Internetware Services Evaluation

A Framework for Testing Semantic Web Services Using Model Checking

Integration Technology Based on Semantic Web Services in Collaborative Logistics

A Multi-Stage Modeling Framework for Web Service Composition