scholarly journals Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming

Author(s):  
Hiroshi Wada ◽  
Junichi Suzuki
2013 ◽  
Vol 19 (4) ◽  
pp. 271 ◽  
Author(s):  
Shinji Kobayashi ◽  
Eizen Kimura ◽  
Ken Ishihara

Author(s):  
Matteo Avalle ◽  
Alfredo Pironti ◽  
Davide Pozza ◽  
Riccardo Sisto

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.


2007 ◽  
Vol 9 (4) ◽  
pp. 391-409 ◽  
Author(s):  
Xiaofeng Yu ◽  
Yan Zhang ◽  
Tian Zhang ◽  
Linzhang Wang ◽  
Jun Hu ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document