| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SWIM | 2010-06-04 14:20 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Formalizing BPEL Processes by Process Algebra CCS Kazuma Yamauchi, Yoshiyuki Shinkawa (Ryukoku Univ.)  SWIM2010-4 |
By using BPEL, one of the web services orchestration languages, we can construct automated business processes and the re... [more] | SWIM2010-4 pp.23-28 |
| SWIM | 2010-06-04 16:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Verification of Inter-Model Consistency between UML Activity and Sequence Diagram Yuuichi Dounishi, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2010-6 |
UML diagrams can express software structure and behavior precisely, however, no explicit definitions on inter-diagram re... [more] | SWIM2010-6 pp.39-44 |
| SWIM | 2010-06-04 16:30 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Validity Checking for UML Models Containing Time Constraints Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2010-7 |
This paper discusses a validation process for UML sequence diagrams using a model checking tool UPPAAL. Since UPPAAL dea... [more] | SWIM2010-7 pp.45-50 |
| SWIM | 2010-02-26 16:25 |
Tokyo | Kikai Sinkukaikan B3-2 | Description and Verification of Time Constrains in UML Sequence Diagrams Yoshihiro Yasuda, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2009-24 |
In UML 2.0, it is possible to describe time constraints in sequence diagrams. However it seems difficult to validate or ... [more] | SWIM2009-24 pp.27-32 |
| SWIM | 2009-11-27 11:05 |
Tokyo | Evaluating Service Component Adaptability in SOA Environment Akira Okada, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2009-13 |
It seems to be a different task to discover the adaptable services to user requirements in Web service environments, whi... [more] | SWIM2009-13 pp.7-12 |
|
| SWIM | 2009-11-27 11:35 |
Tokyo | Separation of Exceptional handling from BPEL description with formalization Zhou Xu, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2009-14 |
[more] | SWIM2009-14 pp.13-18 |
|
| SWIM | 2009-11-27 15:15 |
Tokyo | Inter-Model Consistency between UML Class and Sequence Models Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2009-16 |
UML class diagrams and sequence diagrams are widely used to model a system from a static or a dynamic aspect respectivel... [more] | SWIM2009-16 pp.25-30 |
|
| SWIM | 2009-03-27 15:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg | [Special Talk]
Is Model Correctness Verification Effective? Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2008-29 |
There have been proposed many kinds of model verification methods, processes, and tools, however their applicable domain... [more] | SWIM2008-29 pp.21-25 |
| SWIM | 2008-11-21 11:00 |
Tokyo | Tokyo International Forum | Inter-Model Consistency between UML Use-case and Sequence Models Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2008-18 |
It seems difficult to validate sequence diagrams, since there are no appropriate points to descried the constraints in t... [more] | SWIM2008-18 pp.13-18 |
| SWIM | 2008-11-21 11:25 |
Tokyo | Tokyo International Forum | Validating UML Activity Diagrams through Model Checking Takashi Inoue, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2008-19 |
An activity diagram represents the execution sequence of a process, and is remarkably improved in UML 2.0. This diagram ... [more] | SWIM2008-19 pp.19-24 |
| SWIM | 2008-11-21 14:20 |
Tokyo | Tokyo International Forum | Formal Specifications for Services in SOA Akira Okada, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2008-22 |
The WSDL for Web services, which is one of the important components in SOA, can describe the service interfaces exactly,... [more] | SWIM2008-22 pp.35-40 |
| SWIM | 2008-11-21 15:55 |
Tokyo | Tokyo International Forum | Design and Implementation of Compensation Processes in Transaction Processing Zhou Xu, Yoshiyuki Shinkawa (Ryukoku Uni.) SWIM2008-24 |
Transaction processing becomes more and more complicated, as web services are widely used. As a result, the recovery pro... [more] | SWIM2008-24 pp.47-52 |
| SWIM | 2008-05-23 14:10 |
Tokyo | Kikai-Shinko-Kaikan Bldg | Implementing Distributed Databases on Web Service Platforms Akira Okada, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2008-2 |
In this paper , we focus on distributed databases as an application realm of Web Services . For realizing distributed da... [more] | SWIM2008-2 pp.7-12 |
| SWIM | 2008-05-23 14:35 |
Tokyo | Kikai-Shinko-Kaikan Bldg | Model Verification for UML Sequence Diagrams Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2008-3 |
In this paper, we propose a verification process for UML sequence diagrams, using the SPIN model checker. The SPIN can n... [more] | SWIM2008-3 pp.13-18 |
| SWIM | 2008-05-23 15:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg | Correctness Verification for Business Process Models Using The SPIN Keiji Kataoka, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2008-4 |
In this paper, we propose and evaluate a SPIN based verification process for the correctness of the business process mod... [more] | SWIM2008-4 pp.19-24 |
| SWIM | 2008-03-14 13:55 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Model Consistency Verification and Management in MDA Takashi Inoue, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2007-25 |
MDA is a software development framework that emphasizes on modeling of target domains. We usually create models using UM... [more] | SWIM2007-25 pp.13-18 |
| SWIM | 2008-03-14 16:50 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Requirements elicitations and modeling processes for uncertain problem domains Makoto Shigemitsu, Yoshiyuki Shinkawa (Ryu Univ.) SWIM2007-30 |
Current software development methodologies usually assume the existence of definite rules and processes in target proble... [more] | SWIM2007-30 pp.39-44 |
| SWIM | 2007-08-24 14:50 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Appling MDA to game software development Takashi Inoue, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2007-9 |
There are few established development methodologies for game software development, and it decreases the productivity of ... [more] | SWIM2007-9 pp.9-14 |
| SWIM | 2007-08-24 16:20 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Class structure extraction based on fish-bone diagrams. Makoto Shigemitsu, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2007-12 |
[more] | SWIM2007-12 pp.25-30 |
[Return to Top Page]