フォロー
Rik Eshuis
タイトル
引用先
引用先
年
Symbolic model checking of UML activity diagrams
R Eshuis
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 1-38, 2006
2862006
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
2282009
Semantics and verification of UML activity diagrams for workflow modelling
H Eshuis
2162002
Constructing customized process views
R Eshuis, P Grefen
Data & Knowledge Engineering 64 (2), 419-438, 2008
2142008
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
1612002
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
1492003
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
942007
Requirements-level semantics for UML statecharts
R Eshuis, R Wieringa
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000
882000
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
742009
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
602010
Requirements-level semantics and model checking of object-oriented statecharts
R Eshuis, DN Jansen, R Wieringa
Requirements Engineering 7, 243-263, 2002
522002
Service outsourcing with process views
R Eshuis, A Norta, O Kopp, E Pitkänen
IEEE Transactions on Services Computing 8 (1), 136-154, 2013
512013
An execution algorithm for UML activity graphs
R Eshuis, R Wieringa
International Conference on the Unified Modeling Language, 47-61, 2001
482001
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
Diagnosing correctness of semantic workflow models
D Borrego, R Eshuis, MT Gómez-López, RM Gasca
Data & Knowledge Engineering 87, 167-184, 2013
402013
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20