FRINK Linked Data Fragments server

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

• W1770083256 abstract "Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is used to make an unsatisfactory real world situation into a satisfactory one. Thus, software application development is a problem solving activity that assumes a problem has been identified and a software application is desired to address this problem. In this context, it is necessary to take measures that ensure the solution will be both adequate and appropriate with respect to the problem. In particular, it is of utmost importance that the problem in hand and the application's role in helping to solve it are satisfactorily understood by the development team. If this condition is not observed then the application produced is doomed to be inadequate and/or inappropriate, independently of the capabilities of the available technologies and resources, and also independently of other wicked aspects of software development: constantly changing requirements, time-to-market pressures, significant social, political, ethical or economic issues in the project, etc. The principal objective of this thesis was to improve the state-of-the-art of specifications that are used to communicate to the development team the behavior of the (future) system. In addressing this objective, this work initially involved defining the essential requirements of specifications that could ensure that the development team has a precise, correct and common understanding of the way the system is required to behave. As a result of analyzing the identified requirements, two general kinds of specifications were distinguished and perceived to be necessary to address the requirements adequately; one that addresses the concerns of the designers, providing a precise description of the system responsibilities; and one that addresses the concerns of the stakeholders in general, providing an informal description of the goals that the stakeholders have against the system. The first specification is referred to as the Behavioral Design Contract and the second one is referred to as the Behavioral Stakeholders Contract. In this thesis, these two specifications were concretely realized as part of the ANZAC approach. The ANZAC approach defines two work artifacts called the ANZAC use case descriptions and the ANZAC specification, which express the Behavioral Stakeholders Contract and the Behavioral Design Contract, respectively. ANZAC use case descriptions offer an informal and usage-oriented description of the concordant goals that the stakeholders have against the system. An ANZAC specification offers a precise, operational description of the system's responsibilities in servicing all possible requests that it can receive over its lifetime; it uses a restricted subset of the Unified Modeling Language (UML) and its Object Constraint Language (OCL). In the ANZAC approach, the ANZAC use case descriptions are developed following the ANZAC use case framework. This framework defines the context, purpose, style and form of an ANZAC use case description, and it provides a goal-based approach to use case elicitation. Once a number of ANZAC use case descriptions are established, they can be refined to an ANZAC specification. This refinement procedure is (informally) defined by the ANZAC mapping technique. An ANZAC specification is developed by the description of three models, which each express a different but complementary view of the system. These three models are called the Concept Model, the Operation Model, and the Protocol Model. The Concept Model defines an abstract system state space in terms of concepts from the problem domain, the Operation Model describes the effect of system operations on the system state, and the Protocol Model defines the correct behavior of the system in terms of its (allowable) input protocol. As a proof of concept, this thesis demonstrates the ANZAC approach applied to an elevator control system, which is used to show how ANZAC offers a clean approach for capturing the Behavioral Stakeholders and Design Contract. The elevator case study demonstrates the mapping between the Behavioral Stakeholders Contract and the Behavioral Design Contract using the ANZAC mapping technique. It also highlights the difference in the level of precision and formality that can be found between ANZAC use case descriptions and an ANZAC specification. Furthermore, it demonstrates some of the more advanced features of the ANZAC approach, in particular, its ability to specify performance constraints and concurrent behavior." @default.
• W1770083256 created "2016-06-24" @default.
• W1770083256 creator A5076078944 @default.
• W1770083256 date "2002-01-01" @default.
• W1770083256 modified "2023-09-23" @default.
• W1770083256 title "Specifying reactive system behavior" @default.
• W1770083256 cites W115598873 @default.
• W1770083256 cites W1248316247 @default.
• W1770083256 cites W134857525 @default.
• W1770083256 cites W1482299161 @default.
• W1770083256 cites W1485658078 @default.
• W1770083256 cites W1493481799 @default.
• W1770083256 cites W1494539041 @default.
• W1770083256 cites W1495380017 @default.
• W1770083256 cites W1496748331 @default.
• W1770083256 cites W1498369023 @default.
• W1770083256 cites W1498489270 @default.
• W1770083256 cites W1501338961 @default.
• W1770083256 cites W1504045958 @default.
• W1770083256 cites W1510810921 @default.
• W1770083256 cites W1511637839 @default.
• W1770083256 cites W1518695183 @default.
• W1770083256 cites W1521083034 @default.
• W1770083256 cites W1521847655 @default.
• W1770083256 cites W1522283593 @default.
• W1770083256 cites W1522310484 @default.
• W1770083256 cites W1523840440 @default.
• W1770083256 cites W1524173681 @default.
• W1770083256 cites W1540311744 @default.
• W1770083256 cites W1543262385 @default.
• W1770083256 cites W1543667518 @default.
• W1770083256 cites W1546220007 @default.
• W1770083256 cites W1546981233 @default.
• W1770083256 cites W1548825518 @default.
• W1770083256 cites W1550395138 @default.
• W1770083256 cites W1552647623 @default.
• W1770083256 cites W1553078293 @default.
• W1770083256 cites W1555946950 @default.
• W1770083256 cites W1559635480 @default.
• W1770083256 cites W1559870885 @default.
• W1770083256 cites W1560643514 @default.
• W1770083256 cites W1572116564 @default.
• W1770083256 cites W1572294604 @default.
• W1770083256 cites W1575681083 @default.
• W1770083256 cites W1577046070 @default.
• W1770083256 cites W1577316669 @default.
• W1770083256 cites W1583126097 @default.
• W1770083256 cites W1588922706 @default.
• W1770083256 cites W1591711427 @default.
• W1770083256 cites W1593966229 @default.
• W1770083256 cites W1594445969 @default.
• W1770083256 cites W1604214744 @default.
• W1770083256 cites W1606283988 @default.
• W1770083256 cites W1611281168 @default.
• W1770083256 cites W1663265499 @default.
• W1770083256 cites W166536942 @default.
• W1770083256 cites W177740014 @default.
• W1770083256 cites W1779567777 @default.
• W1770083256 cites W1786578488 @default.
• W1770083256 cites W1822925936 @default.
• W1770083256 cites W1844961184 @default.
• W1770083256 cites W1874259416 @default.
• W1770083256 cites W1877493412 @default.
• W1770083256 cites W1879346405 @default.
• W1770083256 cites W1903741892 @default.
• W1770083256 cites W1922133834 @default.
• W1770083256 cites W1926460446 @default.
• W1770083256 cites W1936022305 @default.
• W1770083256 cites W1961005345 @default.
• W1770083256 cites W1970495662 @default.
• W1770083256 cites W1972908970 @default.
• W1770083256 cites W1974426447 @default.
• W1770083256 cites W1986831108 @default.
• W1770083256 cites W1998017916 @default.
• W1770083256 cites W2001612127 @default.
• W1770083256 cites W200273341 @default.
• W1770083256 cites W200525573 @default.
• W1770083256 cites W2017111315 @default.
• W1770083256 cites W2017739343 @default.
• W1770083256 cites W2026068671 @default.
• W1770083256 cites W2028909600 @default.
• W1770083256 cites W2038514025 @default.
• W1770083256 cites W2040752081 @default.
• W1770083256 cites W2042913560 @default.
• W1770083256 cites W2045837417 @default.
• W1770083256 cites W2052363833 @default.
• W1770083256 cites W2060440626 @default.
• W1770083256 cites W2064650227 @default.
• W1770083256 cites W2067882404 @default.
• W1770083256 cites W2073806869 @default.
• W1770083256 cites W2083039210 @default.
• W1770083256 cites W2090551028 @default.
• W1770083256 cites W2094744506 @default.
• W1770083256 cites W2096360482 @default.
• W1770083256 cites W2103953153 @default.
• W1770083256 cites W2105603754 @default.
• W1770083256 cites W2107552120 @default.
• W1770083256 cites W2121163444 @default.
• W1770083256 cites W2123586642 @default.
• W1770083256 cites W2124405605 @default.

• next