Titlebook: Web Information Systems -- WISE 2004; 5th International Co Xiaofang Zhou,Stanley Su,Keith Jeffery Conference proceedings 2004 Springer-Verl

隼鹰

Web Information Exchange Diagrams for UMLprocesses and workflows are understood. By representing these relationships and defining transformations between them we support the joint evolution business and web systems and ensure their compatibility and optimisation. In previous work we have developed and evaluated a model (called WIED) which

步兵

A User Service Oriented Method to Model Web Information Systemsrmation through the Internet. However, due to the lack of suitable methods to build the navigation model of WIS, frequently the users are lost while navigating through the system, because they do not know how to use it. Traditional methodologies for WIS development usually propose to obtain the navi

Indict

A User Service Oriented Method to Model Web Information Systemsrmation through the Internet. However, due to the lack of suitable methods to build the navigation model of WIS, frequently the users are lost while navigating through the system, because they do not know how to use it. Traditional methodologies for WIS development usually propose to obtain the navi

Folklore

The Power of Media Types story space, i.e. the definition of information portfolios for the actors, and the concretisation of pre- and postconditions for actions. In this paper we show that this leads to higher-order dynamic logic as a basis for formally reasoning about the system specification. In particular, we address t

PON

The Power of Media Types story space, i.e. the definition of information portfolios for the actors, and the concretisation of pre- and postconditions for actions. In this paper we show that this leads to higher-order dynamic logic as a basis for formally reasoning about the system specification. In particular, we address t