Theo dõi
Rik Eshuis
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Symbolic model checking of UML activity diagrams
R Eshuis
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 1-38, 2006
2872006
Dynamic business network process management in instant virtual enterprises
P Grefen, N Mehandjiev, G Kouvas, G Weichhart, R Eshuis
Computers in Industry 60 (2), 86-103, 2009
2302009
Semantics and verification of UML activity diagrams for workflow modelling
H Eshuis
2152002
Constructing customized process views
R Eshuis, P Grefen
Data & Knowledge Engineering 64 (2), 419-438, 2008
2122008
Tool support for verifying UML activity diagrams
R Eshuis, R Wieringa
IEEE Transactions on Software Engineering 30 (7), 437-447, 2004
2052004
Verification support for workflow design with UML activity graphs
R Eshuis, R Wieringa
Proceedings of the 24th international conference on Software engineering …, 2002
1592002
Comparing Petri net and activity diagram variants for workflow modelling–a quest for reactive Petri nets
R Eshuis, R Wieringa
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets …, 2003
1482003
A formal semantics for UML Activity Diagrams-Formalising workflow models
H Eshuis, RJ Wieringa
Centre for Telematics and Information Technology (CTIT), 2001
972001
Reactive petri nets for workflow modeling
R Eshuis, J Dehnert
International Conference on Application and Theory of Petri Nets, 296-315, 2003
962003
Structural matching of bpel processes
R Eshuis, P Grefen
Fifth European Conference on Web Services (ECOWS'07), 171-180, 2007
952007
Requirements-level semantics for UML statecharts
R Eshuis, R Wieringa
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000
872000
Internet-based support for process-oriented instant virtual enterprises
P Grefen, R Eshuis, N Mehandjiev, G Kouvas, G Weichhart
IEEE Internet Computing 13 (6), 65-73, 2009
862009
Reconciling statechart semantics
R Eshuis
Science of Computer Programming 74 (3), 65-99, 2009
732009
A real-time execution semantics for UML activity diagrams
R Eshuis, R Wieringa
International Conference on Fundamental Approaches to Software Engineering …, 2001
632001
Specification and verification of harmonized business-process collaborations
A Norta, R Eshuis
Information Systems Frontiers 12, 457-479, 2010
582010
Requirements-level semantics and model checking of object-oriented statecharts
R Eshuis, DN Jansen, R Wieringa
Requirements Engineering 7, 243-263, 2002
532002
Service outsourcing with process views
R Eshuis, A Norta, O Kopp, E Pitkänen
IEEE Transactions on Services Computing 8 (1), 136-154, 2013
502013
An execution algorithm for UML activity graphs
R Eshuis, R Wieringa
International Conference on the Unified Modeling Language, 47-61, 2001
472001
Generating minimal protocol adaptors for loosely coupled services
R Seguel, R Eshuis, P Grefen
2010 IEEE International Conference on Web Services, 417-424, 2010
412010
Synthesizing data-centric models from business process models
R Eshuis, P Van Gorp
Computing 98, 345-373, 2016
382016
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20