000112721 001__ 112721
000112721 005__ 20190717172514.0
000112721 0247_ $$2doi$$a10.5075/epfl-thesis-3972
000112721 02470 $$2urn$$aurn:nbn:ch:bel-epfl-thesis3972-0
000112721 02471 $$2nebis$$a5449457
000112721 037__ $$aTHESIS
000112721 041__ $$aeng
000112721 088__ $$a3972
000112721 245__ $$benriching graphical systemic models to support diagrammatic reasoning in system design$$aVisual contracts (VCs)
000112721 269__ $$a2008
000112721 260__ $$bEPFL$$c2008$$aLausanne
000112721 300__ $$a166
000112721 336__ $$aTheses
000112721 502__ $$aColin Atkinson, Claude Petitpierre, Yves Pigneur
000112721 520__ $$aModel-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.
000112721 6531_ $$asystemic modeling
000112721 6531_ $$asystem specifications
000112721 6531_ $$acontract modeling
000112721 6531_ $$avisual specifications
000112721 6531_ $$aUML
000112721 6531_ $$aenterprise architecture
000112721 6531_ $$aformal methods
000112721 6531_ $$amodélisation systémique
000112721 6531_ $$aspécification des systèmes
000112721 6531_ $$amodélisation de contrats
000112721 6531_ $$aspécification visuelle
000112721 6531_ $$aUML
000112721 6531_ $$aarchitecture d'entreprise
000112721 6531_ $$améthodes formelles
000112721 700__ $$0(EPFLAUTH)139800$$g139800$$aDe La Cruz Garcia, José Diego
000112721 720_2 $$aWegmann, Alain$$edir.$$g112464$$0241922
000112721 8564_ $$zTexte intégral / Full text$$yTexte intégral / Full text$$uhttps://infoscience.epfl.ch/record/112721/files/EPFL_TH3972.pdf$$s7619615
000112721 909C0 $$xU10412$$pLAMS$$0252193
000112721 909CO $$pthesis-bn2018$$pDOI$$pIC$$ooai:infoscience.tind.io:112721$$qDOI2$$qGLOBAL_SET$$pthesis
000112721 918__ $$dEDHP$$bIC-SSC$$cIIF$$aIC
000112721 919__ $$aLAMS
000112721 920__ $$b2007$$a2007-12-7
000112721 970__ $$a3972/THESES
000112721 973__ $$sPUBLISHED$$aEPFL
000112721 980__ $$aTHESIS