SIMULATION · 2010 · 15 citations · 15 references
ComputingComputer ScienceSystems EngineeringModel-based Systems EngineeringSoftware EngineeringSystems ModelingModel CheckingModel TransformationReal-time Systems DesignService-oriented ArchitectureSoftware DesignSpecification LanguagesReal-time Systems VerificationSoftware Development Life CycleTimed AutomataTimed Automata SemanticsTimed Automata VerificationTimed Model CheckingWeb Service ArchitectureWeb Services
In this paper we introduce a tool called the Web Service Translation tool (WST), which we are developing to implement a methodology for the design, validation and verification of Web Services with timed restrictions. This methodology works by making several translations, from phase to phase in the software development life cycle, where the system is represented at each phase by XML models. We use XSL Transformations (XSLT), which is a language for transforming XML documents. The purpose of these translations is to generate XML code automatically for a Web Service system and to obtain Web Services description models with Timed Automata for validating and verifying composite Web Services with time restrictions.
15
Goal-directed requirements acquisition
Anne Dardenne, Axel van Lamsweerde, Stephen Fickas · Science of Computer Programming · 1993 · 2K citations