Consistency in model integration

K.M. Hee, van; N. Sidorova; L.J.A.M. Somers; M. Voorhoeve

doi:10.1016/j.datak.2005.02.004

Consistency in model integration

K.M. Hee, van, N. Sidorova, L.J.A.M. Somers, M. Voorhoeve

Process Analytics

Research output: Contribution to journal › Article › Academic › peer-review

19 Citations (Scopus)

2 Downloads (Pure)

Abstract

State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many models. We present an approach to the engineering of complex systems based on the modeling of use cases and object life cycles as Petri nets. Synchronization by place fusion allows the derivation of an integrated model that can be verified and validated. We illustrate our approach by a case study.

Original language	English
Pages (from-to)	4-22
Journal	Data & Knowledge Engineering
Volume	56
Issue number	1
DOIs	https://doi.org/10.1016/j.datak.2005.02.004
Publication status	Published - 2006

Access to Document

10.1016/j.datak.2005.02.004

Cite this

@article{1f6a7a407e284e59947b564357c12609,

title = "Consistency in model integration",

abstract = "State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many models. We present an approach to the engineering of complex systems based on the modeling of use cases and object life cycles as Petri nets. Synchronization by place fusion allows the derivation of an integrated model that can be verified and validated. We illustrate our approach by a case study.",

author = "{Hee, van}, K.M. and N. Sidorova and L.J.A.M. Somers and M. Voorhoeve",

year = "2006",

doi = "10.1016/j.datak.2005.02.004",

language = "English",

volume = "56",

pages = "4--22",

journal = "Data & Knowledge Engineering",

issn = "0169-023X",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - Consistency in model integration

AU - Hee, van, K.M.

AU - Sidorova, N.

AU - Somers, L.J.A.M.

AU - Voorhoeve, M.

PY - 2006

Y1 - 2006

N2 - State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many models. We present an approach to the engineering of complex systems based on the modeling of use cases and object life cycles as Petri nets. Synchronization by place fusion allows the derivation of an integrated model that can be verified and validated. We illustrate our approach by a case study.

AB - State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many models. We present an approach to the engineering of complex systems based on the modeling of use cases and object life cycles as Petri nets. Synchronization by place fusion allows the derivation of an integrated model that can be verified and validated. We illustrate our approach by a case study.

U2 - 10.1016/j.datak.2005.02.004

DO - 10.1016/j.datak.2005.02.004

M3 - Article

SN - 0169-023X

VL - 56

SP - 4

EP - 22

JO - Data & Knowledge Engineering

JF - Data & Knowledge Engineering

IS - 1

ER -

Consistency in model integration

Abstract

Access to Document

Fingerprint

Cite this