Matches in SemOpenAlex for { <https://semopenalex.org/work/W1590979430> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1590979430 abstract "Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of choice for model-driven methods is the Unified Modeling Language (UML). In UML, modelers are forced to separately model structure (class diagrams), behavior (activity, sequence diagrams), state (statecharts), and integrity constraints (OCL). This separation of models makes it difficult to understand the overall behavior of the resulting system. We propose a visual modeling notation, called visual contracts, for system specifications, which incorporate the four aspects (i.e., behavioral, structural, state and constraints) in a single diagram. From a UML point of view, this is a combination of an activity diagram, a class diagram, a statechart, and OCL code. Proposing a unified, diagrammatic notation for contracts requires advances in the following three dimensions: visual, formal and system-centric. We examine the current state of research in modeling notations for system specifications, in contracts and in visual notations. We then describe the main contribution of the thesis, the concept of Visual Contracts. Visual Contracts condense the four components of the specification –i.e. behavior, structure, state, and constraints– in a compact form. Visual Contracts contain all the elements required for a specification. Visual Contracts are based on set theory. They are formalized in Alloy. As this is a complementary approach to traditional, analytic specification techniques, we are able to express features that are difficult to express using notations such as UML. We consider that visual contracts, as a complement to UML, can be one of the aspects that can help model-driven approaches to fulfill their promise." @default.
- W1590979430 created "2016-06-24" @default.
- W1590979430 creator A5046295732 @default.
- W1590979430 creator A5072325286 @default.
- W1590979430 date "2008-01-01" @default.
- W1590979430 modified "2023-09-23" @default.
- W1590979430 title "Visual contracts (VCs)" @default.
- W1590979430 doi "https://doi.org/10.5075/epfl-thesis-3972" @default.
- W1590979430 hasPublicationYear "2008" @default.
- W1590979430 type Work @default.
- W1590979430 sameAs 1590979430 @default.
- W1590979430 citedByCount "0" @default.
- W1590979430 crossrefType "journal-article" @default.
- W1590979430 hasAuthorship W1590979430A5046295732 @default.
- W1590979430 hasAuthorship W1590979430A5072325286 @default.
- W1590979430 hasConcept C106624574 @default.
- W1590979430 hasConcept C116253237 @default.
- W1590979430 hasConcept C145644426 @default.
- W1590979430 hasConcept C153185123 @default.
- W1590979430 hasConcept C154945302 @default.
- W1590979430 hasConcept C16671368 @default.
- W1590979430 hasConcept C167822520 @default.
- W1590979430 hasConcept C199360897 @default.
- W1590979430 hasConcept C202446494 @default.
- W1590979430 hasConcept C2777212361 @default.
- W1590979430 hasConcept C2777904410 @default.
- W1590979430 hasConcept C2780330621 @default.
- W1590979430 hasConcept C33923547 @default.
- W1590979430 hasConcept C41008148 @default.
- W1590979430 hasConcept C45357846 @default.
- W1590979430 hasConcept C48419115 @default.
- W1590979430 hasConcept C64219723 @default.
- W1590979430 hasConcept C94375191 @default.
- W1590979430 hasConceptScore W1590979430C106624574 @default.
- W1590979430 hasConceptScore W1590979430C116253237 @default.
- W1590979430 hasConceptScore W1590979430C145644426 @default.
- W1590979430 hasConceptScore W1590979430C153185123 @default.
- W1590979430 hasConceptScore W1590979430C154945302 @default.
- W1590979430 hasConceptScore W1590979430C16671368 @default.
- W1590979430 hasConceptScore W1590979430C167822520 @default.
- W1590979430 hasConceptScore W1590979430C199360897 @default.
- W1590979430 hasConceptScore W1590979430C202446494 @default.
- W1590979430 hasConceptScore W1590979430C2777212361 @default.
- W1590979430 hasConceptScore W1590979430C2777904410 @default.
- W1590979430 hasConceptScore W1590979430C2780330621 @default.
- W1590979430 hasConceptScore W1590979430C33923547 @default.
- W1590979430 hasConceptScore W1590979430C41008148 @default.
- W1590979430 hasConceptScore W1590979430C45357846 @default.
- W1590979430 hasConceptScore W1590979430C48419115 @default.
- W1590979430 hasConceptScore W1590979430C64219723 @default.
- W1590979430 hasConceptScore W1590979430C94375191 @default.
- W1590979430 hasLocation W15909794301 @default.
- W1590979430 hasOpenAccess W1590979430 @default.
- W1590979430 hasPrimaryLocation W15909794301 @default.
- W1590979430 hasRelatedWork W1522310484 @default.
- W1590979430 hasRelatedWork W1530368139 @default.
- W1590979430 hasRelatedWork W1544324534 @default.
- W1590979430 hasRelatedWork W1550064809 @default.
- W1590979430 hasRelatedWork W1592508745 @default.
- W1590979430 hasRelatedWork W1592664298 @default.
- W1590979430 hasRelatedWork W182475181 @default.
- W1590979430 hasRelatedWork W1947925521 @default.
- W1590979430 hasRelatedWork W2024047464 @default.
- W1590979430 hasRelatedWork W2035687157 @default.
- W1590979430 hasRelatedWork W2107803277 @default.
- W1590979430 hasRelatedWork W2135211317 @default.
- W1590979430 hasRelatedWork W2145422426 @default.
- W1590979430 hasRelatedWork W2172479740 @default.
- W1590979430 hasRelatedWork W2416696416 @default.
- W1590979430 hasRelatedWork W2534645623 @default.
- W1590979430 hasRelatedWork W2591084026 @default.
- W1590979430 hasRelatedWork W2792021443 @default.
- W1590979430 hasRelatedWork W649136448 @default.
- W1590979430 hasRelatedWork W99640918 @default.
- W1590979430 isParatext "false" @default.
- W1590979430 isRetracted "false" @default.
- W1590979430 magId "1590979430" @default.
- W1590979430 workType "article" @default.