From representation to mediation: a new agenda for conceptual modeling research in a digital world
The role of information systems (IS) as representations of real-world systems is changing in
an increasingly digitalized world, suggesting that conceptual modeling is losing its …
an increasingly digitalized world, suggesting that conceptual modeling is losing its …
A taxonomy of MBSE approaches by languages, tools and methods
Systems engineering has gained in maturity over the last decades and started a transition
from document-centric approaches to Model-Based Systems Engineering (MBSE). Several …
from document-centric approaches to Model-Based Systems Engineering (MBSE). Several …
A UML model consistency verification approach based on meta-modeling formalization
H Malgouyres, G Motet - Proceedings of the 2006 ACM symposium on …, 2006 - dl.acm.org
UML language provides a promising way to overcome software system complexity. In
particular, UML is a unified language that handles different aspects of software modeling …
particular, UML is a unified language that handles different aspects of software modeling …
AVATAR: A SysML environment for the formal verification of safety and security properties
G Pedroza, L Apvrille, D Knorreck - 2011 11th Annual …, 2011 - ieeexplore.ieee.org
Critical embedded systems-eg, automotive systems-are now commonly distributed, thus
exposing their communication links to attackers. The design of those systems shall therefore …
exposing their communication links to attackers. The design of those systems shall therefore …
First experiments using the uml profile for marte
S Demathieu, F Thomas, C André… - 2008 11th IEEE …, 2008 - ieeexplore.ieee.org
A UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)
has been recently standardized by the OMG. This initiative meets the needs of several …
has been recently standardized by the OMG. This initiative meets the needs of several …
Checking SysML models against safety and security properties
Systems engineering, or engineering in general, has long been relying on document-centric
approaches. Switching to model-based systems engineering, or MBSE for short, has …
approaches. Switching to model-based systems engineering, or MBSE for short, has …
Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems
Abstract Self-Adaptive Systems modify their behavior at run-time in response to changing
environmental conditions. For these systems, Non-Functional Requirements play an …
environmental conditions. For these systems, Non-Functional Requirements play an …
A NEW TAXONOMY OF INCONSISTENCIES IN UML MODELS WITH THEIR DETECTION METHODS FOR BETTER MDE.
D Allaki, M Dahchour… - International Journal of …, 2015 - search.ebscohost.com
Abstract MDE (Model Driven Engineering) is an emerging software engineering paradigm
that relies on models as primary artifacts to build complex software and hardware systems. It …
that relies on models as primary artifacts to build complex software and hardware systems. It …
Incremental and formal verification of sysml models
Agile methods are now commonly used to design critical systems. They consist in
progressively doing increments to a model, and subsequently checking that all previously …
progressively doing increments to a model, and subsequently checking that all previously …
TEPE: a SysML language for time-constrained property modeling and formal verification
Using UML or SysML models in a verification-centric method requires a property expression
language, a formal semantics, and a tool. The paper introduces TEPE, a graphical TEmporal …
language, a formal semantics, and a tool. The paper introduces TEPE, a graphical TEmporal …