7 Hits in 2.2 sec

Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions [chapter]

Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries
2004 Lecture Notes in Computer Science  
Due to the precise notation used, automatic verification of crucial properties is accessible through integration with an automatic verifier.  ...  For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important.  ...  the COOPN/2 formal specification language.  ... 
doi:10.1007/978-3-540-30470-8_61 fatcat:tdbcjvb2mjf3xav47ujvw2zrmi

A Methodology and a Framework for Model-Based Testing [chapter]

Levi Lucio, Luis Pedro, Didier Buchs
2005 Lecture Notes in Computer Science  
It will reflect the new ideas that we're pursuing while keeping in mind our previous work on formal specification languages and theory of test case generation.  ...  The research builds on past experience of the group while generating test cases starting from a model of the SUT (System Under Test) described in the CO-OPN formalism -formal language for system specification  ...  These hypotheses are based on temporal logic formulas that allow us to express test intentions for COOPN specifications.  ... 
doi:10.1007/11423331_6 fatcat:6ksj42n7anguhkdf4rgdjabxua

DSL Composition for model-based test generation

Bruno Fontes Barroca, Levi Silva Lucio, Vasco Moreira Amaral, Luis Miguel Pedro, Didier Buchs
2009 Electronic Communications of the EASST  
Domain specific languages (DSL) which describe reactive systems generally have a need for systematic generation of tests for their models.  ...  The result of this composition is also a language where it is possible to express models in the target DSL and test specifications for those models.  ...  Modern metamodeling tools, can help the software language engineer to easily prototype usable editors that can restrict and guide the domain experts in expressing valid models.  ... 
doi:10.14279/tuj.eceasst.21.301 dblp:journals/eceasst/BarrocaLBAP09 fatcat:6knzqlrraff4xfrfiihu7nbufa

High-level Petri net for incremental analysis of object-oriented system requirements

J.-E. Hong, D.-H. Bae
2001 IEE Proceedings - Software  
It is difficult to apply these nets to the requirements specification of object-oriented software systems because of insufficient support for the object-oriented concepts.  ...  The HOONet provides incremental modelling and analysis of the requirements with the support of object-oriented concepts. I I  ...  COOPN , and G-Nets [8] were suggested. However, these nets have focused only on their own specific concerns among the several concepts of object-oriented paradigm [9] .  ... 
doi:10.1049/ip-sen:20010242 fatcat:6qsyidtl5jgktob6bprmlhr3bm

Formal Test Generation from UML Models [chapter]

Didier Buchs, Luis Pedro, Levi Lúcio
2006 Lecture Notes in Computer Science  
We transform UML models into CO-OPN (Concurrent Object Oriented Petri Nets) ones, CO-OPN being a formal specification language defined in our Laboratory.  ...  By exploring the model's semantics with the tools we have built for our CO-OPN language we are able to generate test cases based on those test intentions.  ...  The specifications are collections of ADT s, classes and context -the CO-OPN modules. Detailed information about COOPN language can be found in [2] .  ... 
doi:10.1007/11808107_7 fatcat:aznwqm3rlfhrdf2oqh4lbdovri

Modelling a secure, mobile, and transactional system with CO-OPN

D. Buchs, S. Chachkov, D. Hurzeler
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.  
In order to fully model and prototype such systems we propose to use several concepts introduced in our specification language CO-OPN, like context, dynamicity, mobility, subtyping, and inheritance.  ...  CO-OPN (Concurrent Object Oriented Petri Net) is a formal specification language for modelling distributed systems; it is based on coordinated algebraic Petri nets.  ...  Validation by prototyping Prototyping (i.e. generation of executable code, see [8] [12] [13] ) is used to validate our specification.  ... 
doi:10.1109/csd.2003.1207702 dblp:conf/acsd/BuchsCH03 fatcat:6yuivxfgw5eqbj5o45pa5xsl7q

Specifying reactive system behavior

Shane Sendall
Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is used  ...  the Unified Modeling Language (UML) and its Object Constraint Language (OCL).  ...  specification languages and the work of this thesis.  ... 
doi:10.5075/epfl-thesis-2588 fatcat:bz4jionm6jf4hdcuhmdrbjvipm