Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
Identifieur interne : 003522 ( Istex/Corpus ); précédent : 003521; suivant : 003523Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
Auteurs : Volker Gruhn ; Ursula WellenSource :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Traditional development and management of software processes is based on the idea of centralized real world processes carried out at one location. Reasons for modelling these processes, their chronological and hierarchical order, their interrelations and their deliverables at different levels of detail is to better understand their tasks and dependencies [Tul95]. We call a set of hierarchically structured process models, related via interfaces, a process landscape. Each activity of a process model belongs to the process landscape, but can also be refined by a landscape [GW00b] again. The predominant view onto process landscapes is a logical view, paying most attention to logical dependencies. We develop such a landscape by applying the Process Landscaping method [GW00a].
Url:
DOI: 10.1007/3-540-45541-8_5
Links to Exploration step
ISTEX:DF1890B2C372962A1167DEE468104C27C1A46284Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</title><author><name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name><affiliation><mods:affiliation>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: gruhn@ls10.cs.uni-dortmund.de</mods:affiliation></affiliation></author><author><name sortKey="Wellen, Ursula" sort="Wellen, Ursula" uniqKey="Wellen U" first="Ursula" last="Wellen">Ursula Wellen</name><affiliation><mods:affiliation>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: wellen@ls10.cs.uni-dortmund.de</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:DF1890B2C372962A1167DEE468104C27C1A46284</idno><date when="2001" year="2001">2001</date><idno type="doi">10.1007/3-540-45541-8_5</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-HRQ0CXB4-5/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">003522</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003522</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</title><author><name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name><affiliation><mods:affiliation>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: gruhn@ls10.cs.uni-dortmund.de</mods:affiliation></affiliation></author><author><name sortKey="Wellen, Ursula" sort="Wellen, Ursula" uniqKey="Wellen U" first="Ursula" last="Wellen">Ursula Wellen</name><affiliation><mods:affiliation>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: wellen@ls10.cs.uni-dortmund.de</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Traditional development and management of software processes is based on the idea of centralized real world processes carried out at one location. Reasons for modelling these processes, their chronological and hierarchical order, their interrelations and their deliverables at different levels of detail is to better understand their tasks and dependencies [Tul95]. We call a set of hierarchically structured process models, related via interfaces, a process landscape. Each activity of a process model belongs to the process landscape, but can also be refined by a landscape [GW00b] again. The predominant view onto process landscapes is a logical view, paying most attention to logical dependencies. We develop such a landscape by applying the Process Landscaping method [GW00a].</div></front></TEI><istex><corpusName>springer-ebooks</corpusName><author><json:item><name>Volker Gruhn</name><affiliations><json:string>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</json:string><json:string>E-mail: gruhn@ls10.cs.uni-dortmund.de</json:string></affiliations></json:item><json:item><name>Ursula Wellen</name><affiliations><json:string>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</json:string><json:string>E-mail: wellen@ls10.cs.uni-dortmund.de</json:string></affiliations></json:item></author><arkIstex>ark:/67375/HCB-HRQ0CXB4-5</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>OriginalPaper</json:string></originalGenre><abstract>Abstract: Traditional development and management of software processes is based on the idea of centralized real world processes carried out at one location. Reasons for modelling these processes, their chronological and hierarchical order, their interrelations and their deliverables at different levels of detail is to better understand their tasks and dependencies [Tul95]. We call a set of hierarchically structured process models, related via interfaces, a process landscape. Each activity of a process model belongs to the process landscape, but can also be refined by a landscape [GW00b] again. The predominant view onto process landscapes is a logical view, paying most attention to logical dependencies. We develop such a landscape by applying the Process Landscaping method [GW00a].</abstract><qualityIndicators><refBibsNative>false</refBibsNative><abstractWordCount>116</abstractWordCount><abstractCharCount>791</abstractCharCount><keywordCount>0</keywordCount><score>8.392</score><pdfWordCount>8298</pdfWordCount><pdfCharCount>50813</pdfCharCount><pdfVersion>1.3</pdfVersion><pdfPageCount>23</pdfPageCount><pdfPageSize>430.552 x 666.248 pts</pdfPageSize></qualityIndicators><title>Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</title><chapterId><json:string>5</json:string><json:string>Chap5</json:string></chapterId><genre><json:string>conference</json:string></genre><serie><title>Lecture Notes in Computer Science</title><language><json:string>unknown</json:string></language><copyrightDate>2001</copyrightDate><issn><json:string>0302-9743</json:string></issn><volume>Part I</volume><editor><json:item><name>Gerhard Goos</name><affiliations><json:string>Karlsruhe University, Germany</json:string></affiliations></json:item><json:item><name>Juris Hartmanis</name><affiliations><json:string>Cornell University, NY, USA</json:string></affiliations></json:item><json:item><name>Jan van Leeuwen</name><affiliations><json:string>Utrecht University, The Netherlands</json:string></affiliations></json:item></editor></serie><host><title>Unifying Petri Nets</title><language><json:string>unknown</json:string></language><copyrightDate>2001</copyrightDate><doi><json:string>10.1007/3-540-45541-8</json:string></doi><issn><json:string>0302-9743</json:string></issn><eisbn><json:string>978-3-540-45541-7</json:string></eisbn><bookId><json:string>3-540-45541-8</json:string></bookId><isbn><json:string>978-3-540-43067-4</json:string></isbn><volume>2128</volume><pages><first>103</first><last>125</last></pages><genre><json:string>book-series</json:string></genre><editor><json:item><name>Hartmut Ehrig</name><affiliations><json:string>Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany</json:string><json:string>E-mail: ehrig@cs.tu-berlin.de</json:string></affiliations></json:item><json:item><name>Julia Padberg</name><affiliations><json:string>Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany</json:string><json:string>E-mail: padberg@cs.tu-berlin.de</json:string></affiliations></json:item><json:item><name>Gabriel Juhás</name><affiliations><json:string>Katholische Universität Eichstätt, Ostenstr. 28, 85072, Eichstätt, Germany</json:string><json:string>E-mail: gabriel.juhas@ku-eichstaett.de</json:string></affiliations></json:item><json:item><name>Grzegorz Rozenberg</name><affiliations><json:string>Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands</json:string><json:string>E-mail: rozenberg@liacs.nl</json:string></affiliations></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Computation by Abstract Devices</value></json:item><json:item><value>Software Engineering/Programming and Operating Systems</value></json:item><json:item><value>Logics and Meanings of Programs</value></json:item><json:item><value>Computer Communication Networks</value></json:item><json:item><value>Discrete Mathematics in Computer Science</value></json:item></subject></host><ark><json:string>ark:/67375/HCB-HRQ0CXB4-5</json:string></ark><publicationDate>2001</publicationDate><copyrightDate>2001</copyrightDate><doi><json:string>10.1007/3-540-45541-8_5</json:string></doi><id>DF1890B2C372962A1167DEE468104C27C1A46284</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-HRQ0CXB4-5/fulltext.pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-HRQ0CXB4-5/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-HRQ0CXB4-5/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</title></titleStmt><publicationStmt><authority>ISTEX</authority><availability><licence>Springer-Verlag Berlin Heidelberg</licence></availability><date when="2001">2001</date></publicationStmt><notesStmt><note type="conference" source="proceedings" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</note><note type="publication-type" subtype="book-series" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</note></notesStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</title><author><persName><forename type="first">Volker</forename><surname>Gruhn</surname></persName><email>gruhn@ls10.cs.uni-dortmund.de</email><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">University of Dortmund</orgName><address><street>Baroper Str. 301</street><postCode>D-44221</postCode><settlement>Dortmund</settlement><country key="DE">GERMANY</country></address></affiliation></author><author><persName><forename type="first">Ursula</forename><surname>Wellen</surname></persName><email>wellen@ls10.cs.uni-dortmund.de</email><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">University of Dortmund</orgName><address><street>Baroper Str. 301</street><postCode>D-44221</postCode><settlement>Dortmund</settlement><country key="DE">GERMANY</country></address></affiliation></author><idno type="istex">DF1890B2C372962A1167DEE468104C27C1A46284</idno><idno type="ark">ark:/67375/HCB-HRQ0CXB4-5</idno><idno type="DOI">10.1007/3-540-45541-8_5</idno></analytic><monogr><title level="m" type="main">Unifying Petri Nets</title><title level="m" type="sub">Advances in Petri Nets</title><title level="m" type="part">Application Oriented Approaches</title><idno type="DOI">10.1007/3-540-45541-8</idno><idno type="book-id">3-540-45541-8</idno><idno type="ISBN">978-3-540-43067-4</idno><idno type="eISBN">978-3-540-45541-7</idno><idno type="chapter-id">Chap5</idno><idno type="part-id">Part2</idno><editor><persName><forename type="first">Hartmut</forename><surname>Ehrig</surname></persName><email>ehrig@cs.tu-berlin.de</email><affiliation><orgName type="department">Institut für Softwaretechnik und Theoretische Informatik</orgName><orgName type="institution">Technische Universität Berlin</orgName><address><street>Franklinstr. 28/29</street><postCode>10587</postCode><settlement>Berlin</settlement><country key="DE">GERMANY</country></address></affiliation></editor><editor><persName><forename type="first">Julia</forename><surname>Padberg</surname></persName><email>padberg@cs.tu-berlin.de</email><affiliation><orgName type="department">Institut für Softwaretechnik und Theoretische Informatik</orgName><orgName type="institution">Technische Universität Berlin</orgName><address><street>Franklinstr. 28/29</street><postCode>10587</postCode><settlement>Berlin</settlement><country key="DE">GERMANY</country></address></affiliation></editor><editor><persName><forename type="first">Gabriel</forename><surname>Juhás</surname></persName><email>gabriel.juhas@ku-eichstaett.de</email><affiliation><orgName type="institution">Katholische Universität Eichstätt</orgName><address><street>Ostenstr. 28</street><postCode>85072</postCode><settlement>Eichstätt</settlement><country key="DE">GERMANY</country></address></affiliation></editor><editor><persName><forename type="first">Grzegorz</forename><surname>Rozenberg</surname></persName><email>rozenberg@liacs.nl</email><affiliation><orgName type="department">Leiden Institute of Advanced Computer Science</orgName><orgName type="institution">Leiden University</orgName><address><street>Niels Bohrweg 1</street><postCode>2333</postCode><settlement>CA Leiden</settlement><country key=""></country></address></affiliation></editor><imprint><biblScope unit="vol">2128</biblScope><biblScope unit="page" from="103">103</biblScope><biblScope unit="page" to="125">125</biblScope><biblScope unit="chapter-count">14</biblScope><biblScope unit="part-chapter-count">4</biblScope></imprint></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><editor><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName><affiliation><orgName type="institution">Karlsruhe University</orgName><address><country key="DE">GERMANY</country></address></affiliation></editor><editor><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName><affiliation><orgName type="institution">Cornell University</orgName><address><settlement>NY</settlement><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Jan</forename><nameLink>van</nameLink><surname>Leeuwen</surname></persName><affiliation><orgName type="institution">Utrecht University</orgName><address><country key=""></country></address></affiliation></editor><idno type="pISSN">0302-9743</idno><idno type="seriesID">558</idno></series></biblStruct></sourceDesc></fileDesc><profileDesc><abstract xml:lang="en"><head>Abstract</head><p>Traditional development and management of software processes is based on the idea of centralized real world processes carried out at one location. Reasons for modelling these processes, their chronological and hierarchical order, their interrelations and their deliverables at different levels of detail is to better understand their tasks and dependencies [Tul95]. We call a set of hierarchically structured process models, related via interfaces, a process landscape. Each activity of a process model belongs to the process landscape, but can also be refined by a landscape [GW00b] again. The predominant view onto process landscapes is a logical view, paying most attention to logical dependencies. We develop such a landscape by applying the Process Landscaping method [GW00a].</p></abstract><textClass ana="subject"><keywords scheme="book-subject-collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass ana="subject"><keywords scheme="book-subject"><list><label>I</label><item><term type="Primary">Computer Science</term></item><label>I16013</label><item><term type="Secondary" subtype="priority-1">Computation by Abstract Devices</term></item><label>I14002</label><item><term type="Secondary" subtype="priority-2">Software Engineering/Programming and Operating Systems</term></item><label>I1603X</label><item><term type="Secondary" subtype="priority-3">Logics and Meanings of Programs</term></item><label>I13022</label><item><term type="Secondary" subtype="priority-4">Computer Communication Networks</term></item><label>I17028</label><item><term type="Secondary" subtype="priority-5">Discrete Mathematics in Computer Science</term></item></list></keywords></textClass><langUsage><language ident="EN"></language></langUsage></profileDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-HRQ0CXB4-5/fulltext.txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="corpus springer-ebooks not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Jan</GivenName><Particle>van</Particle><FamilyName>Leeuwen</FamilyName></EditorName></Editor><Affiliation ID="Aff1"><OrgName>Karlsruhe University</OrgName><OrgAddress><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Cornell University</OrgName><OrgAddress><City>NY</City><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>Utrecht University</OrgName><OrgAddress><Country>The Netherlands</Country></OrgAddress></Affiliation></EditorGroup></SeriesHeader><Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingStyle="Unnumbered" TocLevels="0"><BookID>3-540-45541-8</BookID><BookTitle>Unifying Petri Nets</BookTitle><BookSubTitle>Advances in Petri Nets</BookSubTitle><BookVolumeNumber>2128</BookVolumeNumber><BookSequenceNumber>2128</BookSequenceNumber><BookDOI>10.1007/3-540-45541-8</BookDOI><BookTitleID>69423</BookTitleID><BookPrintISBN>978-3-540-43067-4</BookPrintISBN><BookElectronicISBN>978-3-540-45541-7</BookElectronicISBN><BookChapterCount>14</BookChapterCount><BookHistory><OnlineDate><Year>2001</Year><Month>12</Month><Day>18</Day></OnlineDate></BookHistory><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2001</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I16013" Priority="1" Type="Secondary">Computation by Abstract Devices</BookSubject><BookSubject Code="I14002" Priority="2" Type="Secondary">Software Engineering/Programming and Operating Systems</BookSubject><BookSubject Code="I1603X" Priority="3" Type="Secondary">Logics and Meanings of Programs</BookSubject><BookSubject Code="I13022" Priority="4" Type="Secondary">Computer Communication Networks</BookSubject><BookSubject Code="I17028" Priority="5" Type="Secondary">Discrete Mathematics in Computer Science</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup><BookContext><SeriesID>558</SeriesID></BookContext></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Hartmut</GivenName><FamilyName>Ehrig</FamilyName></EditorName><Contact><Email>ehrig@cs.tu-berlin.de</Email></Contact></Editor><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Julia</GivenName><FamilyName>Padberg</FamilyName></EditorName><Contact><Email>padberg@cs.tu-berlin.de</Email></Contact></Editor><Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Gabriel</GivenName><FamilyName>Juhás</FamilyName></EditorName><Contact><Email>gabriel.juhas@ku-eichstaett.de</Email></Contact></Editor><Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>Grzegorz</GivenName><FamilyName>Rozenberg</FamilyName></EditorName><Contact><Email>rozenberg@liacs.nl</Email></Contact></Editor><Affiliation ID="Aff4"><OrgDivision>Institut für Softwaretechnik und Theoretische Informatik</OrgDivision><OrgName>Technische Universität Berlin</OrgName><OrgAddress><Street>Franklinstr. 28/29</Street><Postcode>10587</Postcode><City>Berlin</City><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff5"><OrgName>Katholische Universität Eichstätt</OrgName><OrgAddress><Street>Ostenstr. 28</Street><Postcode>85072</Postcode><City>Eichstätt</City><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff6"><OrgDivision>Leiden Institute of Advanced Computer Science</OrgDivision><OrgName>Leiden University</OrgName><OrgAddress><Street>Niels Bohrweg 1</Street><Postcode>2333</Postcode><City>CA Leiden</City><Country>The Netherlands</Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Part ID="Part2"><PartInfo TocLevels="0"><PartID>2</PartID><PartNumber>Part I</PartNumber><PartSequenceNumber>2</PartSequenceNumber><PartTitle>Application Oriented Approaches</PartTitle><PartChapterCount>4</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookID>3-540-45541-8</BookID><BookTitle>Unifying Petri Nets</BookTitle></PartContext></PartInfo><Chapter ID="Chap5" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" Language="En" NumberingStyle="Unnumbered" TocLevels="0"><ChapterID>5</ChapterID><ChapterDOI>10.1007/3-540-45541-8_5</ChapterDOI><ChapterSequenceNumber>5</ChapterSequenceNumber><ChapterTitle Language="En">Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</ChapterTitle><ChapterFirstPage>103</ChapterFirstPage><ChapterLastPage>125</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2001</CopyrightYear></ChapterCopyright><ChapterHistory><RegistrationDate><Year>2001</Year><Month>12</Month><Day>17</Day></RegistrationDate><OnlineDate><Year>2001</Year><Month>12</Month><Day>18</Day></OnlineDate></ChapterHistory><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>2</PartID><BookID>3-540-45541-8</BookID><BookTitle>Unifying Petri Nets</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff7"><AuthorName DisplayOrder="Western"><GivenName>Volker</GivenName><FamilyName>Gruhn</FamilyName></AuthorName><Contact><Email>gruhn@ls10.cs.uni-dortmund.de</Email></Contact></Author><Author AffiliationIDS="Aff7"><AuthorName DisplayOrder="Western"><GivenName>Ursula</GivenName><FamilyName>Wellen</FamilyName></AuthorName><Contact><Email>wellen@ls10.cs.uni-dortmund.de</Email></Contact></Author><Affiliation ID="Aff7"><OrgDivision>Department of Computer Science</OrgDivision><OrgName>University of Dortmund</OrgName><OrgAddress><Street>Baroper Str. 301</Street><Postcode>D-44221</Postcode><City>Dortmund</City><Country>Germany</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>Traditional development and management of software processes is based on the idea of centralized real world processes carried out at one location. Reasons for modelling these processes, their chronological and hierarchical order, their interrelations and their deliverables at different levels of detail is to better understand their tasks and dependencies [Tul95]. We call a set of hierarchically structured process models, related via interfaces, a process landscape. Each activity of a process model belongs to the process landscape, but can also be refined by a landscape [GW00b] again. The predominant view onto process landscapes is a logical view, paying most attention to logical dependencies. We develop such a landscape by applying the Process Landscaping method [GW00a].</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</title></titleInfo><titleInfo type="alternative" contentType="CDATA"><title>Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models</title></titleInfo><name type="personal"><namePart type="given">Volker</namePart><namePart type="family">Gruhn</namePart><affiliation>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</affiliation><affiliation>E-mail: gruhn@ls10.cs.uni-dortmund.de</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Ursula</namePart><namePart type="family">Wellen</namePart><affiliation>Department of Computer Science, University of Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany</affiliation><affiliation>E-mail: wellen@ls10.cs.uni-dortmund.de</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre displayLabel="OriginalPaper" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" type="conference" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2001</dateIssued><copyrightDate encoding="w3cdtf">2001</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><abstract lang="en">Abstract: Traditional development and management of software processes is based on the idea of centralized real world processes carried out at one location. Reasons for modelling these processes, their chronological and hierarchical order, their interrelations and their deliverables at different levels of detail is to better understand their tasks and dependencies [Tul95]. We call a set of hierarchically structured process models, related via interfaces, a process landscape. Each activity of a process model belongs to the process landscape, but can also be refined by a landscape [GW00b] again. The predominant view onto process landscapes is a logical view, paying most attention to logical dependencies. We develop such a landscape by applying the Process Landscaping method [GW00a].</abstract><relatedItem type="host"><titleInfo><title>Unifying Petri Nets</title><subTitle>Advances in Petri Nets</subTitle></titleInfo><name type="personal"><namePart type="given">Hartmut</namePart><namePart type="family">Ehrig</namePart><affiliation>Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany</affiliation><affiliation>E-mail: ehrig@cs.tu-berlin.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Julia</namePart><namePart type="family">Padberg</namePart><affiliation>Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany</affiliation><affiliation>E-mail: padberg@cs.tu-berlin.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Gabriel</namePart><namePart type="family">Juhás</namePart><affiliation>Katholische Universität Eichstätt, Ostenstr. 28, 85072, Eichstätt, Germany</affiliation><affiliation>E-mail: gabriel.juhas@ku-eichstaett.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Grzegorz</namePart><namePart type="family">Rozenberg</namePart><affiliation>Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands</affiliation><affiliation>E-mail: rozenberg@liacs.nl</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</genre><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2001</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I16013">Computation by Abstract Devices</topic><topic authority="SpringerSubjectCodes" authorityURI="I14002">Software Engineering/Programming and Operating Systems</topic><topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic><topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic><topic authority="SpringerSubjectCodes" authorityURI="I17028">Discrete Mathematics in Computer Science</topic></subject><identifier type="DOI">10.1007/3-540-45541-8</identifier><identifier type="ISBN">978-3-540-43067-4</identifier><identifier type="eISBN">978-3-540-45541-7</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="BookTitleID">69423</identifier><identifier type="BookID">3-540-45541-8</identifier><identifier type="BookChapterCount">14</identifier><identifier type="BookVolumeNumber">2128</identifier><identifier type="BookSequenceNumber">2128</identifier><identifier type="PartChapterCount">4</identifier><part><date>2001</date><detail type="part"><title>Part I: Application Oriented Approaches</title></detail><detail type="volume"><number>2128</number><caption>vol.</caption></detail><extent unit="pages"><start>103</start><end>125</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2001</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><affiliation>Karlsruhe University, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><affiliation>Cornell University, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jan</namePart><namePart type="family">van Leeuwen</namePart><affiliation>Utrecht University, The Netherlands</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2001</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="SeriesID">558</identifier><part><detail type="volume"><number>Part I</number><caption>vol.</caption></detail></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2001</recordOrigin></recordInfo></relatedItem><identifier type="istex">DF1890B2C372962A1167DEE468104C27C1A46284</identifier><identifier type="ark">ark:/67375/HCB-HRQ0CXB4-5</identifier><identifier type="DOI">10.1007/3-540-45541-8_5</identifier><identifier type="ChapterID">5</identifier><identifier type="ChapterID">Chap5</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2001</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-RLRX46XW-4">springer</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2001</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-HRQ0CXB4-5/record.json</uri></json:item></metadata></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003522 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 003522 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:DF1890B2C372962A1167DEE468104C27C1A46284
|texte= Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
}}
| This area was generated with Dilib version V0.6.33. |  |