Specifying structural properties and their constraints formally, visually and modularly using VCL

Nuno Amálio; Pierre Kelsen; Qin Ma

doi:10.1007/978-3-642-13051-9_22

Specifying structural properties and their constraints formally, visually and modularly using VCL

Nuno Amálio^*, Pierre Kelsen, Qin Ma

^*Corresponding author for this work

University of Luxembourg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Citations (Scopus)

Original language	English
Title of host publication	Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings
Publisher	Springer Verlag
Pages	261-273
Number of pages	13
ISBN (Print)	9783642130502
DOIs	https://doi.org/10.1007/978-3-642-13051-9_22
Publication status	Published (VoR) - 2010
Event	11th International Workshop on Business Process Modeling, Development and Support, BPMDS 2010 and 15th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2010, Held in Conjunction with CAiSE 2010 - Hammamet, Tunisia Duration: 7 Jun 2010 → 8 Jun 2010

Publication series

Name	Lecture Notes in Business Information Processing
Volume	50 LNBIP
ISSN (Print)	1865-1348

Conference

Conference	11th International Workshop on Business Process Modeling, Development and Support, BPMDS 2010 and 15th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2010, Held in Conjunction with CAiSE 2010
Country/Territory	Tunisia
City	Hammamet
Period	7/06/10 → 8/06/10

Keywords

Formal modelling
Visual languages
Z

Access to Document

10.1007/978-3-642-13051-9_22

Cite this

Amálio, N., Kelsen, P., & Ma, Q. (2010). Specifying structural properties and their constraints formally, visually and modularly using VCL. In Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings (pp. 261-273). (Lecture Notes in Business Information Processing; Vol. 50 LNBIP). Springer Verlag. https://doi.org/10.1007/978-3-642-13051-9_22

Amálio, Nuno ; Kelsen, Pierre ; Ma, Qin. / Specifying structural properties and their constraints formally, visually and modularly using VCL. Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings. Springer Verlag, 2010. pp. 261-273 (Lecture Notes in Business Information Processing).

@inproceedings{23ff7d5f7bf349fc9f6cd02a9254c928,

title = "Specifying structural properties and their constraints formally, visually and modularly using VCL",

keywords = "Formal modelling, Visual languages, Z",

author = "Nuno Am{\'a}lio and Pierre Kelsen and Qin Ma",

year = "2010",

doi = "10.1007/978-3-642-13051-9_22",

language = "English",

isbn = "9783642130502",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer Verlag",

pages = "261--273",

booktitle = "Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings",

note = "11th International Workshop on Business Process Modeling, Development and Support, BPMDS 2010 and 15th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2010, Held in Conjunction with CAiSE 2010 ; Conference date: 07-06-2010 Through 08-06-2010",

}

Amálio, N, Kelsen, P & Ma, Q 2010, Specifying structural properties and their constraints formally, visually and modularly using VCL. in Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings. Lecture Notes in Business Information Processing, vol. 50 LNBIP, Springer Verlag, pp. 261-273, 11th International Workshop on Business Process Modeling, Development and Support, BPMDS 2010 and 15th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2010, Held in Conjunction with CAiSE 2010, Hammamet, Tunisia, 7/06/10. https://doi.org/10.1007/978-3-642-13051-9_22

Specifying structural properties and their constraints formally, visually and modularly using VCL. / Amálio, Nuno; Kelsen, Pierre; Ma, Qin.
Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings. Springer Verlag, 2010. p. 261-273 (Lecture Notes in Business Information Processing; Vol. 50 LNBIP).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Specifying structural properties and their constraints formally, visually and modularly using VCL

AU - Amálio, Nuno

AU - Kelsen, Pierre

AU - Ma, Qin

PY - 2010

Y1 - 2010

KW - Formal modelling

KW - Visual languages

KW - Z

UR - http://www.scopus.com/inward/record.url?scp=77955782122&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77955782122&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-13051-9_22

DO - 10.1007/978-3-642-13051-9_22

M3 - Conference contribution

AN - SCOPUS:77955782122

SN - 9783642130502

T3 - Lecture Notes in Business Information Processing

SP - 261

EP - 273

BT - Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings

PB - Springer Verlag

T2 - 11th International Workshop on Business Process Modeling, Development and Support, BPMDS 2010 and 15th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2010, Held in Conjunction with CAiSE 2010

Y2 - 7 June 2010 through 8 June 2010

ER -

Amálio N, Kelsen P, Ma Q. Specifying structural properties and their constraints formally, visually and modularly using VCL. In Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings. Springer Verlag. 2010. p. 261-273. (Lecture Notes in Business Information Processing). doi: 10.1007/978-3-642-13051-9_22

Specifying structural properties and their constraints formally, visually and modularly using VCL

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this