A model-driven development framework for developing sense-compute-control applications

2014 ◽  
Author(s):  
Pankesh Patel ◽  
Brice Morin ◽  
Sanjay Chaudhary
Keyword(s):  
Control Applications ◽  
Model Driven Development ◽  
Model Driven ◽  
Development Framework

scholarly journals Archetype Model-Driven Development Framework for EHR Web System

2013 ◽  
Vol 19 (4) ◽  
pp. 271 ◽  
Author(s):  
Shinji Kobayashi ◽  
Eizen Kimura ◽  
Ken Ishihara
Keyword(s):  
Model Driven Development ◽  
Model Driven ◽  
Development Framework ◽  
Web System

JavaSPI

2012 ◽  
pp. 225-239
Author(s):  
Matteo Avalle ◽  
Alfredo Pironti ◽  
Davide Pozza ◽  
Riccardo Sisto
Keyword(s):  
Execution Time ◽  
Security Protocol ◽  
Modeling Language ◽  
Model Driven Development ◽  
Model Driven ◽  
Development Framework ◽  
Ssl Protocol

This paper presents JavaSPI, a “model-driven” development framework that allows the user to reliably develop security protocol implementations in Java, starting from abstract models that can be verified formally. The main novelty of this approach stands in the use of Java as both a modeling language and the implementation language. The JavaSPI framework is validated by implementing a scenario of the SSL protocol. The JavaSPI implementation can successfully interoperate with OpenSSL, and has comparable execution time with the standard Java JSSE library.

Sign in / Sign up

Export Citation Format

Share Document