Formal Verification of Application-Specific Security Properties in a Model-Driven Approach

2010 ◽  
pp. 166-181 ◽  
Author(s):  
Nina Moebius ◽  
Kurt Stenzel ◽  
Wolfgang Reif
Keyword(s):  
Formal Verification ◽  
Model Driven ◽  
Security Properties ◽  
Model Driven Approach ◽  
Application Specific

A Model-Driven Approach to Service Composition with Security Properties

2013 ◽  
pp. 154-174 ◽  
Author(s):  
Stéphanie Chollet ◽  
Philippe Lalanda
Keyword(s):  
Service Composition ◽  
Application Development ◽  
Model Driven ◽  
Rapid Application Development ◽  
Functional Aspects ◽  
Major Interest ◽  
New Development ◽  
Service Oriented ◽  
Security Properties ◽  
Model Driven Approach

The software engineering community is striving to handle a significant number of new critical demands. Productivity, quality, and runtime flexibility are only few of them. To satisfy such requirements, new development paradigms are regularly proposed. Service-Oriented Computing (SOC) is one of them. SOC is based on the notion of services, which are well-defined composition units, to support rapid application development. This chapter presents a brief state of the art of services. Although SOC brings properties of major interest, it suffers from usual limitations of reused-based approach. In particular, service composition is much more complicated than often pretended. In this chapter, we propose to present a model-driven approach to service composition dealing with non-functional aspects, including security.

A Model-Driven Approach to Service Composition with Security Properties

2014 ◽  
pp. 2051-2071
Author(s):  
Stéphanie Chollet ◽  
Philippe Lalanda
Keyword(s):  
Service Composition ◽  
Application Development ◽  
Model Driven ◽  
Rapid Application Development ◽  
Functional Aspects ◽  
Major Interest ◽  
New Development ◽  
Service Oriented ◽  
Security Properties ◽  
Model Driven Approach

The software engineering community is striving to handle a significant number of new critical demands. Productivity, quality, and runtime flexibility are only few of them. To satisfy such requirements, new development paradigms are regularly proposed. Service-Oriented Computing (SOC) is one of them. SOC is based on the notion of services, which are well-defined composition units, to support rapid application development. This chapter presents a brief state of the art of services. Although SOC brings properties of major interest, it suffers from usual limitations of reused-based approach. In particular, service composition is much more complicated than often pretended. In this chapter, we propose to present a model-driven approach to service composition dealing with non-functional aspects, including security.

A model-driven approach to cross-platform development of accessible business apps

2020 ◽  
Author(s):  
Christoph Rieger ◽  
Daniel Lucrédio ◽  
Renata Pontin M. Fortes ◽  
Herbert Kuchen ◽  
Felipe Dias ◽  
...  
Keyword(s):  
Model Driven ◽  
Cross Platform ◽  
Platform Development ◽  
Model Driven Approach

scholarly journals Learn-CIAM: A Model-Driven Approach for the Development of Collaborative Learning Tools

2021 ◽  
Vol 11 (6) ◽  
pp. 2554
Author(s):  
Yoel Arroyo ◽  
Ana I. Molina ◽  
Miguel A. Redondo ◽  
Jesús Gallardo
Keyword(s):  
Collaborative Learning ◽  
Methodological Approach ◽  
Automatic Generation ◽  
Learning Activities ◽  
Learning Tools ◽  
Model Driven ◽  
Collaborative Tools ◽  
Learning Tasks ◽  
Collaborative Learning Tools ◽  
Model Driven Approach

This paper introduces Learn-CIAM, a new model-based methodological approach for the design of flows and for the semi-automatic generation of tools in order to support collaborative learning tasks. The main objective of this work is to help professors by establishing a series of steps for the specification of their learning courses and the obtaining of collaborative tools to support certain learning activities (in particular, for in-group editing, searching and modeling). This paper presents a complete methodological framework, how it is supported conceptually and technologically, and an application example. So to guarantee the validity of the proposal, we also present some validation processes with potential designers and users from different profiles such as Education and Computer Science. The results seem to demonstrate a positive reception and acceptance, concluding that its application would facilitate the design of learning courses and the generation of collaborative learning tools for professionals of both profiles.

Sign in / Sign up

Export Citation Format

Share Document