隼鹰
发表于 2025-4-2 22:25:54
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
步兵
发表于 2025-4-3 01:50:05
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
发表于 2025-4-3 05:40:42
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
发表于 2025-4-3 08:38:57
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
发表于 2025-4-3 16:07:30
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