<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00782879</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-23T15:23:27+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Complex software systems : Formalization and Applications</title>
            <author role="aut">
              <persName>
                <forename type="first">Marc</forename>
                <surname>Aiguier</surname>
              </persName>
              <email type="md5">d3e94459f59500b917356885e15c2625</email>
              <email type="domain">ibisc.univ-evry.fr</email>
              <idno type="idhal" notation="string">marc-aiguier</idno>
              <idno type="idhal" notation="numeric">1033739</idno>
              <idno type="halauthorid" notation="string">366486-1033739</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0154-0909</idno>
              <idno type="IDREF">https://www.idref.fr/068446748</idno>
              <idno type="VIAF">https://viaf.org/viaf/162199892</idno>
              <idno type="ISNI">http://isni.org/isni/0000000111547667</idno>
              <affiliation ref="#struct-3207"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pascale</forename>
                <surname>Le Gall</surname>
              </persName>
              <email type="md5">5513f4bca5ec36d322086c1037ab3a3a</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">pascale-le-gall</idno>
              <idno type="idhal" notation="numeric">170929</idno>
              <idno type="halauthorid" notation="string">40654-170929</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8955-6835</idno>
              <idno type="IDREF">https://www.idref.fr/081059310</idno>
              <idno type="VIAF">https://viaf.org/viaf/208139891</idno>
              <affiliation ref="#struct-3207"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mbarka</forename>
                <surname>Mabrouki</surname>
              </persName>
              <idno type="halauthorid">688105-0</idno>
              <affiliation ref="#struct-3207"/>
              <affiliation ref="#struct-104071"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Marc</forename>
                <surname>Aiguier</surname>
              </persName>
              <email type="md5">e65ed4d05e927b50c8ddfa7eb4be4361</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-04-11 16:38:31</date>
              <date type="whenModified">2026-03-22 16:40:58</date>
              <date type="whenReleased">2013-04-12 10:48:15</date>
              <date type="whenProduced">2009-01-01</date>
              <date type="whenEndEmbargoed">2013-04-11</date>
              <ref type="file" target="https://centralesupelec.hal.science/hal-00782879v1/document">
                <date notBefore="2013-04-11"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://centralesupelec.hal.science/hal-00782879v1/file/aiguier_al-complex-software.pdf" id="file-782879-744758">
                <date notBefore="2013-04-11"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="180107">
                <persName>
                  <forename>Marc</forename>
                  <surname>Aiguier</surname>
                </persName>
                <email type="md5">e65ed4d05e927b50c8ddfa7eb4be4361</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00782879</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-00782879</idno>
            <idno type="halBibtex">aiguier:hal-00782879</idno>
            <idno type="halRefHtml">&lt;i&gt;International Journal On Advances in Software&lt;/i&gt;, 2009, 2 (1), pp.47-62</idno>
            <idno type="halRef">International Journal On Advances in Software, 2009, 2 (1), pp.47-62</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-782879-744758"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-EVRY">Université d'Evry-Val d'Essonne</idno>
            <idno type="stamp" n="MAS">Laboratoire Mathématiques Appliquées aux Systèmes</idno>
            <idno type="stamp" n="MICS">Mathématiques et Informatique pour la Complexité et les Systèmes</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Complex software systems : Formalization and Applications</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marc</forename>
                    <surname>Aiguier</surname>
                  </persName>
                  <email type="md5">d3e94459f59500b917356885e15c2625</email>
                  <email type="domain">ibisc.univ-evry.fr</email>
                  <idno type="idhal" notation="string">marc-aiguier</idno>
                  <idno type="idhal" notation="numeric">1033739</idno>
                  <idno type="halauthorid" notation="string">366486-1033739</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0154-0909</idno>
                  <idno type="IDREF">https://www.idref.fr/068446748</idno>
                  <idno type="VIAF">https://viaf.org/viaf/162199892</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000111547667</idno>
                  <affiliation ref="#struct-3207"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascale</forename>
                    <surname>Le Gall</surname>
                  </persName>
                  <email type="md5">5513f4bca5ec36d322086c1037ab3a3a</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">pascale-le-gall</idno>
                  <idno type="idhal" notation="numeric">170929</idno>
                  <idno type="halauthorid" notation="string">40654-170929</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8955-6835</idno>
                  <idno type="IDREF">https://www.idref.fr/081059310</idno>
                  <idno type="VIAF">https://viaf.org/viaf/208139891</idno>
                  <affiliation ref="#struct-3207"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mbarka</forename>
                    <surname>Mabrouki</surname>
                  </persName>
                  <idno type="halauthorid">688105-0</idno>
                  <affiliation ref="#struct-3207"/>
                  <affiliation ref="#struct-104071"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">57829</idno>
                <idno type="issn">1942-2628</idno>
                <title level="j">International Journal On Advances in Software</title>
                <imprint>
                  <publisher>IARIA</publisher>
                  <biblScope unit="volume">2</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">47-62</biblScope>
                  <date type="datePub">2009-01-01</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">abstract specification language</term>
                <term xml:lang="en">abstract architectural connector</term>
                <term xml:lang="en">emergent property</term>
                <term xml:lang="en">institution</term>
                <term xml:lang="en">category theory</term>
                <term xml:lang="en">transition systems</term>
                <term xml:lang="en">modal first-order logic</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>A mathematical denotation is proposed for the notion of complex software systems whose behavior is specified by rigorous formalisms. Complex systems are described in a recursive way as an interconnection of subsystems by means of architectural connectors. In order to consider the largest family of specification formalisms and architectural connectors, this denotation is essentially formalism, specification and connector independent. For this, we build our denotation on Goguen's institution theory. In this abstract framework, we characterize complexity by the notion of property emergence. This work is a revised and extended version of Aiguier, Le Gall andMabrouki (3rd International Conference on Software Engineering Advanced (ICSEA), IEEE Computer Society Press, 2008).</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-3207" status="OLD">
          <orgName>Mathématiques Appliquées aux Systèmes - EA 4037</orgName>
          <orgName type="acronym">MAS</orgName>
          <desc>
            <address>
              <addrLine>Grande Voie des Vignes 92295 Châtenay-Malabry</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.mas.ecp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1806510" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-104071" status="VALID">
          <orgName>Programme d'Épigénomique</orgName>
          <desc>
            <address>
              <addrLine>Genopole 523, place des Terrasses 91034 EVRY CEDEX</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300306" type="direct"/>
            <relation name="UPS3201" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1806510" status="OLD">
          <orgName>École centrale Paris</orgName>
          <date type="start">1829-01-01</date>
          <date type="end">2015-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300306" status="VALID">
          <idno type="IdRef">030820529</idno>
          <idno type="ISNI">0000000121805818</idno>
          <idno type="ROR">https://ror.org/00e96v939</idno>
          <idno type="Wikidata">Q1531014</idno>
          <orgName>Université d'Évry-Val-d'Essonne</orgName>
          <orgName type="acronym">UEVE</orgName>
          <date type="start">1991-07-22</date>
          <desc>
            <address>
              <addrLine>Boulevard François Mitterrand 91025 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-evry.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>