Integrating a formal specification method with PML: A case study
Identifieur interne : 002090 ( Istex/Corpus ); précédent : 002089; suivant : 002091Integrating a formal specification method with PML: A case study
Auteurs : Jin Sa ; Brian WarboysSource :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: This paper outlines a Case Study of the application of one approach to the Formal Specification of Parallel Object Oriented Systems to a Process Modelling language. The purpose was to both check whether such an approach was feasible and useful and also to give insight into the ongoing design of such Process Modelling Languages.
Url:
DOI: 10.1007/BFb0017510
Links to Exploration step
ISTEX:8DD1C90991F8C05032C2F392C5463C660288F633Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Integrating a formal specification method with PML: A case study</title><author><name sortKey="Sa, Jin" sort="Sa, Jin" uniqKey="Sa J" first="Jin" last="Sa">Jin Sa</name><affiliation><mods:affiliation>Department of Computer Science, University of Manchester, M13 9PL, UK</mods:affiliation></affiliation></author><author><name sortKey="Warboys, Brian" sort="Warboys, Brian" uniqKey="Warboys B" first="Brian" last="Warboys">Brian Warboys</name><affiliation><mods:affiliation>Department of Computer Science, University of Manchester, M13 9PL, UK</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:8DD1C90991F8C05032C2F392C5463C660288F633</idno><date when="1992" year="1992">1992</date><idno type="doi">10.1007/BFb0017510</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-T4Z26JNQ-1/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002090</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002090</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Integrating a formal specification method with PML: A case study</title><author><name sortKey="Sa, Jin" sort="Sa, Jin" uniqKey="Sa J" first="Jin" last="Sa">Jin Sa</name><affiliation><mods:affiliation>Department of Computer Science, University of Manchester, M13 9PL, UK</mods:affiliation></affiliation></author><author><name sortKey="Warboys, Brian" sort="Warboys, Brian" uniqKey="Warboys B" first="Brian" last="Warboys">Brian Warboys</name><affiliation><mods:affiliation>Department of Computer Science, University of Manchester, M13 9PL, UK</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">Lect Notes Comput Sci</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</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: This paper outlines a Case Study of the application of one approach to the Formal Specification of Parallel Object Oriented Systems to a Process Modelling language. The purpose was to both check whether such an approach was feasible and useful and also to give insight into the ongoing design of such Process Modelling Languages.</div></front></TEI><istex><corpusName>springer-ebooks</corpusName><author><json:item><name>Jin Sa</name><affiliations><json:string>Department of Computer Science, University of Manchester, M13 9PL, UK</json:string></affiliations></json:item><json:item><name>Brian Warboys</name><affiliations><json:string>Department of Computer Science, University of Manchester, M13 9PL, UK</json:string></affiliations></json:item></author><subject><json:item><lang><json:string>eng</json:string></lang><value>Process Modelling Languages</value></json:item><json:item><lang><json:string>eng</json:string></lang><value>Formal Specification</value></json:item></subject><arkIstex>ark:/67375/HCB-T4Z26JNQ-1</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>ReviewPaper</json:string></originalGenre><abstract>Abstract: This paper outlines a Case Study of the application of one approach to the Formal Specification of Parallel Object Oriented Systems to a Process Modelling language. The purpose was to both check whether such an approach was feasible and useful and also to give insight into the ongoing design of such Process Modelling Languages.</abstract><qualityIndicators><refBibsNative>false</refBibsNative><abstractWordCount>55</abstractWordCount><abstractCharCount>339</abstractCharCount><keywordCount>2</keywordCount><score>7.66</score><pdfWordCount>6666</pdfWordCount><pdfCharCount>37271</pdfCharCount><pdfVersion>1.3</pdfVersion><pdfPageCount>17</pdfPageCount><pdfPageSize>468 x 684 pts</pdfPageSize></qualityIndicators><title>Integrating a formal specification method with PML: A case study</title><chapterId><json:string>15</json:string><json:string>Chap15</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>1992</copyrightDate><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><editor><json:item><name>Gerhard Goos</name></json:item><json:item><name>Juris Hartmanis</name></json:item></editor></serie><host><title>Software Process Technology</title><language><json:string>unknown</json:string></language><copyrightDate>1992</copyrightDate><doi><json:string>10.1007/BFb0017495</json:string></doi><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><eisbn><json:string>978-3-540-47310-7</json:string></eisbn><bookId><json:string>3540559280</json:string></bookId><isbn><json:string>978-3-540-55928-3</json:string></isbn><volume>635</volume><pages><first>106</first><last>122</last></pages><genre><json:string>book-series</json:string></genre><editor><json:item><name>Jean-Claude Derniame</name></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Software Engineering</value></json:item></subject></host><ark><json:string>ark:/67375/HCB-T4Z26JNQ-1</json:string></ark><publicationDate>1992</publicationDate><copyrightDate>1992</copyrightDate><doi><json:string>10.1007/BFb0017510</json:string></doi><id>8DD1C90991F8C05032C2F392C5463C660288F633</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-T4Z26JNQ-1/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-T4Z26JNQ-1/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-T4Z26JNQ-1/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Integrating a formal specification method with PML: A case study</title></titleStmt><publicationStmt><authority>ISTEX</authority><availability><licence>Springer-Verlag</licence></availability><date when="1992">1992</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">Integrating a formal specification method with PML: A case study</title><author><persName><forename type="first">Jin</forename><surname>Sa</surname></persName><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">University of Manchester</orgName><address><postCode>M13 9PL</postCode><country key="GB">UNITED KINGDOM</country></address></affiliation></author><author><persName><forename type="first">Brian</forename><surname>Warboys</surname></persName><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">University of Manchester</orgName><address><postCode>M13 9PL</postCode><country key="GB">UNITED KINGDOM</country></address></affiliation></author><idno type="istex">8DD1C90991F8C05032C2F392C5463C660288F633</idno><idno type="ark">ark:/67375/HCB-T4Z26JNQ-1</idno><idno type="DOI">10.1007/BFb0017510</idno></analytic><monogr><title level="m" type="main">Software Process Technology</title><title level="m" type="sub">Second European Workshop, EWSPT '92 Trondheim, Norway, September 7–8 1992 Proceedings</title><idno type="DOI">10.1007/BFb0017495</idno><idno type="book-id">3540559280</idno><idno type="ISBN">978-3-540-55928-3</idno><idno type="eISBN">978-3-540-47310-7</idno><idno type="chapter-id">Chap15</idno><editor><persName><forename type="first">Jean-Claude</forename><surname>Derniame</surname></persName></editor><imprint><biblScope unit="vol">635</biblScope><biblScope unit="page" from="106">106</biblScope><biblScope unit="page" to="122">122</biblScope><biblScope unit="chapter-count">32</biblScope></imprint></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">Lect Notes Comput Sci</title><editor><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName></editor><editor><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName></editor><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="seriesID">558</idno></series></biblStruct></sourceDesc></fileDesc><profileDesc><abstract xml:lang="en"><head>Abstract</head><p>This paper outlines a Case Study of the application of one approach to the Formal Specification of Parallel Object Oriented Systems to a Process Modelling language. The purpose was to both check whether such an approach was feasible and useful and also to give insight into the ongoing design of such Process Modelling Languages.</p></abstract><textClass ana="keyword"><keywords xml:lang="en"><term>Process Modelling Languages</term><term>Formal Specification</term></keywords></textClass><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>I14029</label><item><term type="Secondary" subtype="priority-1">Software Engineering</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-T4Z26JNQ-1/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 TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle><SeriesAbbreviatedTitle>Lect Notes Comput Sci</SeriesAbbreviatedTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor></EditorGroup></SeriesHeader><Book Language="En"><BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered"><BookID>3540559280</BookID><BookTitle>Software Process Technology</BookTitle><BookSubTitle>Second European Workshop, EWSPT '92 Trondheim, Norway, September 7–8 1992 Proceedings</BookSubTitle><BookVolumeNumber>635</BookVolumeNumber><BookDOI>10.1007/BFb0017495</BookDOI><BookTitleID>32640</BookTitleID><BookPrintISBN>978-3-540-55928-3</BookPrintISBN><BookElectronicISBN>978-3-540-47310-7</BookElectronicISBN><BookChapterCount>32</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1992</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I14029" Priority="1" Type="Secondary">Software Engineering</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup></BookInfo><BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Jean-Claude</GivenName><FamilyName>Derniame</FamilyName></EditorName></Editor></EditorGroup></BookHeader><Chapter ID="Chap15" Language="En"><ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No"><ChapterID>15</ChapterID><ChapterDOI>10.1007/BFb0017510</ChapterDOI><ChapterSequenceNumber>15</ChapterSequenceNumber><ChapterTitle Language="En">Integrating a formal specification method with PML: A case study</ChapterTitle><ChapterFirstPage>106</ChapterFirstPage><ChapterLastPage>122</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1992</CopyrightYear></ChapterCopyright><ChapterHistory><OnlineDate><Year>2005</Year><Month>6</Month><Day>10</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><BookID>3540559280</BookID><BookTitle>Software Process Technology</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Jin</GivenName><FamilyName>Sa</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Brian</GivenName><FamilyName>Warboys</FamilyName></AuthorName></Author><Affiliation ID="Aff1"><OrgDivision>Department of Computer Science</OrgDivision><OrgName>University of Manchester</OrgName><OrgAddress><Postcode>M13 9PL</Postcode><Country>UK</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>This paper outlines a Case Study of the application of one approach to the Formal Specification of Parallel Object Oriented Systems to a Process Modelling language. The purpose was to both check whether such an approach was feasible and useful and also to give insight into the ongoing design of such Process Modelling Languages.</Para></Abstract><KeywordGroup Language="En"><Heading>Keywords</Heading><Keyword>Process Modelling Languages</Keyword><Keyword>Formal Specification</Keyword></KeywordGroup></ChapterHeader><NoBody></NoBody></Chapter></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Integrating a formal specification method with PML: A case study</title></titleInfo><titleInfo type="alternative" contentType="CDATA"><title>Integrating a formal specification method with PML: A case study</title></titleInfo><name type="personal"><namePart type="given">Jin</namePart><namePart type="family">Sa</namePart><affiliation>Department of Computer Science, University of Manchester, M13 9PL, UK</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Brian</namePart><namePart type="family">Warboys</namePart><affiliation>Department of Computer Science, University of Manchester, M13 9PL, UK</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre displayLabel="ReviewPaper" 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">1992</dateIssued><copyrightDate encoding="w3cdtf">1992</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><abstract lang="en">Abstract: This paper outlines a Case Study of the application of one approach to the Formal Specification of Parallel Object Oriented Systems to a Process Modelling language. The purpose was to both check whether such an approach was feasible and useful and also to give insight into the ongoing design of such Process Modelling Languages.</abstract><subject lang="en"><genre>Keywords</genre><topic>Process Modelling Languages</topic><topic>Formal Specification</topic></subject><relatedItem type="host"><titleInfo><title>Software Process Technology</title><subTitle>Second European Workshop, EWSPT '92 Trondheim, Norway, September 7–8 1992 Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Jean-Claude</namePart><namePart type="family">Derniame</namePart><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">1992</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="I14029">Software Engineering</topic></subject><identifier type="DOI">10.1007/BFb0017495</identifier><identifier type="ISBN">978-3-540-55928-3</identifier><identifier type="eISBN">978-3-540-47310-7</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">32640</identifier><identifier type="BookID">3540559280</identifier><identifier type="BookChapterCount">32</identifier><identifier type="BookVolumeNumber">635</identifier><part><date>1992</date><detail type="volume"><number>635</number><caption>vol.</caption></detail><extent unit="pages"><start>106</start><end>122</end></extent></part><recordInfo><recordOrigin>Springer-Verlag, 1992</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><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">1992</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag, 1992</recordOrigin></recordInfo></relatedItem><identifier type="istex">8DD1C90991F8C05032C2F392C5463C660288F633</identifier><identifier type="ark">ark:/67375/HCB-T4Z26JNQ-1</identifier><identifier type="DOI">10.1007/BFb0017510</identifier><identifier type="ChapterID">15</identifier><identifier type="ChapterID">Chap15</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1992</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, 1992</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-T4Z26JNQ-1/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 002090 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 002090 | 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:8DD1C90991F8C05032C2F392C5463C660288F633
|texte= Integrating a formal specification method with PML: A case study
}}
| This area was generated with Dilib version V0.6.33. |  |