A Development Example: From Conceptual Specification to OO Specification

Rein Smedinga; Bert de Brock

doi:10.1007/978-3-031-36757-1_25

A Development Example: From Conceptual Specification to OO Specification

Rein Smedinga
, Bert de Brock^*

^*Corresponding author for this work

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

1 Citation (Scopus)

127 Downloads (Pure)

Abstract

We illustrate, by using a practical example, how to map a Conceptual Specification (CS) systematically to an OO-implementation, using formal mapping rules or “semi-automatic” guidelines. Special attention will be paid to the “transfer” of constraints from the Conceptual Specification to the software, since programming languages usually lack constructs to express constraints.

We separate Model from View and Controller (MVC pattern) and create a default class diagram (statics/data) and default methods (dynamics/processes) from a CS. Our enhanced class diagrams inherit the constraints from the CS, which are subsequently worked out in the OO-specification in a systematic way. We generate pseudo-code such that a programmer in a specific (OO) language can easily translate this into real code.

Original language	English
Title of host publication	Business Modeling and Software Design
Subtitle of host publication	13th International Symposium, BMSD 2023 Utrecht, The Netherlands, July 3–5, 2023 Proceedings
Editors	Boris Shishkov
Publisher	Springer
Pages	340-351
Number of pages	12
ISBN (Electronic)	978-3-031-36757-1
ISBN (Print)	978-3-031-36756-4
DOIs	https://doi.org/10.1007/978-3-031-36757-1_25
Publication status	Published - 31-Jul-2023

Publication series

Name	Lecture Notes in Business Information Processing
Publisher	Springer
Volume	483
ISSN (Print)	1865-1348
ISSN (Electronic)	1865-1356

Access to Document

10.1007/978-3-031-36757-1_25

A Development Example: From Conceptual Specification to OO SpecificationFinal publisher's version, 3.43 MBLicence: Taverne

Handle.net

Persistent link

Cite this

Smedinga, R., & de Brock, B. (2023). A Development Example: From Conceptual Specification to OO Specification. In B. Shishkov (Ed.), Business Modeling and Software Design: 13th International Symposium, BMSD 2023 Utrecht, The Netherlands, July 3–5, 2023 Proceedings (pp. 340-351). (Lecture Notes in Business Information Processing ; Vol. 483). Springer. https://doi.org/10.1007/978-3-031-36757-1_25

@inproceedings{7b6583906bed453dbda7a2314aeab34f,

title = "A Development Example: From Conceptual Specification to OO Specification",

abstract = "We illustrate, by using a practical example, how to map a Conceptual Specification (CS) systematically to an OO-implementation, using formal mapping rules or {\textquotedblleft}semi-automatic{\textquotedblright} guidelines. Special attention will be paid to the {\textquotedblleft}transfer{\textquotedblright} of constraints from the Conceptual Specification to the software, since programming languages usually lack constructs to express constraints. We separate Model from View and Controller (MVC pattern) and create a default class diagram (statics/data) and default methods (dynamics/processes) from a CS. Our enhanced class diagrams inherit the constraints from the CS, which are subsequently worked out in the OO-specification in a systematic way. We generate pseudo-code such that a programmer in a specific (OO) language can easily translate this into real code.",

author = "Rein Smedinga and \{de Brock\}, Bert",

year = "2023",

month = jul,

day = "31",

doi = "10.1007/978-3-031-36757-1\_25",

language = "English",

isbn = "978-3-031-36756-4",

series = "Lecture Notes in Business Information Processing ",

publisher = "Springer",

pages = "340--351",

editor = "Shishkov, \{Boris \}",

booktitle = "Business Modeling and Software Design",

}

Smedinga, R & de Brock, B 2023, A Development Example: From Conceptual Specification to OO Specification. in B Shishkov (ed.), Business Modeling and Software Design: 13th International Symposium, BMSD 2023 Utrecht, The Netherlands, July 3–5, 2023 Proceedings. Lecture Notes in Business Information Processing , vol. 483, Springer, pp. 340-351. https://doi.org/10.1007/978-3-031-36757-1_25

A Development Example: From Conceptual Specification to OO Specification. / Smedinga, Rein; de Brock, Bert.
Business Modeling and Software Design: 13th International Symposium, BMSD 2023 Utrecht, The Netherlands, July 3–5, 2023 Proceedings. ed. / Boris Shishkov. Springer, 2023. p. 340-351 (Lecture Notes in Business Information Processing ; Vol. 483).

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

TY - GEN

T1 - A Development Example

T2 - From Conceptual Specification to OO Specification

AU - Smedinga, Rein

AU - de Brock, Bert

PY - 2023/7/31

Y1 - 2023/7/31

N2 - We illustrate, by using a practical example, how to map a Conceptual Specification (CS) systematically to an OO-implementation, using formal mapping rules or “semi-automatic” guidelines. Special attention will be paid to the “transfer” of constraints from the Conceptual Specification to the software, since programming languages usually lack constructs to express constraints. We separate Model from View and Controller (MVC pattern) and create a default class diagram (statics/data) and default methods (dynamics/processes) from a CS. Our enhanced class diagrams inherit the constraints from the CS, which are subsequently worked out in the OO-specification in a systematic way. We generate pseudo-code such that a programmer in a specific (OO) language can easily translate this into real code.

AB - We illustrate, by using a practical example, how to map a Conceptual Specification (CS) systematically to an OO-implementation, using formal mapping rules or “semi-automatic” guidelines. Special attention will be paid to the “transfer” of constraints from the Conceptual Specification to the software, since programming languages usually lack constructs to express constraints. We separate Model from View and Controller (MVC pattern) and create a default class diagram (statics/data) and default methods (dynamics/processes) from a CS. Our enhanced class diagrams inherit the constraints from the CS, which are subsequently worked out in the OO-specification in a systematic way. We generate pseudo-code such that a programmer in a specific (OO) language can easily translate this into real code.

U2 - 10.1007/978-3-031-36757-1_25

DO - 10.1007/978-3-031-36757-1_25

M3 - Conference contribution

SN - 978-3-031-36756-4

T3 - Lecture Notes in Business Information Processing

SP - 340

EP - 351

BT - Business Modeling and Software Design

A2 - Shishkov, Boris

PB - Springer

ER -

Smedinga R, de Brock B. A Development Example: From Conceptual Specification to OO Specification. In Shishkov B, editor, Business Modeling and Software Design: 13th International Symposium, BMSD 2023 Utrecht, The Netherlands, July 3–5, 2023 Proceedings. Springer. 2023. p. 340-351. (Lecture Notes in Business Information Processing ). doi: 10.1007/978-3-031-36757-1_25

A Development Example: From Conceptual Specification to OO Specification

Abstract

Publication series

Access to Document

Handle.net

Fingerprint

Cite this