Search results for "ECATNets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
273	Faiza Belala, Mohamed Bettaz	A Natural Semantic Framework for ECATNets.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	ECATNets, concurrent systems, category theory, rewriting logic
108	Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz	Distributed Simulation of ECATNets: A Conservative Approach.	PDP	1996	DBLP DOI BibTeX RDF	ECATNets, conservative approach, extended concurrent algebraic term nets, high-level algebraic nets, distributed systems specification, parallel systems specification, parallel simulation techniques, distributed discrete event simulation, partitioned model, connected subnets, distributed algorithms, discrete event simulation, process algebra, logical processes
108	Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui	Formal Specification of Communication Protocols with Object-Based ECATNets.	EUROMICRO	1996	DBLP DOI BibTeX RDF	object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system
78	Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf	Modeling Workflows with Recursive ECATNets.	SYNASC	2006	DBLP DOI BibTeX RDF
78	Mohamed Bettaz	Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic.	AICCSA	2001	DBLP DOI BibTeX RDF	object based software engineering, efficient prototyping, correct (incorrect) refinement, high-level Petri nets, rewriting logic
54	Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur	Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.	WS-FM	2008	DBLP DOI BibTeX RDF	Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic
54	Kamel Barkaoui, Awatef Hicheur	Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Recursive Petri nets, Flexible collaborative workflow, Rewriting logic
31	Abdelkader Moudjari, Fateh Latreche, Hichem Talbi	Meta-ECATNets for Modelling and Analyzing Clinical Pathways.	MISC	2018	DBLP DOI BibTeX RDF
31	Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad	Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.	IET Softw.	2015	DBLP DOI BibTeX RDF
31	Fateh Latreche, Faiza Belala	Mop-ECATNets for Formal Modeling Dynamic Web Services.	ICAASE	2014	DBLP BibTeX RDF
31	Amel Ben Dhieb, Kamel Barkaoui	On the Modeling of Healthcare Workflows Using Recursive ECATNets.	Business Process Management Workshops (2)	2011	DBLP DOI BibTeX RDF
31	Awatef Hicheur, Kamel Barkaoui	Modelling collaborative workflows using recursive ECATNets.	NOTERE	2008	DBLP DOI BibTeX RDF
31	Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz	Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic.	AICCSA	2006	DBLP DOI BibTeX RDF
31	Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui	CIRTA: An ECATNets Based Model for Embedded Systems Specification.	ESA	2005	DBLP BibTeX RDF
31	Narciso Martí-Oliet	Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala.	Log. J. IGPL	2002	DBLP DOI BibTeX RDF
31	Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy	Concurrent Systems Analysis Using ECATNets.	Log. J. IGPL	2000	DBLP DOI BibTeX RDF
31	Mohamed Bettaz, Mourad Maouche	Modelling of Object Based Systems with Hidden Sorted ECATNets.	MASCOTS	1995	DBLP DOI BibTeX RDF
31	Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche	Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study.	MASCOTS	1993	DBLP BibTeX RDF
31	Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche	Using ECATNets for Specifying Communication Software in the OSI Framework.	ICCI	1992	DBLP BibTeX RDF
23	Nasreddine Aoumeur, Gunter Saake	Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems.	CAiSE	1999	DBLP DOI BibTeX RDF