Skip to main content

Software and Systems Modeling

Ausgabe 3/2017

Inhalt (14 Artikel)

Editorial

Logic formulas in models

Jeff Gray, Bernhard Rumpe

Open Access Theme Section Paper

Evaluating data-centric process approaches: Does the human factor factor in?

Hajo A. Reijers, Irene Vanderfeesten, Marijn G. A. Plomp, Pieter Van Gorp, Dirk Fahland, Wim L. M. van der Crommert, H. Daniel Diaz Garcia

Open Access Theme Section Paper

A fractal enterprise model and its application for business development

Ilia Bider, Erik Perjons, Mturi Elias, Paul Johannesson

Theme Section Paper

A participative end-user method for multi-perspective business process elicitation and improvement

Agnès Front, Dominique Rieu, Marco Santorum, Fatemeh Movahedian

Theme Section Paper

Designing secure business processes with SecBPMN

Mattia Salnitri, Fabiano Dalpiaz, Paolo Giorgini

Regular Paper

A case study about the improvement of business process models driven by indicators

Laura Sánchez-González, Félix García, Francisco Ruiz, Mario Piattini

Regular Paper

Refinement-based Validation of Event-B Specifications

Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot

Regular Paper

Design notations for secure software: a systematic literature review

Alexander van den Berghe, Riccardo Scandariato, Koen Yskout, Wouter Joosen

Regular Paper

A graph-theoretic method for the inductive development of reference process models

Jana-Rebecca Rehse, Peter Fettke, Peter Loos

Regular Paper

An integrated semantics for reasoning about SysML design models using refinement

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis

Regular Paper

Supporting aspect orientation in business process management

Amin Jalali, Chun Ouyang, Petia Wohed, Paul Johannesson