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 条

[11]

HOGL M, 2006, P IDPT 2006 INT C IN

[12]

HORMANN M, 2006, INT WORKSH CHALL COL

[13]

JORGES S, 2006, P ICSE 06 SHANGH MAY

[14]

KARUSSEIT M, 2005, ENTCS, V1132

[15] A SUPERIMPOSITION CONTROL CONSTRUCT FOR DISTRIBUTED SYSTEMS [J].

KATZ, S .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (02) :337-356

[16] RESULTS ON THE PROPOSITIONAL MU-CALCULUS [J].

KOZEN, D .

THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) :333-354

[17]

KUBCZAK C, 2006, SEMANTIC WEB SERVICE

[18]

Lamprecht AL, 2006, LECT NOTES COMPUT SC, V3923, P101

[19]

Margaria T, 2005, LECT NOTES COMPUT SC, V3826, P450

[20] Remote integration and coordination of verification tools in jETI [J].

Margaria, T ;

Nagel, R ;

Steffen, B .

12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, :431-436

← 1 2 3 →