Questions tagged [formal-modeling]
Questions that ask for a mathematical/formal model of an intuitive concept or task
32
questions
0
votes
0answers
48 views
Are process calculi (pi calculus, CSP) “shared memory”?
In Andrews' foundations of multithreaded parallel and distributed programming, "shared memory/variable" and "message passing" seem to be opposite programming models, and CSP is ...
3
votes
1answer
81 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 ...
-3
votes
1answer
104 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 ...
11
votes
2answers
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 ...
1
vote
1answer
198 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?
3
votes
2answers
137 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 ...
7
votes
1answer
149 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
1answer
277 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 ...
0
votes
0answers
170 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 ...
0
votes
0answers
60 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 ...
29
votes
5answers
2k 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 ...
-2
votes
1answer
157 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
2answers
213 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 ...
9
votes
2answers
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 ...
-2
votes
1answer
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 ...
11
votes
1answer
453 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: $\...
1
vote
2answers
644 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 ...
14
votes
6answers
641 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 ...
0
votes
3answers
676 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.
...
16
votes
1answer
689 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 ...
10
votes
3answers
379 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 ...
1
vote
2answers
250 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 ...
6
votes
2answers
515 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 ...
5
votes
2answers
318 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 ...
7
votes
1answer
231 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:
...
-4
votes
3answers
520 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 ...
2
votes
1answer
443 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 ...
4
votes
3answers
388 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 ...
0
votes
1answer
251 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 ...
-4
votes
1answer
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 ...
4
votes
1answer
311 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 ...
8
votes
1answer
193 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 ...
