FRINK Linked Data Fragments server

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

• W1522310484 abstract "The Unified Modeling Language (UML) is a widely accepted standard for modeling software systems. The UML supports object-oriented approaches to software development with a rich set of modeling concepts. The graphical notation of UML includes diagrams such as use case diagrams, class diagrams, state diagrams and sequence diagrams. These are used for describing static as well as dynamic aspects of a system. An important part of UML is the Object Constraint Language (OCL) – a textual language that allows to specify additional constraints on models in a more precise and concise way than it is possible to do with diagrams only. While UML offers a rich set of concepts and diagrams, it is still an unsolved problem what the precise meaning of a model and associated constraints is. A number of problems related to under-specified constructs, ambiguities and contradictions have already been identified in the past. In our view, it is important to have a precise semantics of UML models and OCL constraints. Precise foundations are needed for analysis, validation, verification, and transformation (such as refinement and code generation) of models. They are also a prerequisite for providing tools with a well-defined and predictable behavior. We present a precise approach that allows an analysis and validation of UML models and OCL constraints. We focus on models and constraints specified in the analysis and early design stage of a software development process. For this purpose, a suitable subset of UML corresponding to information that is usually represented in class diagrams is identified and formally defined. This basic modeling language provides a context for all OCL constraints. We define a formal syntax and semantics of OCL types, operations, expressions, invariants, and pre-/postconditions. We also give solutions for problems with the current OCL definition and discuss possible extensions. A metamodel for OCL is introduced that defines the abstract syntax of OCL expressions and the structure of types and values. The metamodel approach allows a seamless integration with the UML metamodeling architecture and makes the benefits of a precise OCL definition easier accessible. The OCL metamodel also allows to define context-sensitive conditions for well-formed OCL expressions more precisely. These conditions can now be specified with OCL whereas they previously were specified only informally. In order to demonstrate the practical applicability of our work, we have realized substantial parts of it in a tool supporting the validation of models and constraints. Design specifications can be “executed” and animated thus providing early feedback in an iterative development process. Our approach offers novel ways for checking user data against specifications, for automating test procedures, and for checking CASE tools for standards conformance. Therefore, this work contributes to the goal of improving the overall quality of software systems by combining theoretical and practical techniques." @default.
• W1522310484 created "2016-06-24" @default.
• W1522310484 creator A5010255074 @default.
• W1522310484 date "2002-01-01" @default.
• W1522310484 modified "2023-09-26" @default.
• W1522310484 title "A Precise Approach to Validating UML Models and OCL Constraints" @default.
• W1522310484 cites W115236581 @default.
• W1522310484 cites W115658883 @default.
• W1522310484 cites W143698982 @default.
• W1522310484 cites W1482523787 @default.
• W1522310484 cites W1482812044 @default.
• W1522310484 cites W1485658078 @default.
• W1522310484 cites W1495380017 @default.
• W1522310484 cites W1495459135 @default.
• W1522310484 cites W1496748331 @default.
• W1522310484 cites W1498369023 @default.
• W1522310484 cites W1504594060 @default.
• W1522310484 cites W1506818785 @default.
• W1522310484 cites W1507924933 @default.
• W1522310484 cites W1509485343 @default.
• W1522310484 cites W1518695183 @default.
• W1522310484 cites W1520697883 @default.
• W1522310484 cites W1521480534 @default.
• W1522310484 cites W1532760223 @default.
• W1522310484 cites W1537161110 @default.
• W1522310484 cites W1541318173 @default.
• W1522310484 cites W1542384821 @default.
• W1522310484 cites W1543667518 @default.
• W1522310484 cites W1544286821 @default.
• W1522310484 cites W1545932009 @default.
• W1522310484 cites W1546981233 @default.
• W1522310484 cites W1548060395 @default.
• W1522310484 cites W1552391866 @default.
• W1522310484 cites W155405043 @default.
• W1522310484 cites W1555033082 @default.
• W1522310484 cites W1557220069 @default.
• W1522310484 cites W1558832481 @default.
• W1522310484 cites W1559318659 @default.
• W1522310484 cites W1562350268 @default.
• W1522310484 cites W1563857 @default.
• W1522310484 cites W1566214218 @default.
• W1522310484 cites W1566359901 @default.
• W1522310484 cites W1569841956 @default.
• W1522310484 cites W1572116564 @default.
• W1522310484 cites W1573083166 @default.
• W1522310484 cites W1574633204 @default.
• W1522310484 cites W1574837706 @default.
• W1522310484 cites W1575681083 @default.
• W1522310484 cites W1582875143 @default.
• W1522310484 cites W1587843555 @default.
• W1522310484 cites W1588241307 @default.
• W1522310484 cites W1590486154 @default.
• W1522310484 cites W1600288868 @default.
• W1522310484 cites W1601957077 @default.
• W1522310484 cites W1605658996 @default.
• W1522310484 cites W1611281168 @default.
• W1522310484 cites W172403954 @default.
• W1522310484 cites W1741816193 @default.
• W1522310484 cites W1769049936 @default.
• W1522310484 cites W1769491288 @default.
• W1522310484 cites W1829221650 @default.
• W1522310484 cites W1877477396 @default.
• W1522310484 cites W1879346405 @default.
• W1522310484 cites W1880467568 @default.
• W1522310484 cites W1897671555 @default.
• W1522310484 cites W1899484322 @default.
• W1522310484 cites W1913755735 @default.
• W1522310484 cites W1921765397 @default.
• W1522310484 cites W1977976679 @default.
• W1522310484 cites W1998017916 @default.
• W1522310484 cites W2001657718 @default.
• W1522310484 cites W2015255691 @default.
• W1522310484 cites W2027657506 @default.
• W1522310484 cites W2029344921 @default.
• W1522310484 cites W2030658843 @default.
• W1522310484 cites W2034407620 @default.
• W1522310484 cites W2034832576 @default.
• W1522310484 cites W2036889579 @default.
• W1522310484 cites W2053678463 @default.
• W1522310484 cites W2070270825 @default.
• W1522310484 cites W2088627600 @default.
• W1522310484 cites W2099106391 @default.
• W1522310484 cites W2099293367 @default.
• W1522310484 cites W2099529102 @default.
• W1522310484 cites W2117062409 @default.
• W1522310484 cites W2118255887 @default.
• W1522310484 cites W2118968163 @default.
• W1522310484 cites W2123858323 @default.
• W1522310484 cites W2125641480 @default.
• W1522310484 cites W2130501155 @default.
• W1522310484 cites W2136137337 @default.
• W1522310484 cites W2138661194 @default.
• W1522310484 cites W2138699581 @default.
• W1522310484 cites W2138709157 @default.
• W1522310484 cites W2139907081 @default.
• W1522310484 cites W2144192824 @default.
• W1522310484 cites W2150352911 @default.
• W1522310484 cites W2153647351 @default.
• W1522310484 cites W2158864412 @default.
• W1522310484 cites W2159765281 @default.

• next