FAC 2008 - PDF Preprint Papers

FAC 2008

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FAC-2008 Paper

click to vote

FAC
2008

178views more FAC 2008»

Modeling and validating Mondex scenarios described in UML and OCL with USE

14 years 24 days ago

Download www.vdmportal.org

This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...

Mirco Kuhlmann, Martin Gogolla

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	178	Modeling and validating Mondex scenarios described in UML and OCL with USE	claim
2	139	Network invariants for real-time systems	claim
3	127	Mechanising Mondex with Z/Eves	claim
4	123	Interface synthesis and protocol conversion	claim
5	117	Model checking Duration Calculus: a practical approach	claim
6	114	Specification of communicating processes: temporal logic versus refusals-based refinement	claim
7	108	Property-directed incremental invariant generation	claim
8	107	An incremental development of the Mondex system in Event-B	claim
9	100	Bisimulations in calculi modelling membranes	claim
10	100	Slicing communicating automata specifications: polynomial algorithms for model reduction	claim
11	97	A functional formalization of on chip communications	claim
12	92	Capture-avoiding substitution as a nominal algebra	claim
13	88	The certification of the Mondex electronic purse to ITSEC Level E6	claim
14	80	Verification of Mondex electronic purses with KIV: from transactions to a security protocol	claim
15	70	Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method	claim
16	67	Specification, proof, and model checking of the Mondex electronic purse using RAISE	claim
17	64	Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine	claim
18	54	Streamlining progress-based derivations of concurrent programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers