Questions tagged [formal-modeling]
Questions that ask for a mathematical/formal model of an intuitive concept or task
32
questions
0
votes
1
answer
106
views
What are advantages of bigraphs?
I would like to know if there are any limitations of frameworks such as Petri nets (with its extensions) or pi-calculus that bigraphs developed by Robin Milner do not have.
If there are none, then ...
- 101
3
votes
1
answer
98
views
Reference request: pi-calculus with simultaneous events
I am interested in using the $\pi$-calculus as a basis for modeling workflows, and came up with an extension that proved useful in my modeling, namely the ability to specify that two or more channel ...
- 420
-3
votes
1
answer
134
views
Is this a good definition of computability? [closed]
I still haven't found a good definition of computability. All the definitions are either too vague, or they delegate the definition to another loaded term like "anything that uses math to solve a ...
2
votes
2
answers
155
views
Practical example: how to formally verify "file name" implementation from a spec?
Say you have an OS-independent specification for file names. The file names are case sensitive, and let's say can't be more than 200 characters, and can't have : or ...
- 141
7
votes
1
answer
188
views
Can choice or sequential execution be expressed with other basic operators of the pi calculus?
There are several definitions of what basic operators constitute the pi calculus (see papers from R. Milner, B.Pierce, J.Wing).
The common basic operators ($C$) are:
the parallel composition
...
4
votes
1
answer
328
views
Defintion of a Data Structure? [closed]
Lately I have been looking around for a formal definition of a what a data structure is. I cannot find neither a paper, nor a book with such a definition. Even the famous "The Art of Computer ...
- 149
0
votes
0
answers
180
views
Theoretical background of Classes and Objects
I would like to learn about the possible ways of formalizing Classes and Objects (in programing languages like java) using formal languages. Where should I start? This might be related to my previous ...
- 101
0
votes
0
answers
67
views
Specification language for specifying both Objects and Primitive data types
I am looking for an specification language, which supports both primitive data types and objects. I already know about Object-Z. But I am wondering if there is any other Specification language that I ...
- 101
-2
votes
1
answer
164
views
What are the most fundamental metrics (criterions) of database performance?
I'm a student working on my thesis in database theory and looking for some research in the field of formal models of database performance and couldn't find any works in this area. I'm interested: what ...
2
votes
2
answers
243
views
What is the formalism behind ?- (query) in Prolog?
I am in general interested in a more formal (better be logical, as in related to mathematical logic) definition of a query. As an example, there's Prolog operator ...
- 167
11
votes
2
answers
1k
views
What paradigm of automated theorem proving is appropriate for Principia Mathematica-style formalization?
I am in possession of a book, which, inspired by Russell's Principia Mathematica (PM) and logical positivism, attempts to formalize a specific domain by determining axioms and deducing theorems from ...
- 279
2
votes
2
answers
796
views
Help in understanding Symbolic Execution
I am an undergraduate CS student and currently reading on software security, particularly on static analysis of programs. I am particularly interested in understanding Symbolic Execution - an ...
- 121
0
votes
3
answers
694
views
Algorithm Suggestion for Scoring System - weighted solution
I'm trying to validate a series of words that are provided by users. I'm trying to come up with a scoring system that will determine the likelihood that the series of words are indeed valid words.
...
1
vote
1
answer
237
views
Temporal Logic and Access Control Models
What is the best way to describe the semantics of a new access control model?. I heard the temporal logic is the way to go. Is it true?
11
votes
1
answer
524
views
Extensionality of lambda calculus models
I'm translating a book on LISP and naturally it touches some elements of $\lambda$-calculus. So, a notion of extensionality is mentioned there alongside some models of $\lambda$-calculus, namely: $\...
- 113
9
votes
2
answers
1k
views
Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models
This is a question I asked in mathematics SE forum, and I was referred here. So here is the question-
I'm a newbie in both formal mathematics and theoretical computer science, so please bear with me ...
- 193
16
votes
1
answer
764
views
(How) can you model broadcasts in the pi-calculus?
Can you model reliable broadcasts in the pi-calculus?
If so: How?
If not: Are there any similar process algebras where you can?
What I have tried:
If sender $S$ wants to send a message $y$ to ...
1
vote
2
answers
271
views
Any Graph is a Model (! or ?)
I know this could be considered a pointless question. However despite I am quite convinced that any possible model (i.e. UML, SysML, natural language, math, etc.) can be defined by means of a graph I ...
- 123
11
votes
3
answers
386
views
Reductions of hard problems to physical models
I am looking for examples of hard problems (in NP or harder) from computer science which can be reduced to models of physical processes.
For example, max-2-sat can be reduced to energy minimization ...
- 113
32
votes
5
answers
3k
views
Efficiently computable variants of Kolmogorov complexity
Kolmogorov prefix complexity (i.e. $K(x)$ is the size of minimal self-delimiting program that outputs $x$) has several nice features:
It corresponds to an intuition of giving strings with patters or ...
- 10.2k
6
votes
2
answers
596
views
PageRank for a Non-Random Searcher
I'm looking to adapt the PageRank algorithm as a centrality measure in a network. This network however, unlike the "random surfer" of the original paper on PageRank, or the random library browser for ...
- 143
5
votes
2
answers
345
views
Simulation modeling of diseases
Can anyone recommend a good book(s) or journal article(s) on object-oriented program design patterns/principles and simulation modeling of diseases?
I received the above question this morning by ...
- 6,994
-4
votes
3
answers
527
views
Time-based mathematics or logic [closed]
The conventional systems of logic can only recognize or perform operations that transform or translate values in space. Ordinary logic treats time poorly through the necessity of translating all ...
14
votes
6
answers
680
views
What are practically computable properties of Labelled Transition Systems?
I found labelled transition systems to be a good model for my application, namely there is a paper about modeling use cases using LTSs. The question is, what can be easily proven about LTSs? I would ...
- 241
0
votes
1
answer
253
views
Help needed on method to use for anomaly detection [closed]
I think people here could guide me in solving a problem related to anomaly detection. The term anomaly here refers to some malware attack.
I could get information about the malware infection from ...
- 709
-4
votes
1
answer
2k
views
Find sentences with similar relative meaning from a list of sentences against an example one
I want to be able to find sentences with the same meaning. I have a query sentence, and a long list of millions of other sentences. Sentences are words, or a special type of word called a symbol which ...
- 201
4
votes
1
answer
314
views
Extracting Independent Information About Sequences
Related to this question, but asked in a different way.
For the purposes of a text-based implementation of a fuzzy vault, what metrics can we take on Sequences that are isolated such that the set of ...
- 179
2
votes
1
answer
446
views
Finding islands of vertices in a network of roads containing one-way streets [closed]
I am working on GIS project where we are making use of road maps that may contain one-way streets.
We are writing some debugging tools one of which I want to design to find "Islands". This would ...
- 123
4
votes
3
answers
391
views
Semantic distance between excerpts of text.
I'm wondering how far along the natural language processing is in determining the semantic distance between two excerpts of text.
For instance, consider the following phrases
Early this morning I ...
- 175
7
votes
1
answer
253
views
Is it possible to model maximization in a petri net without using inhibitor arcs?
Creating a petri-net that models the minimum function is quite simple:
...
- 173
-2
votes
1
answer
2k
views
How do I formally describe a rooted, directed, acyclic graph?
I need a formalism to describe the following requirements:
I have a graph comprised of nodes and transitions between nodes
Nodes maybe one of three types, all are sub-classes of a base abstract node ...
- 153
8
votes
1
answer
199
views
Process modeling with fine-grained notions of location
Is anyone aware of any process algebraic (or related) formalisms that capture fine-grained location information? I'm familiar with ambients and bigraphs, which obviously have a location model, but ...
- 288