On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications

Alanen, Marcus; Lilius, Johan; Porres, Iván; Truşcan, Dragoş

doi:10.1007/3-540-28554-7_14

Cited by 4 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The 4SRS transformation rules are applied through several of the activities presented in Fig. 1 The method has been applied (and adapted) in several cases, from e-government [3] to protocol processing applications [7]. Experimental work on adapting the method to handle variability in the context of product lines has also been presented in the past [8].…”

Section: The 4srs Model-driven Methodsmentioning

confidence: 99%

A model-driven approach for the derivation of architectural requirements of software product lines

Bragança

Machado

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. The four-step rule set (4SRS) is a unified modeling language (UML)-based model-driven method for single system development which provides support to the software architect in this task. This paper presents an evolution of the 4SRS method aimed at software product lines. In particular, we describe how to address the transformation of functional requirements (use cases) into component-based requirements for the product line architecture. The result is a UML-based model-driven method that can be applied in combination with metamodeling tools such as the eclipse modeling framework (EMF) to derive the architecture of software product lines. We present our approach in a practical way and illustrate it with an example. We also discuss how our proposals are related to the work of other authors.

show abstract

Section: The 4srs Model-driven Methodsmentioning

confidence: 99%

A model-driven approach for the derivation of architectural requirements of software product lines

Bragança

Machado

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

show abstract

“…The Unified Modelling Language, and in particular state charts and sequence diagrams, has been used to model and generate code for protocols in several approaches [11,20,1,14,12]. Several tools exists for UML which support analysis and code generation in various ways.…”

Section: Related Workmentioning

confidence: 99%

PetriCode: A Tool for Template-Based Code Generation from CPN Models

Simonsen

2014

Software Engineering and Formal Methods

View full text Add to dashboard Cite

Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs) that is the realization of previous work [17,19,18]. The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template based approach to generate code while keeping the models uncluttered.

show abstract