Search results
From Event-B
Jump to navigationJump to searchCreate the page "Modelling User Interface" on this wiki! See also the search results found.
Page title matches
- 0 bytes (0 words) - 20:09, 2 October 2008
Page text matches
- #REDIRECT [[Talk:Modelling User Interface]]43 bytes (5 words) - 20:09, 2 October 2008
- === Modelling === * [[CamilleX]] (formerly XEvent-B) with support for text editors and modelling mechanisms such as ''machine inclusion''.5 KB (757 words) - 16:19, 13 February 2020
- ...just the pressure in the sluice area and control the door locks to allow a user to get safely inside to outside. Such system can be deployed, for example, # the system allows a user to get inside or outside by leveling pressure between room and a destinatio8 KB (1,166 words) - 20:58, 10 November 2009
- ...e Rodin platform editor, users do not modify a text file but a database of modelling elements. However, the implementation shall reuse any available Eclipse mec ...chanism is based on a history that records all operations performed by the user. The implementation must also provide controls such as a configuration par4 KB (599 words) - 15:56, 28 January 2009
- ...arallel system and the ''shared events'' approach seems more suitable when modelling message-passing distributed systems. Choices, either related to the plug-in core or to the plug-in graphical user interface, have been made with the following constraints in mind:6 KB (825 words) - 13:27, 27 January 2010
- ...tate machine modelling but also provides visualisation of existing Event-B modelling concepts. UML-B is similar to UML but is a new notation with its own meta-m ...technologies used for Event-B (bespoke data repository) and UML-B (Eclipse Modelling Framework (EMF)). <nowiki>"The EMF project is a modeling framework and code5 KB (738 words) - 09:13, 4 March 2009
- :# Functional enhancements to modelling ...onceptual Singleton classes - provides a conceptual grouping of associated modelling elements without generating the lifting mechanisms of a class.9 KB (1,382 words) - 11:05, 27 January 2011
- ...roofs is a productivity booster which decreases the overall cost of formal modelling. Consequently, enhancing the automated prover has been a continuous task si ...roject, priority has been given to stability and improvement, and enhanced user experience.4 KB (639 words) - 16:46, 21 November 2014
- === Event-B User Interface === ...either [http://handbook.event-b.org/current/html/event_b_perspective.html modelling] in Event-B or [http://handbook.event-b.org/current/html/proving_perspectiv8 KB (1,260 words) - 12:45, 30 July 2015
- ...t of the interface that enables event synchronization. We make use of this interface and add information (see [[#Implementing Events]]) to facilitate code gener ...rce code. There is also a translator that constructs new machines/contexts modelling the implementation, and these should refine/extend the existing elements of7 KB (1,009 words) - 10:59, 26 January 2011
- ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (proof extensions). ...ensions do not compromise the soundness of the existing infrastructure for modelling and proof. In essence, the Theory plug-in provides a systematic platform fo4 KB (642 words) - 08:33, 29 June 2012
- ...n all the information in the animated Event-B machine and the normal Pro-B interface should be used in parallel with it. For example, some events may not be rep ...nt-B translator. Once this launch stage has completed, there is no further interface with UML-B during animation.7 KB (1,130 words) - 14:39, 28 January 2010
- ...t of the interface that enables event synchronization. We make use of this interface and add information (see [[#Implementing Events]]) to facilitate code gener A Tasking Development is generated programmatically, at the direction of the user; the Tasking Development consists of a number of machines (and perhaps asso6 KB (989 words) - 10:43, 10 December 2010
- === General Interface === ==== Modelling ====8 KB (1,195 words) - 16:35, 9 July 2014
- The efforts in [[Düsseldorf]] ([[User:Fabian|Fabian]]) and [[Newcastle]] ([[User:Alexei|Alexei]]) have been joined to create a single text editor which will ...opment (that is, another module). The plug-in follows an approach where an interface is characterised by a list of operations specifying the services provided b12 KB (1,869 words) - 16:35, 18 March 2014
- ...commended methodological aspects of Event-B, particularly those aspects of modelling concerned with decomposition and code generation. ...put and output parameters. At the top there are two buttons that allow the user to increase/decrease '''Target Temperature'''. The target temperature perio7 KB (1,119 words) - 10:06, 12 May 2011
- The core API has been improved. In particular, the interface with the theory plug-in has been enriched so as to keep track of language c ...proving experience has been enhanced with HMI that provide quick access to user-defined tactics.13 KB (1,966 words) - 09:54, 25 November 2014
- ...predicates and algebraic types. Along with these additional notations, the user can also define new proof rules (prover extensions). ...ies are deployed to the current workspace (i.e., Workspace Scope), and the user can use any defined extensions in any project within the workspace.7 KB (1,095 words) - 14:40, 21 December 2010
- ...a model can be tagged as generated by a tool, in order to prevent the end-user from directly editing them (and their descendants). ...ork includes an EMF representation of Event-B, a synchronising persistence interface for loading and saving models via the Rodin API and facilities to support t6 KB (915 words) - 16:57, 27 February 2014
- ...t of the interface that enables event synchronization. We make use of this interface and add information (see [[#Implementing Events]]) to facilitate code gener ...uce a remote event, without a corresponding local event. This happens when modelling a task that updates a (remote) shared machine, but does not pass any parame9 KB (1,528 words) - 08:43, 2 September 2013
