Modeling Techniques
Modeling Techniques for MMC Employed on VSC-HVDC Schemes
... modelling techniques (AM and ...modelling techniques were compared against the TDM modeling technique in terms of accuracy and simulation ...DEM modeling techniques offer a good level ...
7
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... There are several tools around that consider the co-evolution of Eclipse Modeling Framework (EMF) models. COPE (now:Edapt) [HBJ09] provides a rich set of co-evolution operators that implement evolution and ...
14
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... So far, however, the combination of EMF and ModGraph did not provide total model-driven software engineering, which would imply that software engineers may generate complete ap- plications from structural and behavioral ...
14
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... Hypergraph transformation is related to algebraic graph transformation [ EEPT06 ], where structural changes are modelled in the double-pushout (DPO) approach for the category of (typed, [r] ...
14
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... For the first experiment, we have generated 12 examples based on graphs of increasing size and, while running the algorithm, recorded the time it takes to load them into the database, co[r] ...
13
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... After the look ahead is computed, all potential follow-up states and their paths can be scored to allow the simulator to choose the path most suitable to fulfill the goals of the current[r] ...
13
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... Model-based software testing as a means to automate testing activities has been investigated by [NFTJ06, GHV, SAV + 06], among others. Visual contracts have been used for testing, e.g., in [LSE05, KRH12a], and more ...
13
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... The semantic specification of the control language is defined declaratively using the metacom- pilation system JastAdd [ HM03 ] which is based on object-oriented concepts, reference attr[r] ...
14
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... This construction will not only be given for graph automata, but more generally for languages of cospans of (monic) arrows in adhesive categories [ LS05 ].. The properties of adhesive ca[r] ...
15
Quality-of-service in cloud computing: modeling techniques and their applications
... performance modeling. Applica- tions to cloud QoS modeling include the use of SPNs to evaluate the dependability of a cloud infrastructure [68], considering both reliability and ...
17
Application of Speech Signals to Deterministic Signal Modeling Techniques
... The speech signals are implemented using deterministic signal modeling methods. The purpose of all these methods is to find the model parameters and again reconstruct the original signal using those parameters. ...
8
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... structuring techniques for timed P/T nets, we can show that our category TPTNets fulfills the properties of M -adhesive systems [EGH10], a general categorical framework for structuring and transforming high-level ...
15
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... reuse techniques, and subset ...Reuse techniques aim to reduce the testing effort for SPLs by reusing test artifacts ...testing techniques or by appropriately adapting domain tests during product ...
15
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... Behavioral modeling languages are most useful if their behavior is specified for- mally such that it can ...Meta Modeling (DMM) honors this by using the ap- proach of Test-driven Semantics Specification ...
15
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... Services hide their implementations, causing challenges to testing because established code- based techniques are no longer applicable [CP06]. Visual contracts [LSE05, LMH07] specify services by pre- and ...
14
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... In this paper, we have presented how a restricted form of meta-models can be formalized by type graphs with inheritance and arbitrary multiplicities. This kind of type graphs can be translated to instance generating ...
16
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... with techniques from the field of graph theory can be used to detect knowledge mobility risk when it occurs, thus providing companies with the opportunity to mitigate ...
15
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... During play-out, symbolic MSDs and binding expressions are interpreted as follows: As a message event can be (parameter) unified with a first message in an MSD, an active MSD is created [r] ...
15
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... This problem is particularly relevant in model-to-model transformation, in situations where the interest is in annotating configurations as a whole, so as to constrain the use of particular transformations only to ...
15
Volume 58: Graph Transformation and Visual Modeling Techniques 2013
... Compensation concerns often crosscut other programming concerns and thus attempting to pro- gram compensations within the main flow of a program would clutter the program and also limit the expressivity of compensation ...
13