2002 · 21 citations · 3 references
Software MaintenanceEngineeringSoftware SystemsVerificationSoftware EngineeringSemantic WebSoftware AnalysisFormal VerificationData ConsistencyUml ModellingFormal SpecificationRuntime VerificationLightweight CheckingDistributed SystemsUml DesignConsistency TechnologySoftware DesignSoftware VerificationXlinkit WorksProgram AnalysisDistributed DocumentsSoftware TestingSystem Software
This paper describes the application of xlinkit, a generic tool for managing the consistency of distributed documents, to consistency checking in the context of UML modelling and software development. In particular, we report how we have developed an application of xlinkit to the UML Core package Well-Formedness Rules [9]. We first give an overview of how xlinkit works. We then expand on the specific application of xlinkit to the UML, and discuss our report generator ‘Pulitzer’. Simple examples are used for illustration.
3
Christian Nentwich, Licia Capra, Wolfgang Emmerich et al. · ACM Transactions on Internet Technology · 2002 · 268 citations
Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein et al. · Software Practice and Experience · 2000 · 20 citations · Full text