Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach [PDF]
, 2005 Within MDA models are usually created in the UML. However, one may prefer to\ud use different notations such as Petri-nets, for example, for modelling concurrency\ud and synchronization properties of systems. This paper claims that techniques that\ud are
Aksit, M., Roubtsova, E.E.
core +1 more source
XRound : A reversible template language and its application in model-based security analysis [PDF]
, 2009 Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models themselves.
Balogh +10 more
core +1 more source
A participatory modeling method for multi-points of view description of a system from scientist's perceptions : application in seed systems modeling in Mali and Chile [PDF]
, 2011 This paper presents a participatory modeling for multi-points of view description of a system from scientists' knowledge. The method is applied in the development of a generic model for agro-biodiversity dynamics in developing countries with a focus on ...
Bazile, Didier +4 more
core
A Modeling Approach based on UML/MARTE for GPU Architecture [PDF]
, 2011 Nowadays, the High Performance Computing is part of the context of embedded systems. Graphics Processing Units (GPUs) are more and more used in acceleration of the most part of algorithms and applications.
Dekeyser, Jean-Luc +2 more
core +2 more sources
Modelling electronic service systems using UML [PDF]
, 2003 This paper presents a profile for modelling systems of electronic services using UML. Electronic services encapsulate business services, an organisational unit focused on delivering benefit to a consumer, to enhance communication, coordination and ...
Piccinelli, G., Skene, J., Stearns, M.
core
An Evaluation of Inter-Organizational Workflow Modelling Formalisms [PDF]
This paper evaluates the dynamic aspects of the UML in the context of inter-organizational workflows. Two evaluation methodologies are used. The first one is ontological and is based on the BWW (Bunge-Wand-Weber) models. The second validation is based on
Aymeric Dussart +2 more
core
From ternary relationship to relational tables: a case against common beliefs [PDF]
, 2002 The transformation from n-ary relationships to a relational database schema has never been really fully analyzed. This paper presents one of the several ternary cases ignored by the ER-to-RM literature.
Camps Pare, Rafael
core +1 more source
Model the System from Adversary Viewpoint: Threats Identification and Modeling
, 2014 Security attacks are hard to understand, often expressed with unfriendly and limited details, making it difficult for security experts and for security analysts to create intelligible security specifications.
Apvrille, Ludovic +2 more
core +2 more sources
A Model-Driven Platform for Dynamic Partially Reconfigurable Architectures: A Case Study of a Watermarking System. [PDF]
Micromachines (Basel), 2023 Dalbouchi R +3 more
europepmc +1 more source
Conceptual modelling for life sciences based on systemist foundations. [PDF]
BMC Bioinformatics, 2023 Lukyanenko R, Storey VC, Pastor O.
europepmc +1 more source