Automatic Building of a Repository for Component-based Synthesis of Warehouse Simulation Models

Simulations are a common tool in the warehouse planning and adoption process for evaluating and comparing variants of a storage system. But simulation modeling is a complex and time-consuming task. Due to limited resources, often not all possible system variants can be modeled. A promising solution...

Full description

Saved in:
Bibliographic Details
Published inProcedia CIRP Vol. 104; pp. 1440 - 1445
Main Authors Kallat, Fadil, Pfrommer, Jakob, Bessai, Jan, Rehof, Jakob, Meyer, Anne
Format Journal Article
LanguageEnglish
Published Elsevier B.V 2021
Subjects
adoption
automatic simulation model generation
block stacking warehouse
component-based software synthesis
storage planning
block stacking warehouse
automatic simulation model generation
component-based software synthesis
adoption
storage planning
Online AccessGet full text

Cover

Abstract Simulations are a common tool in the warehouse planning and adoption process for evaluating and comparing variants of a storage system. But simulation modeling is a complex and time-consuming task. Due to limited resources, often not all possible system variants can be modeled. A promising solution is the migration of an existing simulation model to enable component-based software synthesis. An inhabitation algorithm composes structural variants according to a synthesis goal given a repository of typed components. In this paper, we automatically generate a repository and synthesize simulation model variants using a block stacking warehouse simulation model as an example.
AbstractList Simulations are a common tool in the warehouse planning and adoption process for evaluating and comparing variants of a storage system. But simulation modeling is a complex and time-consuming task. Due to limited resources, often not all possible system variants can be modeled. A promising solution is the migration of an existing simulation model to enable component-based software synthesis. An inhabitation algorithm composes structural variants according to a synthesis goal given a repository of typed components. In this paper, we automatically generate a repository and synthesize simulation model variants using a block stacking warehouse simulation model as an example.
Author Bessai, Jan
Kallat, Fadil
Pfrommer, Jakob
Meyer, Anne
Rehof, Jakob
Author_xml – sequence: 1
  givenname: Fadil
  surname: Kallat
  fullname: Kallat, Fadil
  email: fadil.kallat@tu-dortmund.de
  organization: Software-Engineering by Algorithms and Logic, Department of Computer Science, TU Dortmund University, Otto-Hahn-Straße 12, 44227 Dortmund, Germany
– sequence: 2
  givenname: Jakob
  surname: Pfrommer
  fullname: Pfrommer, Jakob
  organization: Production Management and Factory Planning, Faculty of Mechanical Engineering, TU Dortmund University, Leonhard-Euler-Str. 5, 44227 Dortmund, Germany
– sequence: 3
  givenname: Jan
  surname: Bessai
  fullname: Bessai, Jan
  organization: Software-Engineering by Algorithms and Logic, Department of Computer Science, TU Dortmund University, Otto-Hahn-Straße 12, 44227 Dortmund, Germany
– sequence: 4
  givenname: Jakob
  surname: Rehof
  fullname: Rehof, Jakob
  organization: Software-Engineering by Algorithms and Logic, Department of Computer Science, TU Dortmund University, Otto-Hahn-Straße 12, 44227 Dortmund, Germany
– sequence: 5
  givenname: Anne
  surname: Meyer
  fullname: Meyer, Anne
  organization: Digitalization in Logistics and Supply Chain Management, Faculty of Mechanical Engineering, TU Dortmund University, Leonhard-Euler-Str. 5, 44227 Dortmund, Germany
BookMark eNp9kM9OwzAMhyM0JMbYG3DIC7TUSZd2F6Qx8U8aQmIgjlGaOCxT21RJi7S3p9M4cMIX--DfZ-u7JJPWt0jINWQpZCBu9mkXvHYhZRmDFCBlOT8jU8aAJSUrYPJnviDzGPfZWEWecWBTIldD7xvVO03vBlcb135Rb6mib9j56HofDtT6QNe-6ca7bZ9UKqKh20Pb7zC6eNz-VAF3fohIt64Z6pHmW_riDdbxipxbVUec__YZ-Xi4f18_JZvXx-f1apNoJgqeYA4MhOBqsahAlNoujM2XlYGSl5arAo0uuBGlUWhFyawAxfPlsspRVcC04TOSn7g6-BgDWtkF16hwkJDJoye5lydP8uhJAsjR0xi7PcXGV_HbYZBRO2w1GhdQ99J49z_gB5AEdnY
CitedBy_id crossref_primary_10_1080_02286203_2023_2206075
crossref_primary_10_30657_pea_2022_28_38
Cites_doi 10.1016/j.procir.2015.02.069
10.1109/SIMSYM.1996.492167
10.1109/WSC.2007.4419677
10.4204/EPTCS.310.1
10.1109/WSC40007.2019.9004959
10.1007/978-3-319-47166-2_19
10.1007/978-3-030-03427-6_36
10.1007/978-3-030-03427-6_35
10.1016/j.procir.2019.03.022
10.1109/WSC.2008.4736158
10.1080/00207543.2019.1636321
10.1016/j.procir.2020.03.018
10.4204/EPTCS.301.7
10.1007/978-3-319-47166-2_21
ContentType Journal Article
Copyright 2021
Copyright_xml – notice: 2021
DBID 6I.
AAFTH
AAYXX
CITATION
DOI 10.1016/j.procir.2021.11.243
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 2212-8271
EndPage 1445
ExternalDocumentID 10_1016_j_procir_2021_11_243
S2212827121011410
GroupedDBID 0R~
0SF
4.4
457
6I.
AACTN
AAEDT
AAEDW
AAFTH
AAIKJ
AALRI
AAXUO
ABMAC
ACGFS
ADBBV
ADEZE
AEXQZ
AFTJW
AGHFR
AITUG
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
EBS
EJD
FDB
HZ~
IXB
KQ8
M41
M~E
NCXOZ
O-L
O9-
OK1
RIG
ROL
SSZ
AAYXX
ADVLN
AKRWK
CITATION
ID FETCH-LOGICAL-c2673-e4121663a55b168cf5df49bd1838f3a7edc73d68daef682f61a3499b4eab12cd3
IEDL.DBID IXB
ISSN 2212-8271
IngestDate Fri Aug 23 00:18:49 EDT 2024
Wed May 17 00:08:32 EDT 2023
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Keywords block stacking warehouse
automatic simulation model generation
component-based software synthesis
adoption
storage planning
Language English
License This is an open access article under the CC BY-NC-ND license.
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c2673-e4121663a55b168cf5df49bd1838f3a7edc73d68daef682f61a3499b4eab12cd3
OpenAccessLink https://www.sciencedirect.com/science/article/pii/S2212827121011410
PageCount 6
ParticipantIDs crossref_primary_10_1016_j_procir_2021_11_243
elsevier_sciencedirect_doi_10_1016_j_procir_2021_11_243
PublicationCentury 2000
PublicationDate 2021
2021-00-00
PublicationDateYYYYMMDD 2021-01-01
PublicationDate_xml – year: 2021
  text: 2021
PublicationDecade 2020
PublicationTitle Procedia CIRP
PublicationYear 2021
Publisher Elsevier B.V
Publisher_xml – name: Elsevier B.V
References T. Schäfer, F. Möller, A. Burmann, Y. Pikus, N. Weißenberg, M. Hintze, J. Rehof, A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways, in: ISoLA, Limassol, Cyprus, Vol. 11247 of LNCS, Springer, 2018, pp. 472–486. doi:10.1007/978-3-030-03427-6\_35.
J. Pfrommer, A. Meyer, Autonomously organized block stacking warehouses: A review of decision problems and major challenges, Logistics Journal: Proceedings 2020 (12). doi:10.2195/lj_Proc_pfrommer_en_202012_01.
G.T. Heineman, J. Bessai, B. Düdder, J. Rehof, A Long and Winding Road Towards Modular Synthesis, in: ISoLA, Imperial, Corfu, Greece, Vol. 9952 of LNCS, 2016, pp. 303–317. doi:10.1007/978-3-319-47166-2\_21.
J. Bessai, A Type-theoretic Framework for Software Component Synthesis, Ph.D. thesis, Technical University of Dortmund, Germany (2019). doi: 10.17877/DE290R-20320.
Reinhardt, Weber, Putz (bib0001) 2019; 81
C. Lee, R. Zobel, Representation of Simulation Model Components for Model Generation and a Model Library, in: ANSS, 1996, pp. 193–201. doi:10.1109/SIMSYM.1996.492167.
Neyrinck, Lechler, Verl (bib0008) 2015
J. Bessai, A. Dudenhefner, B. Düdder, M. Martens, J. Rehof, Combinatory Process Synthesis, in: ISoLA, Imperial, Corfu, Greece, Vol. 9952 of LNCS, 2016, pp. 266–281. doi:10.1007/978-3-319-47166-2\_19.
S. Wenzel, J. Stolipin, J. Rehof, J. Winkels, Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics, in: WSC, National Harbor, MD, USA, IEEE, 2019, pp. 2190–2200. doi:10.1109/WSC40007.2019.9004959.
Rehof, Urzyczyn (bib00010) 2011; 6690
J. Bessai, M. Roidl, A. Vasileva, Experience Report: Towards Moving Things with Types-Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis, in: F-IDE@FM, Porto, Portugal, Vol. 310 of EPTCS, 2019, pp. 1–6. doi:10.4204/EPTCS.310.1.
M. Röhl, S. Morgenstern, Composing Simulation Models using Interface Defnitions based on Web Service Descriptions, in: WSC, Washington, DC, USA, WSC, 2007, pp. 815–822. doi:10.1109/WSC.2007.4419677.
F. Kallat, T. Schäfer, A. Vasileva, CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories, in: PxTP, Natal, Brazil, Vol. 301 of EPTCS, 2019, pp. 51–65. doi:10.4204/EPTCS.301. 7.
Kallat, Mieth, Rehof, Meyer (bib0003) 2020
D. Mourtzis, Simulation in the design and operation of manufacturing systems: State of the art and new trends, International Journal of Production Research 58 (7). doi:10.1080/00207543.2019.1636321.
A. Verbraeck, E. Valentin, Design Guidelines for Simulation Building Blocks, in: WSC, Miami, Florida, USA, WSC, 2008, pp. 923–932. doi: 10.1109/WSC.2008.4736158.
J. Winkels, J. Graefenstein, T. Schäfer, D. Scholz, J. Rehof, M. Henke, Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic, in: ISoLA, Limassol, Cyprus, Vol. 11247 of LNCS, Springer, 2018, pp. 487– 503. doi:10.1007/978-3-030-03427-6\_36.
10.1016/j.procir.2021.11.243_bib00017
10.1016/j.procir.2021.11.243_bib00016
10.1016/j.procir.2021.11.243_bib00013
Rehof (10.1016/j.procir.2021.11.243_bib00010) 2011; 6690
10.1016/j.procir.2021.11.243_bib00012
10.1016/j.procir.2021.11.243_bib00015
Neyrinck (10.1016/j.procir.2021.11.243_bib0008) 2015
10.1016/j.procir.2021.11.243_bib00014
Reinhardt (10.1016/j.procir.2021.11.243_bib0001) 2019; 81
Kallat (10.1016/j.procir.2021.11.243_bib0003) 2020
10.1016/j.procir.2021.11.243_bib0007
10.1016/j.procir.2021.11.243_bib0009
10.1016/j.procir.2021.11.243_bib00011
10.1016/j.procir.2021.11.243_bib0002
10.1016/j.procir.2021.11.243_bib0004
10.1016/j.procir.2021.11.243_bib0005
10.1016/j.procir.2021.11.243_bib0006
References_xml – start-page: 62
  year: 2015
  end-page: 67
  ident: bib0008
  article-title: Automatic Variant Configuration and Generation of Simulation Models for Comparison of Plant and Machinery Variants
  publication-title: Procedia CIRP
  contributor:
    fullname: Verl
– volume: 6690
  start-page: 169
  year: 2011
  end-page: 183
  ident: bib00010
  article-title: Finite combinatory logic with intersection types
  publication-title: TLCA, Novi Sad, Serbia
  contributor:
    fullname: Urzyczyn
– start-page: 556
  year: 2020
  end-page: 561
  ident: bib0003
  article-title: Using Component-based Software Synthesis and Constraint Solving to generate Sets of Manufacturing Simulation Models
  publication-title: Procedia CIRP
  contributor:
    fullname: Meyer
– volume: 81
  start-page: 121
  year: 2019
  end-page: 126
  ident: bib0001
  article-title: A Survey on Automatic Model Generation for Material Flow Simulation in Discrete Manufacturing
  publication-title: Procedia CIRP
  contributor:
    fullname: Putz
– start-page: 62
  year: 2015
  ident: 10.1016/j.procir.2021.11.243_bib0008
  article-title: Automatic Variant Configuration and Generation of Simulation Models for Comparison of Plant and Machinery Variants
  publication-title: Procedia CIRP
  doi: 10.1016/j.procir.2015.02.069
  contributor:
    fullname: Neyrinck
– ident: 10.1016/j.procir.2021.11.243_bib0005
  doi: 10.1109/SIMSYM.1996.492167
– ident: 10.1016/j.procir.2021.11.243_bib0007
  doi: 10.1109/WSC.2007.4419677
– ident: 10.1016/j.procir.2021.11.243_bib00011
– ident: 10.1016/j.procir.2021.11.243_bib00016
  doi: 10.4204/EPTCS.310.1
– ident: 10.1016/j.procir.2021.11.243_bib0002
  doi: 10.1109/WSC40007.2019.9004959
– ident: 10.1016/j.procir.2021.11.243_bib0009
  doi: 10.1007/978-3-319-47166-2_19
– ident: 10.1016/j.procir.2021.11.243_bib00013
  doi: 10.1007/978-3-030-03427-6_36
– ident: 10.1016/j.procir.2021.11.243_bib00017
– ident: 10.1016/j.procir.2021.11.243_bib00015
  doi: 10.1007/978-3-030-03427-6_35
– volume: 81
  start-page: 121
  year: 2019
  ident: 10.1016/j.procir.2021.11.243_bib0001
  article-title: A Survey on Automatic Model Generation for Material Flow Simulation in Discrete Manufacturing
  publication-title: Procedia CIRP
  doi: 10.1016/j.procir.2019.03.022
  contributor:
    fullname: Reinhardt
– ident: 10.1016/j.procir.2021.11.243_bib0006
  doi: 10.1109/WSC.2008.4736158
– ident: 10.1016/j.procir.2021.11.243_bib0004
  doi: 10.1080/00207543.2019.1636321
– start-page: 556
  year: 2020
  ident: 10.1016/j.procir.2021.11.243_bib0003
  article-title: Using Component-based Software Synthesis and Constraint Solving to generate Sets of Manufacturing Simulation Models
  publication-title: Procedia CIRP
  doi: 10.1016/j.procir.2020.03.018
  contributor:
    fullname: Kallat
– ident: 10.1016/j.procir.2021.11.243_bib00014
  doi: 10.4204/EPTCS.301.7
– volume: 6690
  start-page: 169
  year: 2011
  ident: 10.1016/j.procir.2021.11.243_bib00010
  article-title: Finite combinatory logic with intersection types
  contributor:
    fullname: Rehof
– ident: 10.1016/j.procir.2021.11.243_bib00012
  doi: 10.1007/978-3-319-47166-2_21
SSID ssj0000740312
Score 2.2144978
Snippet Simulations are a common tool in the warehouse planning and adoption process for evaluating and comparing variants of a storage system. But simulation modeling...
SourceID crossref
elsevier
SourceType Aggregation Database
Publisher
StartPage 1440
SubjectTerms adoption
automatic simulation model generation
block stacking warehouse
component-based software synthesis
storage planning
Title Automatic Building of a Repository for Component-based Synthesis of Warehouse Simulation Models
URI https://dx.doi.org/10.1016/j.procir.2021.11.243
Volume 104
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELaqssCAeIrykgdW08Z2nGRsK6oKiTKUioglchJbBEFSNe3Av-cuD1QkxMCYyLasz_Z3Z_v8HSE3sTTpQGvNjBUJk1p4TAstWRKLQeCrxImrrCUPMzVdyPvQDTtk3L6FwbDKhvtrTq_YuvnTb9DsL7OsP-fAuj73UAHLwWhF4GHU9sRHfOHo-5wFTCTMW7xMwPIMK7Qv6KowL7QTGQqDcgfo45ZL8buF2rI6kwOy37iLdFj36JB0TH5E9rZEBI9JNNysi0p4lY6aHNe0sFRT9K3LDC_RKXimFFd-kYONYWi5Ujr_zMH5K7MSSz_rlXktNqWh8-yjyehFMU_ae3lCFpO7p_GUNWkTWMKVJ5iRAAk4Etp1Y0f5iXVTK4M4hcXrW6E9kyaeSJWfamOVz61ytIB9D4yajh2epOKUdHPozxmhgYEWjYBNBbdyYHkAMKOAvGcSZYPY7RHWQhUta3WMqA0be4tqaCOEFjYaEUDbI16LZ_RjlCMg8D9rnv-75gXZxa_62OSSdNerjbkCR2IdX1cz5ZrszMbh48sXCjXJXQ
link.rule.ids 315,786,790,3525,4043,27954,27955,27956,45907
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LTwIxEG4QD-rB-Iz47MFrhW27ryMQDSpwASK3prvbxjUKhIWD_96ZfRhMjAevuzub5ms78007D0JuI2mSltaaGStiJrXwmRZasjgSrTDwYifKu5YMhl5vIp-m7rRGulUuDIZVlrq_0Om5ti6fNEs0m4s0bY44aN2A-1gBy8FoxS2yLV3w9TCLb9r5PmgBGwkLF28TUIChRJVCl8d5oaFIsTIod0B_3HEpfjdRG2bn4YDsl3yRtoshHZKamR2RvY0qgsdEtdereV55lXbKJtd0bqmmSK6zFG_RKVBTilt_PgMjw9B0JXT0OQP2l6UZfv2il-Z1vs4MHaUfZUsvio3S3rMTMnm4H3d7rOybwGLu-YIZCZgAk9CuGzleEFs3sTKMEti9gRXaN0nsi8QLEm2sF3DrOVqA4wPTpiOHx4k4JfUZjOeM0NDAH40Ar4Jb2bI8BJyxgrxvYs-GkdsgrIJKLYryGKqKG3tTBbQKoQVPQwG0DeJXeKof06xAg_8pef5vyRuy0xsP-qr_OHy-ILv4pjhDuST11XJtroBVrKLrfNV8Aez3ys0
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automatic+Building+of+a+Repository+for+Component-based+Synthesis+of+Warehouse+Simulation+Models&rft.jtitle=Procedia+CIRP&rft.au=Kallat%2C+Fadil&rft.au=Pfrommer%2C+Jakob&rft.au=Bessai%2C+Jan&rft.au=Rehof%2C+Jakob&rft.date=2021&rft.pub=Elsevier+B.V&rft.issn=2212-8271&rft.eissn=2212-8271&rft.volume=104&rft.spage=1440&rft.epage=1445&rft_id=info:doi/10.1016%2Fj.procir.2021.11.243&rft.externalDocID=S2212827121011410
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2212-8271&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2212-8271&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2212-8271&client=summon