Journal ArticleDOI
On visual formalisms
TLDR
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature that is suited for a wide array of applications to databases, knowledge representation, and the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.Abstract:
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.read more
Citations
More filters
Posted Content
Specifying and implementing security policies using lasco, the language for security constraints on objects
James Hoagland,Raju Pandey +1 more
TL;DR: This dissertation presents LaSCO, the Language for Security Constraints on Objects, a new approach to expressing security policies using policy graphs and presents a method for enforcing policies so expressed and concludes that La SCO has characteristics that enable its use on different types of systems throughout the process of precisely expressing a policy, understanding the implications of a policy and implementing it on a system.
Journal ArticleDOI
Learning a Generative Probabilistic Grammar of Experience: A Process-Level Model of Language Acquisition
TL;DR: The model's performance largely vindicates the design choices, suggesting that progress in modeling language acquisition can be made on a broad front-ranging from issues of generativity to the replication of human experimental findings-by bringing biological and computational considerations, as well as lessons from prior efforts, to bear on the modeling approach.
Proceedings ArticleDOI
Visual modeling of DEVS-based multiformalism systems based on higraphs
Herbert Praehofer,Dietmar Pree +1 more
TL;DR: This paper presents a graphical modeling method and tool for DEVS model and DEVS-based combined discrete/continuous model specification based on the higraph extension to conventional graph representations.
Journal ArticleDOI
Dealing with the complexity of business systems architecting
TL;DR: This paper investigates the causes of the complexity of business process architecting, and provides heuristics to master this complexity, and discusses some basic requirements for modeling concepts and methods.
Book
What workflow technology can do for electronic commerce
TL;DR: It is argued that workflow management technology should be a key building block for EC applications and pointed out necessary extensions to the state of the art of workflow management which require future research in several directions.
References
More filters
Book
Introduction to Automata Theory, Languages, and Computation
TL;DR: This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
Statecharts: A visual formalism for complex systems
TL;DR: It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.
Book
The entity-relationship model: toward a unified view of data
TL;DR: A data model, called the entity-relationship model, is proposed that incorporates some of the important semantic information about the real world and can be used as a basis for unification of different views of data: the network model, the relational model, and the entity set model.