Title
A Formal Monitoring-Based Framework for Software Development and Analysis
Abstract
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and allowing them together to form a system. It is called monitoring-oriented programming (MOP), since runtime monitoring is supported and encouraged as a fundamental principle. Monitors are automatically synthesized from formal specifications and integrated at appropriate places in the program, according to user-configurable attributes. Violations and/or validations of specifications can trigger user-defined code at any points in the program, in particular recovery code, outputting/sending messages, or raising exceptions. The major novelty of MOP is its generality w.r.t. logical formalisms: it allows users to insert their favorite or domain-specific specification formalisms via logic plug-in modules. A WWW repository has been created, allowing MOP users to download and upload logic plugins. An experimental prototype tool, called JAvA-MOP, is also discussed, which currently supports most but not all of the desired MOP features.
Year
DOI
Venue
2004
10.1007/978-3-540-30482-1_31
Lecture Notes in Computer Science
Keywords
Field
DocType
message passing,logic circuit,world wide web,internet,software development,formal method,formal specification
Programming language,Computer science,Upload,Real-time computing,Formal specification,Formal methods,Temporal logic,Java Modeling Language,Rotation formalisms in three dimensions,Software development,Message passing,Distributed computing
Conference
Volume
ISSN
Citations 
3308
0302-9743
29
PageRank 
References 
Authors
1.96
14
3
Name
Order
Citations
PageRank
Feng Chen135320.88
Marcelo d'Amorim245329.07
Grigore Rosu33173183.45