Verifying Interlevel Relations within Organizational Models

C.M. Jonker; A. Sharpanskykh; J. Treur; P. Yolum

Verifying Interlevel Relations within Organizational Models

C.M. Jonker, A. Sharpanskykh, J. Treur, P. Yolum

Faculty of Science

Research output: Book / Report › Report › Academic

30 Downloads (Pure)

Abstract

In this paper the formal theoretical basis used for transformation of a non-executable external behavioral specification for an organizational model into an executable format, required for enabling verification techniques, is explained in detail.

Original language	English
Publication status	Published - 2006

Access to Document

a2Final published version, 155 KB

Persistent URL (handle)

Persistent link

Cite this

@book{35796aec947f49678777f8c14f9fb731,

title = "Verifying Interlevel Relations within Organizational Models",

abstract = "In this paper the formal theoretical basis used for transformation of a non-executable external behavioral specification for an organizational model into an executable format, required for enabling verification techniques, is explained in detail.",

author = "C.M. Jonker and A. Sharpanskykh and J. Treur and P. Yolum",

year = "2006",

language = "English",

}

TY - BOOK

T1 - Verifying Interlevel Relations within Organizational Models

AU - Jonker, C.M.

AU - Sharpanskykh, A.

AU - Treur, J.

AU - Yolum, P.

PY - 2006

Y1 - 2006

N2 - In this paper the formal theoretical basis used for transformation of a non-executable external behavioral specification for an organizational model into an executable format, required for enabling verification techniques, is explained in detail.

AB - In this paper the formal theoretical basis used for transformation of a non-executable external behavioral specification for an organizational model into an executable format, required for enabling verification techniques, is explained in detail.

M3 - Report

BT - Verifying Interlevel Relations within Organizational Models

ER -

Verifying Interlevel Relations within Organizational Models

Abstract

Access to Document

Persistent URL (handle)

Fingerprint

Cite this