Filters








564,093 Hits in 5.7 sec

Model Checking RAISE Applicative Specifications

Juan Ignacio Perna, Chris George
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
In this paper we focus on the main issues for adding Model Checking functionalities to the RAISE specification language and present the semantic foundations of our current approach for doing so.  ...  In particular, the usage of Model Checking in formal languages has been reinforced in the last decades given the fact that specifications provide an abstraction of the problem under study, supplying a  ...  Regarding RAISE [13] , no support for model checking is currently provided.  ... 
doi:10.1109/sefm.2007.25 dblp:conf/sefm/PernaG07 fatcat:a2iu76cdo5e4lhpe4l2qfppvvu

Model checking RAISE applicative specifications

Juan I. Perna, Chris George
2011 Formal Aspects of Computing  
In this paper we focus on the main issues for adding Model Checking functionalities to the RAISE specification language and present the semantic foundations of our current approach for doing so.  ...  In particular, the usage of Model Checking in formal languages has been reinforced in the last decades given the fact that specifications provide an abstraction of the problem under study, supplying a  ...  Regarding RAISE [13] , no support for model checking is currently provided.  ... 
doi:10.1007/s00165-011-0217-0 fatcat:wfcsb2sitvewbb7hpd2xhds27u

MetaEdit+

Juha-Pekka Tolvanen, Matti Rossi
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
MetaEdit+ is an environment that allows building modeling tools and generators fitting to application domains, without having to write a single line of code.  ...  In domain-specific modeling and MetaEdit+, one expert defines a domain-specific language as a metamodel containing the domain concepts and rules, and specifies the mapping from that to code in a domain-specific  ...  DOMAIN-SPECIFIC MODELLING In domain-specific modelling and MetaEdit+, one expert defines a domain-specific language containing the domain concepts and rules, and specifies the mapping from that to code  ... 
doi:10.1145/949344.949365 dblp:conf/oopsla/TolvanenR03 fatcat:nd5jvragrjcyvky3bkjd7pitna

Improving robustness of evolving exceptional behaviour in executable models

Nelio Cacho, Thomas Cottenier, Alessandro Garcia
2008 Proceedings of the 4th international workshop on Exception handling - WEH '08  
Similarly to exception handling in programming languages, one of the key problems is that the modelling languages and supporting environments do not allow the explicit specification of global exception  ...  Executable models are increasingly being employed by development teams to implement robust software systems.  ...  In addition to model the exception control flow, our approach checks whether all exceptions defined by means of raising sites are handled by a pluggable handler at a raising site.  ... 
doi:10.1145/1454268.1454274 dblp:conf/sigsoft/CachoCG08 fatcat:px2loczdcjfclfkprcew4jvdsu

Supporting systems QoS design and evolution through model transformations

Amogh Kavimandan, Aniruddha Gokhale
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
QUICKER also provides support for validating the generated QoS configurations and resolving any dependencies between them using model checking.  ...  We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software.  ...  QUICKER uses generative techniques on the models of QoS options in order to synthesize: (1) input to the Bogor model-checking framework in order to model-check the QoS options, and (2) descriptors in middleware-specific  ... 
doi:10.1145/1297846.1297916 dblp:conf/oopsla/KavimandanG07 fatcat:lvpebaxbvjd2jnnbgxogv42jta

Exception handling: an architecture model and utility support

Y.C. Cheng, Chien-Tsun Chen, Jung-Sing Jwo
2005 12th Asia-Pacific Software Engineering Conference (APSEC'05)  
In this paper, through the use of an architectural model, we show that an application can benefit from a separation of exceptions in terms of recoverability beyond distinguishing checked and unchecked  ...  In Java software development, the use of checked exceptions exacerbates the difficulty.  ...  Suppose that the port is already used by another application and a BindException is raised.  ... 
doi:10.1109/apsec.2005.66 dblp:conf/apsec/ChengCJ05 fatcat:ef4ivx6vbvhyjeenlznv6sllqe

Guiding System Modelers in Multi View Environments: A Domain Engineering Approach

Arnon Sturm
2008 International Working Conference on Exploring Modeling Methods for Systems Analysis and Development  
specification.  ...  In this paper, we address this gap by integrating two approaches from the area of domain analysis: feature modeling and the Application-based DOmain Modeling Approach (ADOM).  ...  However, when referring to that kind of models, the model multiplicity problem is raised as appears in [11] .  ... 
dblp:conf/emmsad/Sturm08 fatcat:7fnuwzcz2naqdp7tjemhlkcsc4

Safety as a Service

Audrey Occello, Anne-Marie Dery-Pinna, Michel Riveill
2009 Journal of Object Technology  
Application adaptations can involve changing the stucture or the behavior of applications. When performed at runtime, such adaptations may lead application execution to unsafe states.  ...  We have been able to formalize the adaptation checking at the model using OCL [39] .  ...  Adaptation safety checking can be reused for any application that runs on a given platform.  ... 
doi:10.5381/jot.2009.8.2.a5 fatcat:smnf2ht2orhwbdnnpf4dyaza64

ADAM

Heidi J. C. Ellis, Steven A. Demurjian
1991 Proceedings of the 19th annual conference on Computer Science - CSC '91  
ADAM is an object-oriented database design tool that supports the graphical specification of an application, and automatically generates a complete set of C++ classes (both data and methods) for the application  ...  to model data in SDEs and DDD.  ...  Our work on this project involves the customization of ADAM to create ADAM/DDD, an application-specific modeling environment for DDD.  ... 
doi:10.1145/327164.327337 dblp:conf/acm/EllisD91 fatcat:k6yff7s4sfh5jjywmmlt3iakdy

An exception handling system for service component architectures

Fernando Castor, Douglas Siqueira Leite, Cecília Mary F. Rubira
2012 Journal of the Brazilian Computer Society  
Developers can apply this instantiation of the model to both new and existing applications by using a simple and flexible aspect-oriented programming model.  ...  In this paper, we propose a novel exception handling model that targets the needs of dependable SCA applications.  ...  The guardian model uses specific application-defined recovery rules to determine which exception should be raised in each participant.  ... 
doi:10.1007/s13173-012-0059-5 fatcat:e3n5gz663fhldnyrv3k5nyjbyy

Model Driven Reactive Applications [article]

Tony Clark, Dean Kramer, Samia Oussena
2015 arXiv   pre-print
This article proposes a domain specific language for rapps consisting of stereotyped class models for the structure of the application and state machine models for the application behaviour.  ...  The models are given a semantics in terms of a transformation to a calculus called Widget. The languages are introduced using an example application for mobile phones.  ...  In addition to statically checking that the types of operator arguments and field references are correct, Widget can check that all possible events raised by an application have an appropriate handler  ... 
arXiv:1506.03380v1 fatcat:5z2rozyoezhu5a4ah27uq4pn7q

Integrating Database and Programming Language Constraints [chapter]

Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, Rajesh Bordawekar, Michael G. Burke
2004 Lecture Notes in Computer Science  
We describe an architecture for automatically generating application-level checks from application and database integrity constraint specifications.  ...  This explicit handcoding of integrity constraint checks is error-prone and results in less maintainable code when the integrity constraints on the application or the database change.  ...  Our approach is to use declarative specifications of integrity constraints for application models and database schemas, and a combination of static and dynamic checking to ensure that an application is  ... 
doi:10.1007/978-3-540-24607-7_7 fatcat:s7w6l7gmlrelrd62cztyecdz3u

Preface

Tiziana Margaria, Mieke Massink
2009 International Journal on Software Tools for Technology Transfer (STTT)  
The application of formal methods, including model-checking techniques, has been proposed here in the past (see e.g.  ...  To remain in the realm of industrial applications, future challenges for the application of model-checking approaches can also be found in the ongoing development of the Service Oriented Computing paradigm  ... 
doi:10.1007/s10009-009-0121-6 fatcat:j3xiu27vlrhl3nl4yuhv5o7dv4

Model Checking LTL Formulae in RAISE with FDR [chapter]

Abigail Parisaca Vargas, Ana G. Garis, S. Lizeth Tapia Tarifa, Chris George
2009 Lecture Notes in Computer Science  
The Raise Specification Language (RSL) is a modeling language which supports various specification styles.  ...  To apply model checking to RSL concurrent descriptions, we translate RSL specifications into the input language CSPM of FDR. FDR is the model checker for the process algebra CSP.  ...  Model checking in RSL RAISE is a formal method, with RSL as its specification language.  ... 
doi:10.1007/978-3-642-00255-7_16 fatcat:e5k5r5q3wre7fbms6h7ir3t3du

Compiling ER Specifications into Declarative Programs [article]

Bernd Braßel, Michael Hanus, Marion Muller
2007 arXiv   pre-print
In order to ensure safe database updates, all access and update operations related to the database are generated from high-level descriptions in the entity- relationship (ER) model.  ...  e = check 1 |>> ... |>> check n where the tests check i are similar to the ones used in new and update operations that raise transaction errors in case of unsatisfied integrity constraints.  ...  For this purpose, we also generate a global consistency test that checks all persistent data w.r.t. the ER model.  ... 
arXiv:0711.0348v1 fatcat:ci5jzljdprfedpsstivbbw6ao4
« Previous Showing results 1 — 15 out of 564,093 results