3081 search results - page 100 / 617 » A Formal Ontology of Properties |
143
click to vote
DBPL
2007
Springer
16 years 15 days ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
174
click to vote
CSLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
213
click to vote
ECMDAFA
2009
Springer
16 years 27 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
160
click to vote
FMCAD
2009
Springer
16 years 27 days ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
201
click to vote
ECEASST
2008
15 years 6 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...