The SUAVE project aims to introduce object-oriented and genericity extensions into VHDL in a way that does not disturb the existing language or its use. Designers regularly define abstract data types by using aspects of VHDL’s type system, subprograms, and packages. They also use VHDL’s genericity mechanism to parameterize component and entity declarations with formal generic constants. The SUA...

A current limitation to component reusability is that component models target to describe a deployed assembly and thus bind the behavior of a component to the data-types it manipulates. This paper studies the feasibility of supporting genericity within component models, including component and port types. The proposed approach works by extending the meta-model of an existing component model. It...

The support for generic programming in modern object-oriented programming languages is awkward and lacks desirable expressive power. We introduce an expressive genericity mechanism that adds expressive power and strengthens static checking, while remaining lightweight and simple in common use cases. Like type classes and concepts, the mechanism allows existing types to model type constraints re...

Some programs are doubly generic. For example, map is datatype-generic in that many different data structures support a mapping operation. A generic programming language like Generic Haskell can use a single definition to generate map for each type. However, map is also arity-generic because it belongs to a family of related operations that differ in the number of arguments. For lists, this fam...

Process model or definition is used to describe the process, either software process or business process, by means of a suitable process modeling language. Choosing one or more linguistic paradigms for a process modeling language is an important design decision during process modeling language design. This paper focuses on the study of process modeling languages from linguistic perspective. To ...

Classical (unbounded) genericity in C++03 defines the interactions between generic data types and algorithms in terms of concepts. Concepts define the requirements over a type (or a parameter) by expressing constraints on its methods and dependent types (typedefs). The upcoming C++0x standard will promote concepts from abstract entities (not directly enforced by the tools) to language construct...

An important class of ecological problems concerns propagation processes. In ecological modelling, these phenomena generally occur on large scales and are generally difficult to efficiently simulate because of the number of entities and connections between entities. Studies of this kind of phenomena lack genericity and reusability because they are often presented through the point of view of a ...

We analyse the effect of a $generic$ continuous additive perturbation to well-posedness ordinary differential equations. Genericity here is understood in sense prevalence. This allows us discuss these problems setting where we do not have commit ourselves any restrictive assumption on statistical properties perturbation. The main result that generic renders Cauchy problem well-posed for arbitra...

The result “chronological spacetimes without lightlike lines are stably causal” is announced and motivated. It implies that chronological spacetimes which are null geodesically complete and satisfy the null genericity and the null (averaged) energy condition admit a time function.