FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111644281> ?p ?o ?g. }

• W2111644281 abstract "The ubiquitous and simple interface of Web browsers has opened the door for the devel- opment of a new class of distributed applications which they have been known as Web applications. As more and more systems become Web-enabled we become increasingly dependent on the Web applications. Therefore, reliability of such systems is a very crucial factor for successful operation of many modern organisations and institutes. In the ¯rst part of this thesis we review how Web systems have evolved from simple static pages, in their early days, to their current situation as distributed applications with sophisticated functionalities. We also ¯nd out how the design methods have evolved to align with the rapid changes both in the new emerging technologies and growing functionalities. Although design approaches for Web applications have improved during the last decade we conclude that dependability should be given more consideration. In Chapter 2 we explain how this could be achieved through the application of formal methods. Therefore, we have provided an overview of dependability and formal methods in this chapter. In the second part of this research we follow a practical approach to the formal modelling of Web Applications. Accordingly, in Chapter 3 we have developed a series of formal models for an integrated holiday booking system. Our main objectives are to gain some common knowledge of the domain and to identify some key areas and features with regard to our formal modelling approach. Formal modelling of large Web applications could be a very complex process. In Chapter 4 we have introduced the idea of formal patterns for speci¯cation and re¯nement to accelerate the modelling process and to help alleviate the burden of formal modelling. In a further attempt to tackle the complexity of the formal modelling of Web applica- tions, we have introduced the idea of speci¯cation partitioning in Chapter 5. Speci¯- cation partitioning is closely related to the notion of composition. In this chapter we have extended some CSP-like composition techniques to build the system speci¯cation from subsystems or parts. The summary of our research, related ¯ndings and some suggestions for the future work are presented in Chapter 6." @default.
• W2111644281 created "2016-06-24" @default.
• W2111644281 creator A5088423106 @default.
• W2111644281 date "2006-07-20" @default.
• W2111644281 modified "2023-09-23" @default.
• W2111644281 title "Formal patterns for Web-based systems design" @default.
• W2111644281 cites W1480087929 @default.
• W2111644281 cites W1480560656 @default.
• W2111644281 cites W1486653873 @default.
• W2111644281 cites W1489800325 @default.
• W2111644281 cites W1497559908 @default.
• W2111644281 cites W1497996216 @default.
• W2111644281 cites W1499512708 @default.
• W2111644281 cites W1500110201 @default.
• W2111644281 cites W150293656 @default.
• W2111644281 cites W1503973138 @default.
• W2111644281 cites W1504504841 @default.
• W2111644281 cites W1506588809 @default.
• W2111644281 cites W1511110335 @default.
• W2111644281 cites W1516626990 @default.
• W2111644281 cites W1518695183 @default.
• W2111644281 cites W1521090518 @default.
• W2111644281 cites W152427338 @default.
• W2111644281 cites W1526969236 @default.
• W2111644281 cites W1528944026 @default.
• W2111644281 cites W1535654799 @default.
• W2111644281 cites W1536364518 @default.
• W2111644281 cites W1542358180 @default.
• W2111644281 cites W1556500444 @default.
• W2111644281 cites W1559870885 @default.
• W2111644281 cites W1560103981 @default.
• W2111644281 cites W1560393601 @default.
• W2111644281 cites W1563733575 @default.
• W2111644281 cites W1564594068 @default.
• W2111644281 cites W1564787711 @default.
• W2111644281 cites W1567115339 @default.
• W2111644281 cites W1568307832 @default.
• W2111644281 cites W1569901327 @default.
• W2111644281 cites W1571585708 @default.
• W2111644281 cites W1575221187 @default.
• W2111644281 cites W1577350072 @default.
• W2111644281 cites W1583095677 @default.
• W2111644281 cites W1584543610 @default.
• W2111644281 cites W1585597514 @default.
• W2111644281 cites W1587129889 @default.
• W2111644281 cites W1591878828 @default.
• W2111644281 cites W1596359955 @default.
• W2111644281 cites W1604959559 @default.
• W2111644281 cites W1608021225 @default.
• W2111644281 cites W1649645444 @default.
• W2111644281 cites W1767203937 @default.
• W2111644281 cites W1832857872 @default.
• W2111644281 cites W1840164833 @default.
• W2111644281 cites W1860225648 @default.
• W2111644281 cites W1888119282 @default.
• W2111644281 cites W1905286477 @default.
• W2111644281 cites W1964482512 @default.
• W2111644281 cites W1967583234 @default.
• W2111644281 cites W2013658284 @default.
• W2111644281 cites W2013909881 @default.
• W2111644281 cites W2015688007 @default.
• W2111644281 cites W2037704142 @default.
• W2111644281 cites W2038650831 @default.
• W2111644281 cites W2041918563 @default.
• W2111644281 cites W2059941496 @default.
• W2111644281 cites W2060765494 @default.
• W2111644281 cites W2066245151 @default.
• W2111644281 cites W2074851064 @default.
• W2111644281 cites W2077318760 @default.
• W2111644281 cites W2096973649 @default.
• W2111644281 cites W2100511017 @default.
• W2111644281 cites W2103860438 @default.
• W2111644281 cites W2105324142 @default.
• W2111644281 cites W2110453763 @default.
• W2111644281 cites W2111541045 @default.
• W2111644281 cites W2113355185 @default.
• W2111644281 cites W2115603783 @default.
• W2111644281 cites W2117272498 @default.
• W2111644281 cites W2118023438 @default.
• W2111644281 cites W2119895020 @default.
• W2111644281 cites W2122824813 @default.
• W2111644281 cites W2126475077 @default.
• W2111644281 cites W2130843823 @default.
• W2111644281 cites W2130968537 @default.
• W2111644281 cites W2135261979 @default.
• W2111644281 cites W2138549619 @default.
• W2111644281 cites W2139715391 @default.
• W2111644281 cites W2143082089 @default.
• W2111644281 cites W2146082668 @default.
• W2111644281 cites W2149307028 @default.
• W2111644281 cites W2151118719 @default.
• W2111644281 cites W2153163751 @default.
• W2111644281 cites W2160143212 @default.
• W2111644281 cites W2160766168 @default.
• W2111644281 cites W2170486381 @default.
• W2111644281 cites W2239801920 @default.
• W2111644281 cites W2246269885 @default.
• W2111644281 cites W2293400264 @default.
• W2111644281 cites W27343280 @default.
• W2111644281 cites W2742699674 @default.

• next