WFRF:(Ericsson Mikael)
Search: WFRF:(Ericsson Mikael) > (2005-2009) > Seamless Formal Ver...
- 10 of 27
- Previous record
- Next record
- To hitlist
- Ericsson, AnnMarieHögskolan i Skövde,Institutionen för kommunikation och information,Forskningscentrum för Informationsteknologi,University of Skövde, Sweden (author)
Seamless Formal Verification of Complex Event Processing Applications
- Article/chapterEnglish2007
Publisher, publication year, extent ...
- 2007-06-20
- New York :Association for Computing Machinery (ACM),2007
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:his-2111
- https://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-2111URI
- https://doi.org/10.1145/1266894.1266903DOI
- https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7019URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- Copyright © 2007 ACM
- Despite proven successful in previous projects, the use of formal methods for enhancing quality of software is still not used in its full potential in industry. We argue that seamless support for formal verification in a high-level specification tool enhances the attractiveness of using a formal approach for increasing software quality.Commercial Complex Event Processing (CEP) engines often have support for modelling, debugging and testing CEP applications. However, the possibility of utilizing formal analysis is not considered.We argue that using a formal approach for verifying a CEP system can be performed without expertise in formal methods. In this paper, a prototype tool REX is presented with support for specifying both CEP systems and correctness properties of the same application in a high-level graphical language. The specified CEP applications are seamlessly transformed into a timed automata representation together with the high-level properties for automatic verification in the model-checker UPPAAL.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
- Design
- Verification
- CEP
- Timed automata
- Technology
- Teknik
Added entries (persons, corporate bodies, meetings, titles ...)
- Pettersson, PaulMälardalens högskola,Institutionen för datavetenskap och elektronik,Department of Computer Science and Electronics, Mälardalen University, Sweden(Swepub:mdh)ppn02 (author)
- Berndtsson, MikaelHögskolan i Skövde,Institutionen för kommunikation och information,Forskningscentrum för Informationsteknologi,University of Skövde, Sweden(Swepub:his)berk (author)
- Seiriö, MarcoRuleCore, Sweden(Swepub:mdh)psd02 (author)
- Högskolan i SkövdeInstitutionen för kommunikation och information (creator_code:org_t)
Related titles
- In:DEBS '07New York : Association for Computing Machinery (ACM), s. 50-61, s. 50-619781595936653
- In:ACM International Conference Proceeding Series, Volume 233New York : Association for Computing Machinery (ACM), s. 50-61, s. 50-611595936653
Internet link
- 10 of 27
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Ericsson, AnnMar ...
- Pettersson, Paul
- Berndtsson, Mika ...
- Seiriö, Marco
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- DEBS '07
- ACM Internationa ...
- By the university
- University of Skövde
- Mälardalen University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
