Книга: Eric Simon «Process representation and formalism»
|
Производитель: "Scholars Press" In the context of systems development life cycles (SDLC), a gap exists between the representations of the methodologies as processes on the one hand, for example using business process model and notation (BPMN), and the formalisms that would provide the level of analysability necessary to validate the corresponding processes on the other hand, for instance Petri nets. This doctoral thesis aims at bridging this gap by proposing a model in-between these two extremes that is simple yet expressive enough to be able to represent the processes, either directly or by translating BPMN diagrams to the model, while retaining enough formalism to allow its mapping to Petri nets, which then enables the execution of the diagrams but also opens the door to automatic or semi-automatic validation of some properties of the systems using well-known algorithms in graph theory or methods that are specific to Petri nets. ISBN:9783639760835 Издательство: "Scholars Press" (2015)
ISBN: 9783639760835 |
См. также в других словарях:
Art, Antiques, and Collections — ▪ 2003 Introduction In 2002 major exhibitions such as Documenta 11 reflected the diverse nature of contemporary art: artists from a variety of cultures received widespread recognition for work ranging from installation to video to painting … Universalium
Actor model and process calculi history — The Actor model and process calculi share an interesting history and co evolution.Early workThe Actor model, first published in 1973, [Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence… … Wikipedia
Discourse representation theory — (DRT) is a framework for exploring meaning under a formal semantics approach. One of the main differences between DRT style approaches and traditional Montagovian approaches is that DRT style approaches include a level of abstract mental… … Wikipedia
List of topics in social and political philosophy — * And theory of conservatism * A Conflict of Visions * A Few Words on Non Intervention * A Vindication of the Rights of Men * Accountability * Action theory * Actual Idealism * Adam Müller * Adamites * Agency (philosophy) * Aggravation of class… … Wikipedia
Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release … Wikipedia
garden and landscape design — Introduction the development and decorative planting of gardens, yards, grounds, parks, and other types of areas. Gardening and landscape design is used to enhance the settings for buildings and public areas and in recreational areas and… … Universalium
