Z formal specification notation
Volume 46: Automated Verification of Critical Systems 2011
... with formal methods and ap- proaches. Formal methods have precise semantics and often have an associated language of reasoning that enables the user to unequivocally demonstrate the truth or otherwise of a ...
16
The formal specification for measuring dust concentration using Z language
... derived formal specification using Z language or also named Z ...notation. Formal Methods are very tough subject to Software Engineering ...derive formal ...
41
Formal Specification of UML Use Case Diagram - A CASL based approach
... than Z. But a UML specific logic could use OCL notation for its static parts, whilst the program parts would be written using the yet to be fixed standard UML action ...
5
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
... of formal methods has evolved over ...of formal methods was improved, approaches started to focus more and more on the use of formal methods for analysis and consistency-checking of ...
24
Operational specification for FCA using Z
... a Z state schema and that operations on the model (system requirements) can then be specified as Z operation ...structured formal methods. The Z notation is well understood as part of ...
9
formal specification of PLC programs using temporal logic AIMTDR 1994
... [4], Z, Petri Nets and temporal logic are used for specifications of reactive real- time ...the specification of PLC ...logic-based Z notation to specify electronic ...
7
On formal specification of emergent behaviours in swarm robotic systems
... By contrast, in this paper we shall explore the use of a temporal logic to formally spec- ify and verify emergent behaviours of a robotic swarm system. The recent theoretical results that have led to the mechanisation of ...
9
Formal specification of AI systems : four case studies
... A similar problem was encountered when we came to specify the scheduler. The ac- count of scheduling that we prefer is akin to Hayes-Roth's Blackboard Control Model (Hayes-Roth, 1985). Because the details of scheduling ...
18
Method specification for automated evaluation of documents formal quality
... Pro analýzu se v praxi používá řada osvědčených metod, které je třeba ohodnotit z hlediska jejich pří- nosu pro hodnocení kvality dokumentu. Zkoumají se jak metody pro klasifi kaci, tak metody pro zjiš- ťování ...
10
A Conflicts Detection Approach for Merging Formal Specification Views
... Specifying software requirements is an important, complicated and error prone task. It involves the collaboration of several people specifying requirements that are gathered through several stakeholders. During this ...
12
The functional dendritic cell algorithm: a formal specification with Haskell
... The limitation with the previously described studies is the lack of attention to the antigen or event stream and its influence on the final classifications. Muselle is the only author to have studied the influence of the ...
8
Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system
... term formal method refers to the use of the techniques from logic and discrete mathematics in the specification, design and construction of computer systems and software ...the formal methods is a ...
16
A Formal Framework Supporting the Specification of the Interactions between Agents
... appropriate formal notation for the description of MAS' behavior offers several ...the specification of agents' ...more formal approach in the specification of agents' behaviors in ...
14
Volume 49: Bidirectional Transformations 2012
... Cicchetti et al [CCLP11] have illustrated that many difficulties arise when two levels of models (models and metamodels in UML/OOP technical space for them; syntax and metasyntax for us) evolve at the same time, and ...
18
An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method
... The Task Flow Diagram shows the different tasks involved for the execution of this role and, like the other roles, but with the exception of the Reader role, the compound task of Login i[r] ...
11
Formal Specification and Verification of Real-Time Systems using Graph Grammars
... 2. O BJECT B ASED G RAPH G RAMMARS Object based graph grammar (OBGG) is a formal vi- sual language suited to the specification of object-based systems. We consider object-based systems with the fol- lowing ...
18
Automated formal specification generation and refinement from requirement documents
... As mentioned before, the language used to write these use cases is a Controlled Natural Language (CNL), a sub- set of English relevant for the specific domain. Using CNL it is possible to write imperative and declarative ...
20
Formal Specification of Natural Language Syntax Using Two Level Grammar
... FORMAL SPECIFICATION OF NATURAL LANGUAGE SYNTAX USING TWO LEVEL GRAMMAR F O R M A L S P E C I F I C A T I O N O F N A T U R A L L A N G U A G E S Y N T A X A B S T R A C T T h e two level g r a m m a[.] ...
6
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
... A FlowService (referred to by FS in our specification) requires a number of ser- vices, identified by JS1, JS2 and CS, to define its workflow. In the semantics of DFM, such service identifiers are mapped to actual ...
10
An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services
... DFM notation and its operational ...workflow notation for modelling asynchronous web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business ...
6