A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2009
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2001
IEE Proceedings - Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2005
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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