An Introduction to MultiAgent Systems.

http://www.fsegn.rnu.tn/documents/syllabus_6/Expose%20e-Tourism%20Website%20Evaluation/A%20review%20of%20web%20site%20evaluation%20in%20Tourism%20research%20-%20Law%20et%20al.%202010.pdf

Progress in tourism management : a review of website evaluation in tourism research

The B Book

A literature review and classification of electronic commerce research

Determinants of Chinese hotel customers’ e-satisfaction and purchase intentions

The World Wide Web (WWW) or the Web has been recognized as a powerful new information exchange channel in recent years. Today, an ever‐increasing number of businesses have set up Web sites to publicize their products and services. However, careful planning and preparation is needed to achieve the intended purpose of this new information exchange channel. This paper proposes a comprehensive framework for effective commercial Web application development based on prior research in hypermedia and human‐computer interfaces. The framework regards Web application development as a special type of software development project. At the onset of the project, its social acceptability is investigated. Next, economic, technical, operational, and organizational viability are examined. For Web page design, both the functionality and usability of Web pages are thoroughly considered. The use of the framework should result in more effective commercial Web application development.

/pdf/a-framework-for-effective-commercial-web-application-17spzg5qn0.pdf

A framework for effective commercial Web application development

Simulation is the primary approach to the performance analysis of multi-agent manufacturing systems. In a typical simulation experiment, varying the agent negotiation protocol’s timing parameters can yield incomparable results in performance terms due to behavioral problems such as deadlocks and livelocks. Formal verification can help resolve such problems and therefore plays an important role in the design of agent negotiation protocols. We describe an efficient and scalable approach to formal verification based on an industrial-strength model checking tool and illustrate it with an example.

Behavioral modeling and verification of multi-agent systems for manufacturing control

The Unified Modelling Language (UML) includes a variant of state charts, called state diagrams (SD), for modelling systems with complex interactive behaviour. The official definition of UML specifies the abstract syntax of state diagrams without any formal semantics and hence is unable to perform formal system behaviour analysis. Various attempts have been made to provide such a formal basis for UML state diagrams. Among different attempts, the work reported in [Muan Yong Ng et al. (2003)] is formalizing SD in terms of communicating sequential processes (CSP). In this paper, we present some improvements upon the formalization. The improvements help clarify the semantics of UML SD and make the formalization more complete. Furthermore, we illustrate the use of CSP in reasoning about the equivalence of state diagrams and discuss the benefits of the formalization.

Improvements towards formalizing UML state diagrams in CSP

Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners' web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-^* notations in composition.

W. L. Yeung

Papers

A framework for effective commercial Web application development

Behavioral modeling and verification of multi-agent systems for manufacturing control

Improvements towards formalizing UML state diagrams in CSP

A formal and visual modeling approach to choreography based web services composition and conformance verification

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP