<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Towards Formalization of Assembly Knowledge for Product and Assembly Trade-O Analysis</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>AnSyMo/CoSys-Lab, University of Antwerp</institution>
          ,
          <country country="BE">Belgium</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>CoDesignS, Flanders Make</institution>
          ,
          <addr-line>Leuven</addr-line>
          ,
          <country country="BE">Belgium</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Flanders Make</institution>
          ,
          <addr-line>Leuven</addr-line>
          ,
          <country country="BE">Belgium</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2079</year>
      </pub-date>
      <fpage>55</fpage>
      <lpage>60</lpage>
      <abstract>
        <p>The Product-Assembly Co-Design (PACo) project aims at bridging the gap between product design and assembly system design by front-loading of assembly knowledge into the early stages of the product development. Currently, most companies consider assembly aspects later in the design process, often in a manual way, solely relying on the experience of assembly engineers. This leads to numerous design changes causing signi cant extra costs. PACo user companies expect that applying these co-design methods and tools will lead to improved designs, internal cost reduction (up to 25%), and will allow them to strengthen their market position and keep their production. One of the innovative goals of this project is a software environment for the formalization of assembly knowledge e.g. Design-for-Assembly (DFA) rules, assembly complexity metrics. This paper presents a general overview of the project and is speci cally focused on the formalization of assembly knowledge, in the scope of workpackage 3 of the project. The goal of this workpackage is the development of a platform for the formalization and quanti cation of assembly knowledge such as product and assembly designs as well as DFA rules and assembly complexity metrics. This platform will transform the qualitative de nitions of such rules and metrics into a mathematical form, allowing an objective comparison and ranking of di erent conceptual designs with respect to assembly complexity. Based on this platform, a framework will be developed for the co-design of the product and its assembly system in a semi-automated work ow.</p>
      </abstract>
      <kwd-group>
        <kwd>Product Design</kwd>
        <kwd>Assembly Process</kwd>
        <kwd>Assembly Knowledge</kwd>
        <kwd>Design-for-Assembly (DFA)</kwd>
        <kwd>Co-Design</kwd>
        <kwd>Domain-speci c Language</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The Product-Assembly Co-Design (PACo4) project is an ongoing national project
in Flanders region, Belgium. It is a collaborative research projects between
researchers and industry which is funded by Flanders Make in the scope of design
and optimization cluster. Flanders Make is the strategic research centre for the
manufacturing industry. The main goal of Flanders Make is realising a top-level
research network in Flanders that delivers full support to the innovative projects
for manufacturing companies. In this way, it contributes to the new products and
production processes that help to realise the vehicles, machines and factories of
the future.</p>
      <p>
        PACo project is a SBO (Strategic Basic Research) project and it aims at
bridging the gap between product design and assembly system design by
frontloading of assembly knowledge into the early stages of the product development
[
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. The result will be a software tool and technology to realize the co-design and
trade-o analysis between the product performance and ease of assembly. The
current industrial context requires companies to aim at a rst-time-right, down
to lot size 1 production strategy. Hence, considering assembly aspects too late
or in trial-and-error way is no longer an e cient option.
      </p>
      <p>All companies involved in the user group of this project indicate a clear need
to support their engineers with methods and software tools enabling assessment
of assembly complexity in an early design stage, allowing co-optimization of
product performance with ease-of-assembly in a quantitative way, and allowing
trade-o analysis of various solutions. As these software tools are beyond the
state-of-the-art, the research partners will join forces to shift the state-of-the-art
in product-assembly co-design. The results of the project will be evaluated with
the industrial use cases.</p>
      <p>The project duration is 4 years (started in September 2018). It has 5
corelab partners, see Table 1, from Belgian universities (KULueven, University of
Antwerp and University of Ghent) and research-center (Flanders Make) which
play the role of research group in the project. Also, it has 9 industrial partners
as the user group of the project. While the user group provides the industrial
use cases and industrial challenges in the scope of the project (via 6-monthly
user group meetings), the research group addresses these cases and challenges
with their innovative research studies and technologies.
FM-CoDesignS Flanders Make Core Lab Research Center PraonjdecWtcPo1orldeaindaetror
FM-ProductS Flanders Make Core Lab Research Center WP2 leader
AnSyMo/CoSys Univ. of Antwerp Core Lab University WP3 leader
DMMS-D KULeuven-PMA Core Lab University WP4 leader
EEDT Univ. of Ghent Core Lab University WP5 leader
Atlas Copco Atlas Copco Airpower NV Industrial partner Use Case provider
Borit Borit NV Industrial partner Industrial user
CNHi CNHi Industrial Belgium Industrial partner Use Case provider
Noesis Noesis Solutions Industrial partner Industrial user
Reynaers Reynaers Aluminium Industrial partner Industrial user
Siemens Siemens PLM Software Industrial partner Industrial user
Tenneco Tenneco Inc. Industrial partner Industrial user
VHA Van Hoecke Automation Industrial partner Industrial user
Vitalo Vitalo Global Termoforming Industrial partner Use Case provider</p>
      <p>The project has 7 workpackages which are shown in Figure 1
demonstrating their interactions with each other. There are 3 managemental
workpackages namely WP1-Management, WP2-Use Cases, and WP-7 Vaporization and
Dissemination in the project. Also, there are 4 technical workpackages namely
WP3-Formalization of assembly knowledge, WP4-Product optimization,
WP5Assembly system optimization, and WP6-Semi-automated product-assembly
codesign. Here, we give a brief description of each technical workpackage.</p>
      <p>WP3 aims to keep the knowledge of the product and production system in
a systematic way and transform this data to meet the system requirements.
This WP, as the information management center of the project, uses software
engineering techniques and extende them to apply on PACo project. WP3 has
a software-intensive role in the project which is the focus of this paper.</p>
      <p>The goal of WP4 is the development of one or more optimization algorithms
for the (multi-objective) optimization of early-stage product designs. These
designs will be optimized with respect to product performance and/or one or more
assembly complexity metrics resulting in a set of (Pareto-)optimal designs.</p>
      <p>The aim of WP5 is the development of algorithms for (i) the derivation of
assembly steps from the product description, (ii) the optimization of the
assembly process (the order in which the di erent steps will be performed) and (iii)
the optimization of the assembly system (the resources performing these steps),
all for a given product.</p>
      <p>Finally, WP6 intends to develop semi-automated work ows to perform
productassembly co-design. A comparative study will be performed to compare their
performance (speed, ease of use, and so on) for the di erent generic use cases.
This allows design teams to select the work ow most suited to their product
class.
Due to the variety of the interacting components and stakeholders in the project,
the system is complex (structural complexity) and we need for a systematic
way to handle this complexity and to provide: (I) Data integration (II) Data
exchange between design tools (Product design and Assembly process design)
and analysis/optimization tools (III) Interaction between the designer and the
tools (IV) a Standard interface for a third party integration. WP3 addresses this
problem with formalizing the assembly knowledge in this project.</p>
      <p>
        In general, WP3 aims the development of a platform for the formalization
and quanti cation of assembly knowledge such as Design for Assembly (DFA) [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]
rules and assembly complexity metrics. This platform will transform the
qualitative de nitions of such rules and metrics to a mathematical form, allowing an
objective comparison and ranking of di erent conceptual designs with respect
to assembly complexity. The algorithms/procedures for doing these
transformations will be provided in the scope of WP5 [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. For this purpose, the results of
recentely nished project called Conceval [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] will be used. Also, the metrics to
assess the product as well as their computation approach will be provided in the
scope of WP4. For this purpose, the results of project called Conceptdesign [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]
will be used.
      </p>
      <p>Assembly knowledge-base aims to keep the all data required for a product
and its assembly process to be analyzed and optimized later, see Figure 2. This
data will be provided/used by the other components such as CAD tools (e.g.
FreeCAD and/or optimization tools such as Minizinc and Julia .</p>
      <p>
        To provide a formal and systematic approach to keep the knowledge in the
system and provide the aforementioned requirements, it is decided to provide the
data model using Model-driven Engineering (MDE) techniques to later
analysis and optimisation. This will be realized by developing 3 Domain-speci c
Languages (DSL) [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ][
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] for Design, Assembly, and DFA rules which are called
DSL4Design, DSL4Assembly, and DSL4Rule respectively. The data exchange
between di erent components will be provided by model transformations. In this
way, the knowledge base will provide interfaces between designers and standard
APIs for tool developers who want to extend the system with the new CAD tools
or the new optimization tools. This WP will be developed by AnSyMo group
and CoSys Lab (called AnSyMo/CoSys core-lab) at the University of Antwerp
and CoDesignS Lab at Flanders Make.
      </p>
      <p>To implement the above-mentioned DSLs, the concept dictionary is provided
by doing commonality and variability analysis collaboratively with all partners.
This concept dictionary paves the way for developing the domain-speci c
metamodel. The metamodel will be used to instantiate some of the user case studies
to evaluate the comprehensiveness and expressiveness of the metamodel. The
metamodel can be used directly or can be transformed to a context-free
grammar to play the role of abstract syntax of the DSLs. Based on this abstract
syntax, text/graphical concrete syntaxes will be provided to develop the editors
for the DSLs. These editors can be extended by adding domain rules as constraint
checking feature of the languages. Later, the semantics of the languages will be
de ned by providing the transformation rules for each language to transform the
models to the target tool speci cations (such as Minizinc).</p>
    </sec>
    <sec id="sec-2">
      <title>3 Expected Outcome of the project</title>
      <p>The potential innovative results of the PACo project can be characterized as
follows:
{ a software environment for the formalization of assembly knowledge (e.g.</p>
      <p>DFA rules, assembly complexity metrics).
{ tools and algorithms for automated multi-objective optimization of the
earlystage design of a product, taking into account the product performance and
its assembly complexity.
{ tools and algorithms to automatically nd the optimal assembly process
(order of steps) and assembly system (resources allocation), for a given
earlystage product design
{ a framework for the co-design of both product and its assembly system in a
semi-automated work ow.</p>
      <p>The proposed approach will provide a semi-automatic mechanism for design
of the product by considering both, product performance and the assembly
process, see Figure 3. In the resulting methodology, the users (design engineers) will
interact with the algorithms while designing the product or after nalizing the
design. Then, the methodology will be able to evaluate the performance of the
product as well as assess the assembly process required to produce the product.
It is foreseen that the user can interact with the algorithm in this evaluation
process in order to provide input when required. Later, the system can
suggest optimized product design and assembly sequence considering the already
adjusted evaluation criteria. Finally, the user will select/con rm the suggested
choice(s) and continue the design iterations. By employing the proposed
methodology, the trade-o analysis between product performance and assembly process
will be formally and consistently addressed.</p>
      <p>
        The companies expect that applying this methodology, empowered by
codesign [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] methods and other techniques such as ontologies [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], will lead to
improve the designs, reduce internal cost (up to 25%), and allow the companies to
strengthen their market position and keep their production in Flanders.
      </p>
    </sec>
    <sec id="sec-3">
      <title>Acknowledgements</title>
      <p>This research was supported by Flanders Make, the strategic center for the
manufacturing industry within the framework of the PACo SBO project.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Boothroyd</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dewhurst</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Knight</surname>
            ,
            <given-names>W.A.</given-names>
          </string-name>
          :
          <article-title>Product Design for Manufacture and Assembly, Revised and Expanded</article-title>
          . CRC press (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Challenger</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>The Ontology and Architecture for an Academic Social Network</article-title>
          .
          <source>International Journal of Computer Science Issues (IJCSI) 9</source>
          (
          <issue>2</issue>
          ),
          <volume>22</volume>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Flanders</given-names>
            <surname>Make</surname>
          </string-name>
          :
          <article-title>Model-based Conceptual Design and Synthesis (ConceptDesign)</article-title>
          .
          <source>Flanders Make ICON project</source>
          ,
          <year>2014</year>
          -
          <fpage>2017</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>Flanders</given-names>
            <surname>Make</surname>
          </string-name>
          <article-title>: Multi-attribute Concept Evaluation of Lightweight Structures (ConceptEval)</article-title>
          .
          <source>Flanders Make ICON project</source>
          ,
          <year>2017</year>
          -
          <fpage>2019</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Kardas</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tezel</surname>
            ,
            <given-names>B.T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Challenger</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Domain-speci c Modelling Language for Belief{Desire{Intention Software Agents</article-title>
          .
          <source>IET Software</source>
          <volume>12</volume>
          (
          <issue>4</issue>
          ),
          <volume>356</volume>
          {
          <fpage>364</fpage>
          (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Marand</surname>
            ,
            <given-names>E.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Marand</surname>
            ,
            <given-names>E.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Challenger</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>DSML4CP: A Domain-speci c Modeling Language for Concurrent Programming</article-title>
          .
          <source>Computer Languages, Systems &amp; Structures</source>
          <volume>44</volume>
          ,
          <issue>319</issue>
          {
          <fpage>341</fpage>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Marconnet</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Demoly</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Monticolo</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gomes</surname>
            ,
            <given-names>S.:</given-names>
          </string-name>
          <article-title>An Assembly Oriented Design and Optimization Approach for Mechatronic System Engineering</article-title>
          .
          <source>International Journal for Simulation and Multidisciplinary Design Optimization</source>
          <volume>8</volume>
          ,
          <issue>A7</issue>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Vanherpen</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Denil</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          , De Meulenaere,
          <string-name>
            <given-names>P.</given-names>
            ,
            <surname>Vangheluwe</surname>
          </string-name>
          , H.:
          <article-title>Ontological Reasoning as an Enabler of Contract-based Co-design</article-title>
          . In: International Workshop on Design, Modeling, and
          <article-title>Evaluation of Cyber Physical Systems</article-title>
          . pp.
          <volume>101</volume>
          {
          <fpage>115</fpage>
          . Springer (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Vanherpen</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Denil</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vangheluwe</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          , De Meulenaere,
          <string-name>
            <surname>P.</surname>
          </string-name>
          :
          <article-title>Model Transformations for Round-trip Engineering in Control Deployment Co-design</article-title>
          .
          <source>In: Proceedings of the Symposium on Theory of Modeling</source>
          &amp; Simulation
          <string-name>
            <surname>: DEVS Integrative M&amp;S Symposium</surname>
          </string-name>
          . pp.
          <volume>55</volume>
          {
          <fpage>62</fpage>
          . Society for Computer Simulation International (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>