Topics of Interest:
Authors are invited
to submit manuscripts of original unpublished
research in all theoretical
areas of software engineering
(Requirements, Specification, Testing,
Workflows, Architectures,
Verification, Languages, and Logics). The topics of
interest
include, but are not limited to:
* Requirements Engineering
*
Specification and Validation
* Software Testing
* Component-based
Development
* Model Checking for Software
* Software Processes and
Workflows
* Software Frameworks and Middleware
* Software Architectures
and Design
* Software safety and reliability
* Reverse Engineering and
Software Maintenance
* Aspect and Objected –orientation Techniques
*
Embedded and Real-time Software
* Service-oriented Computing and Web
Services
* Model-driven Development
* Coordination and Feature
Interaction
* Parallel and Distributed Computing
* Logics of Programs
*
Program Analysis
* Semantics and Design of Programming Languages
* Type
Theory
Organization:
General
Chair:
Michael Hinchey, NASA, USA
Program
Co-chairs: Jifeng
He, East China Normal University,
China
Jeff Sanders, Oxford University, UK
Steering Committee
chair: Michael Hinchey, NASA, USA
Publicity Chair(Asia): Naixiao Zhang, Peking
University, China
Publicity Chair(Europe,USA): Meng Sun,
CWI, The Netherlands
Local Organization
Chair: Geguang Pu, East China Normal University,
China
Program Committee:
Bernhard Aichernig (Graz University of Technology, Austria)
Keijiro Araki (Kyzushu University, Japan)
Farhad Arbab
(CWI and Leiden University, The Netherlands)
Jonathan Bowen
(Museophile Limited, UK)
Michael Butler (University of
Southampton, UK)
Ana Cavalcanti (University of York,
UK)
Jim Davies (Oxford University, UK)
Geoff
Dromey (Griffith University, Australia)
Jin Song Dong (National
University of Singapore, Singapore)
Zhenhua Duan (Xi'dian
University, China)
Colin Fidge (Queensland University of
Technology, Australia)
Dieter Gollmann (Hamburg University of
Technology, Germany)
Ning Gu (Fudan University,
China)
Xuandong Li (Nanjing University, China)
Jing Liu (East China Normal University, China)
Kung-Kiu
Lau (Manchester University, UK)
Shaoying Liu (Hosei
University, Japan)
Zhiming Liu (UNU/IIST, Macau,
China)
Tom Maibaum (McMaster University, Canada)
Annabelle McIver (Macquarie University, Australia)
Hong Mei
(Peking University, China)
Huaikou Miao (Shanghai University,
China)
Shankar Natarajan (SRI International,
USA)
Nimal Nissanke (London South Bank University,
UK)
Shengchao Qin (Durham University, UK)
Zongyan Qiu (Peking University, China)
Joseph Sifakis (Verimag,
France)
Zhong Shao (Yale University, USA)
Margus
Veanes (Microsoft, USA)
Sergiy Vilkomir (University of Limerick,
Ireland)
Farn Wang (National Taiwan University,
Taiwan)
Ji Wang (Changsha Institute of Technology,
China)
Jim Webber (ThoughtWorks, Australia)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock
(University of York, UK)
Wang Yi (Uppsala University,
Sweden)
Gianluigi Zavattaro (University of Bologna,
Italy)
Jian Zhang (Institute of Software, China)
Huibiao Zhu (East China Normal University, China)
Steering Program
Committee:
Keijiro Araki,
Japan Michael
Hinchey (Chair), USA
Jifeng
He,
China Zhiming
Liu, Macau
Mike Reed,
Macau Huibiao
Zhu, China
Keynote Speakers:
Jeannette M. Wing (Carnegie Mellon University, USA)
Bertrand Meyer (ETH Zurich, Switzerland)
Mathai Joseph
(Tata Consultancy Services, India)
Tutorial Speaker:
Patrick Cousot (Ecole Normale Superieure-Paris, France)
-------------------------------------------------------------------------
TASE 2007 Program
June 5, 2007
Tutorial: Patrick
Cousot
June 6, 2007
8:30~9:00 Opening Ceremony
9:00~10:00 Keynote: Bertrand
Meyer
10:15~11:45 Verification and Validation
1
(1) Symmetry Reduced Model Checking for B
Edward
Turner, Michael Leuschel, Corinna Spermann and Michael Butler
(2) Multi-Valued Model Checking via Groebner
Basis Approach
Jinzhao Wu and Lin Zhao
(3) Model Checking Software at Compile
Time
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel
Lussenburg and Felix Rauch
1:15~2:45 Formal Methods 1
(1) An
Approach based on Bigraphical Reactive Systems to Check Architectural
Instance Conforming to its Style
Chang Zhiming, Mao Xinjun and Qi Zhichang
(2) A formal derivation of Grover's quantum
search algorithm
Paolo Zuliani
(3) Unified Modeling and Analysis based on
Petri nets and Pi calculus
Fei Xu and Li
Zhang
1:15~2:45 Software Architecture and
Frameworks 1
(1) An Object Type Graph System
Cong-Cong
Xing
(2) Object-Oriented Metrics Based Artificial
Immune Systems for Software
Fault
Prediction
Cagatay Catal and Banu Diri
(3) Self-adaptive Intrusion Detection System
for Computational Grid
Ni Jiancheng, Li Zhi-Shu and Sun
Ji-rong
3:00~4:30 Security Issues
(1)
Foundational certification of data-flow analyses
Maria
João Frade, Ando Saabas and Tarmo Uustalu
(2) A Certified Thread Library for
Multithreaded User Programs
Yu Guo, Xinyu Jiang, Yiyun
Chen and Chunxiao Lin
(3) Design of a Certifying Compiler Supporting
Proof of Program Safety
Yiyun Chen, Lin Ge, Baojian Hua,
Zhaopeng Li and Cheng Liu
3:00~4:30 Testing Techniques
(1) Pomset
Fair Testing
XiaoWei Huang, Li Jiao and Weiming
Lu
(2) Generation of optimal finite test suites
for timed systems
Mercedes Merayo, Manuel Nunez and Ismael
Rodríguez
(3) Test Selection Criteria for Modal
Specifications of Reactive Systems
Marc Aiguier and
Delphine Longuet
June 7, 2007
8:30~9:30 Keynote: Jeannette M.
Wing
9:45~11:45 Workflow Analysis
(1)
Resource-Constrained and Decision Support Workflow
Modeling
Jiacun Wang
(2) Queuing analysis and performance
evaluation of workflow through WFQN
Yunni Xia, Hanpin Wang
and Wanling Qu
(3) A Workflow Verification Method Based on Pi
Calculus
Li Zhang, Fei Xu and Zhiwei Yu
(4) Verification of Business Process Quality
Constraints Based on Visual Process
Patterns
Alexander Foerster, Gregor Engels, Tim
Schattkowsky and
Ragnhild Van Der Straeten
1:15~2:45 Verification and Validation
2
(1) Combining Search Space Partition and Abstraction for LTL Model
Checking
Pu Fei and Zhang Wenhui
(2) Model Checking Networked Programs in the
Presence of Transmission Failures
Cyrille Valentin Artho,
Christian Sommer and Shinichi Honiden
(3) Dynamic Verifying The Properties of The
Simple Subset of PSL
Naiyong Jin and Chengjie
Shen
1:15~2:45 Formal Methods 2
(1) A
Logic for Reasoning about Inconsistent Concurrent Systems
Donghuo chen and Jinzhao Wu
(2) An Interpreter for Framed Tempura and Its
Application
Ma Yongtao, Zhenhua Duan, Xiaobing Wang and
Xiaoxiao Yang
(3) Goal-independent Semantics for Path
Dependent Analysis of Prolog Programs
Lingzhong Zhao,
Tianlong Gu and Junyan Qian
3::00~4:30 Software Architecture and
Frameworks 2
(1) A Logical Framework for Monitoring and Evolving Software
Components
Howard Barringer, Dov Gabbay and David
Rydeheard
(2) Commutability of Design Pattern
Instantiation and Integration
Jing Dong, Tu Peng and
Zongyan Qiu
(3) Timing and Concurrency Specification in
Component-based Real-Time Embedded
Systems
Development
Hung Ledang and Van Hung Dang
3::00~4:30 Safety and
Reliability
(1) Tool-Supported Multi-Level Language
Evolution
Markus Pizka and Elmar Juergens
(2) Synthesis Of Optimal Dynamic Observers for
Fault Diagnosis of Discrete-Event
Systems
Franck Cassez, Stavros Tripakis and Karine
Altisen
(3) Foundational Typed Assembly Language with
Certified Garbage Collection
Chunxiao Lin, Andrew
McCreight, Zhong Shao, Yiyun Chen and Yu Guo
June 8, 2007
8:30~10:00 Verification and Validation
3
(1) Evaluation of SAT-based Bounded Model Checking of ACTL
Properties
Yanyan Xu, Wei Chen, Liang Xu and Wenhui
Zhang
(2) Specification-based Test Generation and
Optimization
Hongwei Zeng and Huaikou Miao
(3) Streaming State Space: A Method of
Distributed Model Verification
Viliam Holub
8:30~10:00 Formal Methods 3
(1) A
Formal Approach to Aspect-Oriented Modular Reconfigurable
Computing
Phan Cong-Vinh and Jonathan Bowen
(2) Realizing Live Sequence Charts in
SystemVerilog
Hai H. Wang, Shengchao Qin, Jun Sun and Jin
Song Dong
(3) QCCS: A Formal Model to Enforce QoS
Requirements in Service Composition
Meng Sun
10:15~11:45 Software Architecture and
Frameworks 3
(1) A Software Process for Modeling Complex Systems with
UML-RT
Yi Feng Sun and David Levy
(2) Consistency and Minimality of UML Class
Specifications with Multiplicities
and Uniqueness
Constraints
Ingo Feinerer and Gernot Salzer
(3) Survivability-Aware Configuration
Management of Service-Oriented System
Based on Service
Dependency
Tun LU and Ning GU
10:15~11:45 Formal Methods 4
(1)
Improving Combinability of Petri Nets with Inheritance, Aggregation and
Association
Shengyuan
Wang
(2) Dynamics of Control
Jeffrey Sanders and Matteo Turilli
(3) Symmetry in Process
Algebra
Jiang Jianmin and Hongping Shu
1:15~2:15 Keynote: Mathai
Joseph
2:30~4:00 Service Systems
(1)
Constraint-Based Policy Negotiation and Enforcement for Telco
Services
Maria Grazia Buscemi, Laura Ferrari, Corrado
Moiso and Ugo Montanari
(2) Conformance Validation between
Choreography and Orchestration
Jing Li, Huibiao Zhu and
Geguang Pu
(3) QoS-Driven Service Composition Modeling
with Extended Hierarchical CPN
Wen-jun LI, Xiao-jun Liang,
Hua-mei SONG and Xiao-cong ZHOU
4:00~4:10 Closing Ceremony