Model-driven development with the jABC

Authors:
Bernhard Steffen;Tiziana Margaria;Ralf Nagel;Sven Jörges;Christian Kubczak
Affiliations:
Chair of Programming Systems, University of Dortmund, Germany;Chair of Service and Software Engineering, University of Potsdam, Germany;Chair of Programming Systems, University of Dortmund, Germany;Chair of Programming Systems, University of Dortmund, Germany;Chair of Programming Systems, University of Dortmund, Germany
Venue:
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Year:
2006

Citing 15
Cited 14

A superimposition control construct for distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Subject-oriented design: towards improved alignment of requirements, design, and code

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Practical Model-Checking Using Games

TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Specification and verification of concurrent systems in CESAR

Proceedings of the 5th Colloquium on International Symposium on Programming
Tool Support for Coordination-Based Software Evolution

TOOLS '01 Proceedings of the Technology of Object-Oriented Languages and Systems
Lightweight coarse-grained coordination: a scalable system-level approach

International Journal on Software Tools for Technology Transfer (STTT)
Remote Integration and Coordination of Verification Tools in JETI

ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
LearnLib: a library for automata learning and experimentation

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
FormulaBuilder: a tool for graph-based modelling and generation of formulae

Proceedings of the 28th international conference on Software engineering
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC

ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Service-Oriented design: the roots

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Overview of generative software development

UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Data-Flow analysis as model checking within the jABC

CC'06 Proceedings of the 15th international conference on Compiler Construction
jMosel: a stand-alone tool and jABC plugin for M2L(str)

SPIN'06 Proceedings of the 13th international conference on Model Checking Software

Full Life-Cycle Support for End-to-End Processes

Computer
Middleware: just another level for orchestration

Proceedings of the 2007 Workshop on Middleware for next-generation converged networks and applications
Hybrid test of web applications with webtest

TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Policy expression and checking in XACML, WS-Policies, and the jABC

TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Model-driven development of mediation for business services using COSMO

Enterprise Information Systems - Towards Model-driven Service-oriented Enterprise Computing - 12th International IEEE EDOC Enterprise Computing Conference (EDOC 2008)
ViDoC- visual design of optimizing compilers

Program analysis and compilation, theory and practice
Service-oriented access to next generation networks: from service creation to execution

Mobile Networks and Applications
Building code generators with genesys: a tutorial introduction

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Next generation learnlib

TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Supporting the internet-based evaluation of research software with cloud infrastructure

Software and Systems Modeling (SoSyM)
Rigorous development of composite grid services

Journal of Network and Computer Applications
Loose programming with PROPHETS

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Scientific workflows: eternal components, changing interfaces, varying compositions

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Simple modeling of executable role-based workflows: an application in the healthcare domain

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.