The 2015 “State of the Journal” report Geri GeorgJeff GrayMartin Schindler Editorial 21 January 2016 Pages: 1 - 4
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems Pieter J. MostermanJustyna Zander Industry Voice 21 August 2015 Pages: 5 - 16
Industry 4.0 as a Cyber-Physical System study Pieter J. MostermanJustyna Zander Industry Voice 08 October 2015 Pages: 17 - 29
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime Michael SzvetitsUwe Zdun Regular Paper 17 December 2013 Pages: 31 - 69
SAMM: an architecture modeling methodology for ship command and control systems Zhiqiang FanTao YueLi Zhang Regular Paper 03 January 2014 Pages: 71 - 118
Formalizing and appling compliance patterns for business process compliance Amal ElgammalOktay TuretkenMike Papazoglou Regular Paper 08 February 2014 Pages: 119 - 146
A profile and tool for modelling safety information with design information in SysML Geoffrey BiggsTakeshi SakamotoTetsuo Kotoku Regular Paper 22 February 2014 Pages: 147 - 178
An executable formal semantics for UML-RT Ernesto PosseJuergen Dingel Regular Paper 20 February 2014 Pages: 179 - 217
Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework Mario Cortes-CornaxSophie Dupuy-ChessaNadine Mandran Regular Paper 01 March 2014 Pages: 219 - 255
Goal-oriented modeling and verification of feature-oriented product lines Mohsen AsadiGerd GrönerDragan Gašević Regular Paper 22 February 2014 Pages: 257 - 279
Synthesizing object life cycles from business process models Rik EshuisPieter Van Gorp Regular Paper 01 May 2014 Pages: 281 - 302
