Questions tagged [formal-modeling]

Questions that ask for a mathematical/formal model of an intuitive concept or task

Filter by
Sorted by
Tagged with
3 votes
1 answer
96 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 ...
user avatar
-3 votes
1 answer
121 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 ...
user avatar
2 votes
2 answers
147 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 ...
user avatar
  • 141
7 votes
1 answer
169 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 ...
user avatar
4 votes
1 answer
318 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 ...
user avatar
  • 149
0 votes
0 answers
174 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 ...
user avatar
  • 101
0 votes
0 answers
62 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 ...
user avatar
  • 101
-2 votes
1 answer
161 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 ...
user avatar
2 votes
2 answers
232 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 ...
user avatar
  • 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 ...
user avatar
  • 279
1 vote
2 answers
736 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 ...
user avatar
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. ...
user avatar
1 vote
1 answer
212 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?
user avatar
11 votes
1 answer
498 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: $\...
user avatar
  • 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 ...
user avatar
16 votes
1 answer
721 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 ...
user avatar
1 vote
2 answers
257 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 ...
user avatar
10 votes
3 answers
382 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 ...
user avatar
  • 103
31 votes
5 answers
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 ...
user avatar
6 votes
2 answers
549 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 ...
user avatar
  • 143
5 votes
2 answers
327 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 ...
user avatar
-4 votes
3 answers
521 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 ...
user avatar
14 votes
6 answers
660 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 ...
user avatar
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 ...
user avatar
  • 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 ...
user avatar
  • 201
4 votes
1 answer
313 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 ...
user avatar
2 votes
1 answer
445 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 ...
user avatar
  • 123
4 votes
3 answers
389 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 ...
user avatar
7 votes
1 answer
244 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: ...
user avatar
  • 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 ...
user avatar
  • 153
8 votes
1 answer
195 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 ...
user avatar
  • 288