Skip to main content

Software and Systems Modeling

Ausgabe 1/2016

Inhalt (11 Artikel)

Editorial

The 2015 “State of the Journal” report

Geri Georg, Jeff Gray, Bernhard Rumpe, Martin Schindler

Industry Voice

Industry 4.0 as a Cyber-Physical System study

Pieter J. Mosterman, Justyna Zander

Regular Paper

Formalizing and appling compliance patterns for business process compliance

Amal Elgammal, Oktay Turetken, Willem-Jan van den Heuvel, Mike Papazoglou

Regular Paper

A profile and tool for modelling safety information with design information in SysML

Geoffrey Biggs, Takeshi Sakamoto, Tetsuo Kotoku

Regular Paper

An executable formal semantics for UML-RT

Ernesto Posse, Juergen Dingel

Regular Paper

Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework

Mario Cortes-Cornax, Sophie Dupuy-Chessa, Dominique Rieu, Nadine Mandran

Regular Paper

Goal-oriented modeling and verification of feature-oriented product lines

Mohsen Asadi, Gerd Gröner, Bardia Mohabbati, Dragan Gašević

Regular Paper

Synthesizing object life cycles from business process models

Rik Eshuis, Pieter Van Gorp

Premium Partner