INTEGRAL-an integrated framework for distributed software validation and verification

A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the development and maintenance of distributed systems. The underlying software model supporting various V&V activities in INTEGRAL, calle...

Full description

Saved in:
Bibliographic Details
Published inWorkshop on the Future Trends of Distributed Computing Systems in the 1990s: Proceedings pp. 301 - 310
Main Authors Chang, C.K., Song, C.-C., Chang, Y.-F.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1988
Subjects
Bars
Computer architecture
Computer industry
Design methodology
Fires
Formal specifications
Modems
Software performance
Software prototyping
Software systems
Online AccessGet full text
ISBN9780818608971
0818608978
DOI10.1109/FTDCS.1988.26711

Cover

Abstract A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the development and maintenance of distributed systems. The underlying software model supporting various V&V activities in INTEGRAL, called the extended modified Petri net model is applicable to the descriptions of both products and processes at various levels of the software life cycle. The goal of this research is to demonstrate the availability and applicability of a Petri-net-based software development paradigm supported by INTEGRAL.< >
AbstractList A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the development and maintenance of distributed systems. The underlying software model supporting various V&V activities in INTEGRAL, called the extended modified Petri net model is applicable to the descriptions of both products and processes at various levels of the software life cycle. The goal of this research is to demonstrate the availability and applicability of a Petri-net-based software development paradigm supported by INTEGRAL.< >
Author Song, C.-C.
Chang, C.K.
Chang, Y.-F.
Author_xml – sequence: 1
  givenname: C.K.
  surname: Chang
  fullname: Chang, C.K.
  organization: Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
– sequence: 2
  givenname: C.-C.
  surname: Song
  fullname: Song, C.-C.
  organization: Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
– sequence: 3
  givenname: Y.-F.
  surname: Chang
  fullname: Chang, Y.-F.
  organization: Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
BookMark eNotj1FLwzAUhQMqqLPv-pY_sJrb2iZ5lLrNwVDQ-jxukhuJbq2kccN_vzo9Lwe-A-dwLtlp13fE2DWIHEDo23n70LzmoJXKi1oCnLBMSyUUqFooLeGcZcPwIUbdlSMpLtjb8qmdLV7uV1PseOgSvUdM5LiPuKV9Hz-57yN3YUgxmO_fZOh92mMkvsNNcJhC33HsHN9RDD7YI7hiZx43A2X_PmHtfNY2j9PV82LZjGNB1WlaQVlLqxRYVBZr6avKofFKOQGikmTAgjOycNoaIKOLShtjkQpdOsDKlBN281cbiGj9FcMW48_6-Lw8APtZUkA
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/FTDCS.1988.26711
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EndPage 310
ExternalDocumentID 26711
GroupedDBID 6IE
6IK
6IL
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-i86t-51367c881ca8ca67f55dabf88d01057eb1c1db72d9cb1eb9259bbcae293d1a5b3
IEDL.DBID RIE
ISBN 9780818608971
0818608978
IngestDate Tue Aug 26 16:53:58 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i86t-51367c881ca8ca67f55dabf88d01057eb1c1db72d9cb1eb9259bbcae293d1a5b3
PageCount 10
ParticipantIDs ieee_primary_26711
PublicationCentury 1900
PublicationDate 19880000
PublicationDateYYYYMMDD 1988-01-01
PublicationDate_xml – year: 1988
  text: 19880000
PublicationDecade 1980
PublicationTitle Workshop on the Future Trends of Distributed Computing Systems in the 1990s: Proceedings
PublicationTitleAbbrev FTDCS
PublicationYear 1988
Publisher IEEE Comput. Soc. Press
Publisher_xml – name: IEEE Comput. Soc. Press
SSID ssj0000436082
Score 1.201052
Snippet A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the...
SourceID ieee
SourceType Publisher
StartPage 301
SubjectTerms Bars
Computer architecture
Computer industry
Design methodology
Fires
Formal specifications
Modems
Software performance
Software prototyping
Software systems
Title INTEGRAL-an integrated framework for distributed software validation and verification
URI https://ieeexplore.ieee.org/document/26711
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NSwMxEA3akyctVvwmB6-7dbvJJjlKtYqoiLbQW8nHLBRhK-0WwV_vTLatKB68ZbOwLJkhLzOZeY-xCwdOCWNF4rywich7JnFSeBohPinENEndyI9Pxd1I3I_leEWTE3thACAWn0FKw3iXH2Z-Samybq9Q1Ma7rXTRdGptsilEpI5gFgkeM41DDI5W9Drr52x9SXlpuoPhdf81xXhbp_GbP6RVIrIMdhuJokUkJKSCkrd0WbvUf_6ia_zfT--xzncHH3_eYFObbUG1z0bEf3v7cvWQ2IpveCICL9cFWhxPsDwQlS6pYOGbBW7SH3YOHP1x2qgvcVsFjv5PJUZxosOGg5th_y5ZySokU13UiSSSNq915q32tlCllMG6UutAYpkK926fBad6wXiXgTMYHznnLeC5IGRWuvyAtapZBYeMo3nBCZDoB7koTW5NKKVHa0CwVitzxNq0HpP3hjhjEpfi-K_JE7ZD1mhyG6esVc-XcIZoX7vzaOgvHdmpXQ
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFA4yD3rS4cTf5uC1nV2TNjnKdE7dhmgHu438Kgyhk61F8K_3vXSbKB68vSZQSl6aL3l57_sIudJOp0wqFmjDVMDijgw0ZwYtwKcUMI1jNfJwlPTH7HHCJyuaHF8L45zzyWcuRNPf5du5qTBU1u4kKZbxbnPGGK9rtTbxFKRSBzjzFI-RABOORyuCnfVztL6mvJbtXnbbfQ3hxC1C_9Yf4ioeW3p7tUjR0lMSYkrJW1iVOjSfvwgb__fZ-6T1XcNHnzfo1CRbrjggY2TAvX-5GQSqoBumCEvzdYoWhT0stUimizpY0LOEZfpDLRyFGTmr9ZeoKiyFPwCTjHxDi2S9u6zbD1bCCsFMJGXAkabNCBEZJYxK0pxzq3QuhEW5zBRWbxNZnXasNDpyWsIJSWujHOwMbKS4jg9Jo5gX7ohQcLDTzHGYCTHLZaykzbkBbzirlEjlMWnieEzfa-qMqR-Kk78aL8lOPxsOpoOH0dMp2UXP1JGOM9IoF5U7B-wv9YV3-hcrHKyq
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Workshop+on+the+Future+Trends+of+Distributed+Computing+Systems+in+the+1990s%3A+Proceedings&rft.atitle=INTEGRAL-an+integrated+framework+for+distributed+software+validation+and+verification&rft.au=Chang%2C+C.K.&rft.au=Song%2C+C.-C.&rft.au=Chang%2C+Y.-F.&rft.date=1988-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818608971&rft.spage=301&rft.epage=310&rft_id=info:doi/10.1109%2FFTDCS.1988.26711&rft.externalDocID=26711
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818608971/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818608971/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818608971/sc.gif&client=summon&freeimage=true