Top PDF An Anticipative Effects-Driven Approach for collaborative process verification
An Anticipative Effects-Driven Approach for collaborative process verification
... the effects that can be produced by actions involved in a ...potential effects before execution, and EBO analyzes effects right after execution – their common goal is to improve processes involving ...
18
An Anticipative Effects-Based Approach (AEBA) for analyzing collaborative crisis management process
... a collaborative process. Although the main desired effects of this process are to solve crisis, some others effects (unpredicted, undesirable…) can be induced and then make matters ...
8
An anticipative effects-driven approach to analyze interoperability in collaborative processes: application to a crisis management process
... of an Anticipative Effects Driven Approach to validate a collaborative process taking into account interoperability constraints and ...this approach is to allow ...
10
An Anticipative Effects Driven Approach for crisis management process analysis
... as collaborative processes aiming to solve the ...the collaborative process and having to share data, knowledge, best practices, resources and ...skills. For this various facets of knowledge ...
11
Knowledge-based system for collaborative process specification
... presents an ontology-based approach for the design of a collaborative business process model ...(CIS) for a network of organisations. The study is a part of a model driven ...
35
An Information Driven Approach For Ego-Lane Detection Using Lidar And OpenStreetMap
... the collaborative maps like OpenStreetMap ...used for several tasks like Road-level localization [10], Lane-level determi- nation ...[11]. An interesting approach is presented in ...
8
A transformation-driven approach to automate feedback verification results
... DSML verification framework 5 Related Work The problem of integrating formal verification into the design of DSMLs has been widely addressed by the MDE ...solutions. For example, in [15], authors ...
14
Data-driven methods for statistical verification of uncertain nonlinear systems
... of an independent validation set 𝒱 complete with training locations and corresponding binary measurements, just like in ...straightforward approach is to simply select more 𝜃 conditions, usually through ...
290
Architecture-Driven Verification of Concurrent Systems
... Architecture-based verification has been addressed in [48], [42], [4], and ...of verification, whereas here the focus is on the system structure ...formalism for connector semantics while [4] uses a ...
37
Knowledge-based system for collaborative process specification
... MDE approach According to the hypotheses discussed previously, the generation of MIS is based on the MDE ...promising approach for dealing with the complexity of platforms [Schmidt, ...2001 ...
220
A transformation-driven approach to generate a DSML verification framework
... formal verification into the design of DSMLs has been widely addressed by the MDE ...solutions. For example, in [15], authors propose an approach, named Metaviz, based on the real-time systems ...
13
A model driven approach for the development and verification of service-oriented applications
... (e.g., an HTML ...runtime verification technique) means that a model-based testing tool is connected directly to the SUT and immediately checks an observable trace whenever an input/output ...
203
A Model-Driven approach for Collaborative Service-Oriented Architecture design
... a collaborative process model into an information system model: firstly, we have to define the two meta-models of the collaborative process and of the collaborative architecture ...
48
A transformation-driven approach to automate feedback verification results
... DSML verification framework 5 Related Work The problem of integrating formal verification into the design of DSMLs has been widely addressed by the MDE ...solutions. For example, in [15], authors ...
13
A Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software
... Model Driven Engineering ...this approach is that it is really difficult to understand the generated code when we have to tweak it (but once the generated code is understood, it is nearly the same as ...
11
The product line engineering approach in a model-driven process
... model- driven development with product line ...the approach; then the more specific aspects (domain definition, consistency management between models and requirements, and, finally, variability ...
10
Establishment of Collaborative Networks – A Model-Driven Engineering Approach Based on Thermodynamics
... usual, an equation of state can relate P easiness, T opening and V wideness, like the Virial Equation of state: PV/(nRT) = 1+B(n/V)+C(n/V)²… R is the ideal gas constant and N is the number of potential ...
9
An Y MDE Approach for Enactable Software Process Models Generation
... SPEM4MDE Process Editor allows process designers to describe, modify and tailor process ...the process model is described, the process designer may check it with respect to the ...
9
Establishment of collaborative networks – a model-driven engineering approach based on thermodynamics
... model collaborative networks of organizations according to four dimensions: the context (geographical, social, economical environment), the partners (the actors, their capabilities, their resources and their ...
9
An intelligent system for the interactions analysis in a collaborative design process
... 2.1- Approach for searching properties in collaborative design process Addressing can be defined as a mode of communication between actors, receptors and emitters, in which the emitter emits ...
9