资源描述：
《Conceptual Modeling of Information Systems》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、ConceptualModelingofInformationSystemsAntoniOlivéConceptualModelingofInformationSystemsWith185Figures123AuthorAntoniOlivéUniversitatPolitècnicadeCatalunyaDepartmentofSoftware(LSI)JordiGirona1-3,E-08034BarcelonaCatalonia,Spainolive@lsi.upc.eduLibraryofCongressControlNumber:200
2、7932289ACMComputingClassification(1998):D.2.1,D.2.2,H.2.1,I.6.5,F.3.1ISBN978-3-540-39389-4SpringerBerlinHeidelbergNewYorkThisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustra
3、tions,recitation,broad-casting,reproductiononmicrofilmorinanyotherway,andstorageindatabanks.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpring
4、er.ViolationsareliableforprosecutionundertheGermanCopyrightLaw.SpringerisapartofSpringerScience+BusinessMediaspringer.com©Springer-VerlagBerlinHeidelberg2007Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply,evenintheabsenceofaspecific
5、statement,thatsuchnamesareexemptfromtherelevantpro-tectivelawsandregulationsandthereforefreeforgeneraluse.TypesetbytheauthorProduction:LE-TEXJelonek,Schmidt&VöcklerGbR,LeipzigCoverdesign:KünkelLopkaWerbeagentur,HeidelbergPrintedonacid-freepaper45/3180/YL-543210ForewordItisnow
6、morethanfiftyyearssincethefirstpaperonformalspecificationsofaninformationsystemwaspublishedbyYoungandKent.Eveniftheterm“conceptualmodel”wasnotusedatthattime,thebasicintentionoftheabstractspecificationwastoalargeextentthesameasfordevelopingconceptualmodelstoday:toarriveataprec
7、ise,abstract,andhardwarein-dependentmodeloftheinformationalandtimecharacteristicsofadataprocessingproblem.Theabstractnotationshouldenabletheanalysttoor-ganizetheproblemaroundanypieceofhardware.Inotherwords,thepur-poseofanabstractspecificationwasforittobeusedasaninvariantbasis
8、fordesigningdifferentalternativeimplementations,perhapsevenusingdiff
