scholarly journals Visual model-driven design, verification and implementation of security protocols

Author(s):  
Piergiuseppe Bettassa Copet ◽  
Alfredo Pironti ◽  
Davide Pozza ◽  
Riccardo Sisto ◽  
Pietro Vivoli
2011 ◽  
pp. 316-333
Author(s):  
Håvard D. Jorgensen ◽  
John Krogstie

This chapter presents a novel approach to the development, integration, and operation of virtual enterprises (VEs). The approach is based on the idea of interactive models. An interactive model is a visual model of enterprise aspects that can be viewed, traversed, analyzed, simulated, adapted, and executed by the participants of the VE. The approach has been developed in several research projects, where experiences from industrial case studies are used as a basis for validation and further enhancement. A major result of this work is the model-driven infrastructure that integrates and supports VEs. The main innovative contributions of this infrastructure include concurrent modelling, metamodelling, management and performance of work, integrated support for ad hoc and structured processes, and customizable model- and process-driven integration.


2008 ◽  
pp. 715-730 ◽  
Author(s):  
Håvard D. Jorgensen ◽  
John Krogstie

This chapter presents a novel approach to the development, integration, and operation of virtual enterprises (VEs). The approach is based on the idea of interactive models. An interactive model is a visual model of enterprise aspects that can be viewed, traversed, analyzed, simulated, adapted, and executed by the participants of the VE. The approach has been developed in several research projects, where experiences from industrial case studies are used as a basis for validation and further enhancement. A major result of this work is the model-driven infrastructure that integrates and supports VEs. The main innovative contributions of this infrastructure include concurrent modelling, metamodelling, management and performance of work, integrated support for ad hoc and structured processes, and customizable model- and process-driven integration.


2020 ◽  
pp. paper9-1-paper9-10
Author(s):  
Konstantin Ryabinin ◽  
Konstantin Belousov ◽  
Svetlana Chuprina

This paper is devoted to the development of the Web application for the visual analytics of the interconnected data within digital humanities research highly adaptable to the specifics of application domain and personal analytics preferences. The circular graph is proposed as a visual model to depict the interconnected data in a comprehensive way. The graph rendering software is organized according to the model-driven architecture utilizing ontology engineering methods and means, which ensure configuration flexibility and modification ease. The functioning scenarios of the application’s visualization component can be changed without its source code modifications, just by editing the under- lying ontology that describes data processing and rendering mechanisms. Extraction, transformation, loading and rendering of the data are con- figured in the intuitive way by data flow diagrams with the help of a high-level graphical editor. The described features are demonstrated on the real-world examples from the digital humanities application domain.


Sign in / Sign up

Export Citation Format

Share Document