Model-driven development with the jABC

被引:0
作者
Steffen, Bernhard [1 ]
Margaria, Tiziana [2 ]
Nagel, Ralf [1 ]
Jorges, Sven [1 ]
Kubczak, Christian [1 ]
机构
[1] Univ Dortmund, Chair Programming Syst, Dortmund, Germany
[2] Univ Potsdam, Chair Serv & Software Engn, Potsdam, Germany
来源
HARDWARE AND SOFTWARE, VERIFICATION AND TESTING | 2007年 / 4383卷
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.
引用
收藏
页码:92 / +
页数:4
相关论文
共 30 条
[1]  
ANDRADE L, 2002, P INT DES PROC TECHN
[2]  
BAKERA M, GEAR MODEL CHECKING
[3]  
BERG T, 2005, P FMICS 05 ACM 10 IN
[4]  
BJAHOR M, 2006, INNOVATIONS SYSTEM S
[5]  
CLARKE EM, 2001, MODEL CHECING
[6]   Subject-oriented design: Towards improved alignment of requirements, design and code [J].
Clarke, S ;
Harrison, W ;
Ossher, H ;
Tarr, P .
ACM SIGPLAN NOTICES, 1999, 34 (10) :325-339
[7]  
Czarnecki K., 2004, Unconventional Programming Paradigms. International Workshop UPP 2004. Revised Selected and Invited Papers (Lecture Notes in Computer Science Vol. 3566), P326
[8]  
DWYER M, SPECIFICATION PATTER
[9]  
Dwyer M. B., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P411, DOI 10.1109/ICSE.1999.841031
[10]  
Gouveia J, 2001, TOOLS, V38, P184, DOI 10.1109/TOOLS.2001.911772