Workflow Specification for Interaction Management between Experts in a Cooperative Remote Diagnosis Process
M. A. Laredj, K. Bouamrane (2011)
Computer Science and Information Systems
Similarity:
Displaying similar documents to “Petri Nets on the Semantic Web - Guidelines and Infrastructure”
Workflow Specification for Interaction Management between Experts in a Cooperative Remote Diagnosis Process
MDA-based Ontology Infrastructure
Dragan Đurić (2004)
Computer Science and Information Systems
Similarity:
Verification of Procedural Programs via Building their Generalized Nets Models Верификация на процедурни програми чрез изграждане на техни обобщени мрежови модели
Todorova, Magdalina (2012)
Union of Bulgarian Mathematicians
Similarity:
Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между...
An analytical method for well-formed workflow/Petri net verification of classical soundness
Julio Clempner (2014)
International Journal of Applied Mathematics and Computer Science
Similarity:
An Approach to Project Planning Employing Software and Systems Engineering Meta-Model Represented by an Ontology
Miroslav Líška, Pavol Navrat (2010)
Computer Science and Information Systems
Similarity:
Extending the UML for modelling variability for system families
Silva Robak, Bogdan Franczyk, Silva Robak (2002)
International Journal of Applied Mathematics and Computer Science
Similarity:
The process of modelling and developing commonality and variability for system families should be supported by suitable methods and notations. The object-oriented methods and their notations, which are used at present, focus on the development of a single system at a time. In this paper we analyse feature models as a representation of the common parts and variants contained in a system family, and propose using a feature diagram as a basic representation of commonality, variability and...
A Grammar-based model for the Semantic web
Hyosook Jung, Seongbin Park (2011)
Computer Science and Information Systems
Similarity:
On the applicability of protégé/owl in building software tools for intelligent search in digitized collections of manuscripts
Maria M. Nisheva-Pavlova, Pavel I. Pavlov (2006)
Review of the National Center for Digitization
Similarity:
Web4WeB e-Collaboration tools
Valentina Janev, Jovan Duduković, Jelena Jovanović, Sanja Vraneš (2009)
Computer Science and Information Systems
Similarity:
SPEM Ontology as the Semantic Notation for Method and Process Definition in the Context of SWEBOK
Miroslav Líška, Pavol Navrat (2011)
Computer Science and Information Systems
Similarity:
Multi-Paradigm Design with Feature Modeling
Valentino Vranić (2005)
Computer Science and Information Systems
Similarity:
An analytical method for well-formed workflow/Petri net verification of classical soundness
Julio Clempner (2014)
International Journal of Applied Mathematics and Computer Science
Similarity:
In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical...