Search For:

Displaying 1-28 out of 28 total
International workshop on service oriented software engineering (IW-SOSE'06)
Found in: Software Engineering, International Conference on
By Robert J. Hall, Jun Han, Yanbo Han, Kurt Sandkuhl, Andrea Zisman, Andrea Polini, Elisabetta Di Nitto
Issue Date:May 2006
pp. 1036-1037
No abstract available
   
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010)
Found in: Software Engineering, International Conference on
By Grace A. Lewis,Andreas Metzger,Marco Pistore,Dennis Smith,Andrea Zisman
Issue Date:May 2010
pp. 429-430
Service-oriented systems have attracted great interest from industry and research communities worldwide. Service integrators, developers, and providers are collaborating to address the various challenges in the field. PESOS 2010 is a forum for all these co...
 
Overview of OpenModel-based Validation with Partial Information
Found in: Automated Software Engineering, International Conference on
By Robert J. Hall, Andrea Zisman
Issue Date:October 2003
pp. 347
Multi-stakeholder distributed systems (MSDSs), such as the Internet email and instant messaging systems, and e-business web service networks, raise new challenges for users, developers, and systems analysts. Traditional requirements engineering, validation...
 
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation
Found in: IEEE Transactions on Software Engineering
By Andrea Zisman,George Spanoudakis,James Dooley,Igor Siveroni
Issue Date:July 2013
pp. 954-974
The identification of services during the execution of service-based applications to replace services in them that are no longer available and/or fail to satisfy certain requirements is an important issue. In this paper, we present a framework to support r...
 
A Pattern-Based Approach for Monitor Adaptation
Found in: Software Science, Technology and Engineering, IEEE International Conference on
By Ricardo Contreras, Andrea Zisman
Issue Date:June 2010
pp. 30-37
Monitoring of service-based systems can be used to assist with the verification of the behaviour of the system, and the quality and contextual information of the services participating in a system. In this paper, we present a pattern-based approach to supp...
 
Proactive Runtime Service Discovery
Found in: Services Computing, IEEE International Conference on
By Andrea Zisman, James Dooley, George Spanoudakis
Issue Date:July 2008
pp. 237-245
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavioural models of services and applications, as well as quality and contextual c...
 
Property Specification and Static Verification of UML Models
Found in: Availability, Reliability and Security, International Conference on
By Igor Siveroni, Andrea Zisman, George Spanoudakis
Issue Date:March 2008
pp. 96-103
We present a Static Verification Tool (SVT), a system that performs static verification on UML models composed of UML class and state machine diagrams. Additionally, the SVT allows the user to add extra behavior specification in the form of guards and effe...
 
Guest Editors' Introduction: Realizing Service-Centric Software Systems
Found in: IEEE Software
By Olivier Nano, Andrea Zisman
Issue Date:November 2007
pp. 28-30
Service-centric software system is a multidisciplinary paradigm concerned with software systems that are constructed as compositions of autonomous services. These systems extend the service-oriented architecture paradigm by focusing on the design, developm...
 
A Platform for Context Aware Runtime Web Service Discovery
Found in: Web Services, IEEE International Conference on
By George Spanoudakis, Khaled Mahbub, Andrea Zisman
Issue Date:July 2007
pp. 233-240
In this paper we describe a platform that supports context aware runtime service discovery. The platform supports service discovery based on structural and behavioural service models as well as complex context related service discovery conditions which are...
 
A Service Discovery Framework based on Linear Composition
Found in: Services Computing, IEEE International Conference on
By Andrea Zisman, Khaled Mahbub, George Spanoudakis
Issue Date:July 2007
pp. 536-543
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software systems are constructed based on the identification and composition of web serv...
 
A Static Verification Framework for Secure Peer-to-Peer Applications
Found in: Internet and Web Applications and Services, International Conference on
By Andrea Zisman
Issue Date:May 2007
pp. 8
In this paper we present a static verification framework to support the design and verification of secure peer-to-peer applications. The framework supports the specification, modeling, and analysis of security aspects together with the general characterist...
 
OMML: A Behavioural Model Interchange Format
Found in: Requirements Engineering, IEEE International Conference on
By Robert J. Hall, Andrea Zisman
Issue Date:September 2004
pp. 272-282
The number and diversity of existing languages for describing behavioural specifications (models) of systems do not enable the integration, sharing, or reuse of models between tools. Incompatible node models cannot be used to help validate overall combined...
 
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Found in: Automated Software Engineering, International Conference on
By Robert J. Hall, Andrea Zisman
Issue Date:September 2004
pp. 56-66
Risks and hazards abound for users of today's large scale distributed telecommunications and e-commerce systems. Service nodes are documented loosely and incompletely, omitting functional details that can violate stake-holder requirements and thwart high l...
 
Are their Design Specifications Consistent with our Requirements?
Found in: Requirements Engineering, IEEE International Conference on
By Alexander Kozlenkov, Andrea Zisman
Issue Date:September 2002
pp. 145
During the development of large and complex systems it is important to ensure consistency between requirements and design specifications in order to guarantee that the system being developed meets the specified requirements, or to support the reuse of exis...
 
Knowledge Base Approach to Consistency Management of UML Specifications
Found in: Automated Software Engineering, International Conference on
By Andrea Zisman, Alexander Kozlenkov
Issue Date:November 2001
pp. 359
The use of the Unified Modelling Language (UML) during systems development has been growing in scale and complexity, often resulting in inconsistent specifications. In this paper we present a knowledge base goal-driven approach for consistency management o...
 
Using XML to Build Consistency Rules for Distributed Specifications
Found in: Software Specification and Design, International Workshop on
By Andrea Zisman, Wolfgang Emmerich, Anthony Finkelstein
Issue Date:November 2000
pp. 141
The work presented in this paper is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an approach for specifying consistency rules for distributed partial specificat...
 
XML for Software Engineers
Found in: Requirements Engineering, IEEE International Conference on
By Anthony Finkelstein, Andrea Zisman
Issue Date:June 1999
pp. 193
No summary available.
 
Message from the chairs
Found in: 2013 International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)
By Nan Niu,Patrick Mader,Andrea Zisman
Issue Date:May 2013
pp. iii
Welcome to the 7 th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2013), which is collocated with the 35 th International Conference on Software Engineering (ICSE 2013) in San Francisco, California. We hope you wil...
   
2nd international workshop on service oriented software engineering (IW-SOSWE 2007)
Found in: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (ESEC-FSE '07)
By Andrea Polini, Andrea Zisman, Elisabetta Di Nitto
Issue Date:September 2007
pp. 613-614
Software engineering practitioners and researchers continue to face huge challenges in the development, maintenance, and use of software systems. This has been even more prominent with the new paradigm of service oriented computing in which service integra...
     
International workshop on service oriented software engineering (IW-SOSE'06)
Found in: Proceedings of the 2006 international workshop on Service-oriented software engineering (SOSE '06)
By Andrea Polini, Andrea Zisman, Elisabetta Di Nitto, Jun Han, Kurt Sandkuhl, Robert J. Hall, Yanbo Han
Issue Date:May 2006
pp. 1-5
Engine Control Systems (ECS) for automobiles have many variants for many manufactures and several markets. To improve their development efficiency, exploiting ECS commonalities and predicting their variability are mandatory. The concept of software product...
     
International workshop on service oriented software engineering (IW-SOSE'06)
Found in: Proceeding of the 28th international conference on Software engineering (ICSE '06)
By Andrea Polini, Andrea Zisman, Elisabetta Di Nitto, Jun Han, Kurt Sandkuhl, Robert J. Hall, Yanbo Han
Issue Date:May 2006
pp. 1036-1037
Dynamic analysis techniques reason over program executions and deal with data produced at program execution time. Dynamic analysis and static analysis techniques complement each other. Hence, a key focus of the workshop is dynamic analysis of software syst...
     
A Service Discovery Framework for Service Centric Systems
Found in: Services Computing, IEEE International Conference on
By George Spanoudakis, Andrea Zisman, Alexander Kozlenkov
Issue Date:July 2005
pp. 251-259
<p>An important aspect of service-centric systems (i.e. systems composed of services) is the ability to support service discovery at run-time in order to cope with unavailable or malfunctioning services. In this paper we present a framework that supp...
 
Formalizing traceability relations for product lines
Found in: Proceeding of the 6th international workshop on Traceability in emerging forms of software engineering (TEFSE '11)
By Andrea Zisman, Luis C. Lamb, Waraporn Jirapanthong
Issue Date:May 2011
pp. 42-45
Traceability is considered an important activity during the development of software systems. Despite the various classifications that have been proposed for different types of traceability relations, there is still a lack of standard semantic definitions f...
     
Grand challenges, benchmarks, and tracelab: developing infrastructure for the software traceability community
Found in: Proceeding of the 6th international workshop on Traceability in emerging forms of software engineering (TEFSE '11)
By Adam Czauderna, Alex Dekhtyar, Alexander Egyed, Andrea Zisman, Brian Berenbach, Denys Poshyvanyk, Ed Keenan, Giuliano Antoniol, Greg Leach, Jane Cleland-Huang, Jane Huffman Hayes, Jonathan Maletic, Olly Gotel, Patrick Maeder, Youghee Shin
Issue Date:May 2011
pp. 17-23
The challenges of implementing successful and cost-effective traceability have created a compelling research agenda that has addressed a broad range of traceability related issues, ranging from qualitative studies of traceability users in industry to very ...
     
Identifying, modifying, creating, and removing monitor rules for service oriented computing
Found in: Proceeding of the 3rd international workshop on Principles of engineering service-oriented systems (PESOS '11)
By Andrea Zisman, Ricardo Contreras
Issue Date:May 2011
pp. 43-49
Monitoring of service-based systems is considered an important activity to support service-oriented computing. Monitoring can be used to verify the behavior of a service-based system, and the quality and contextual aspects of the services participating in ...
     
Traceability and completeness checking for agent-oriented systems
Found in: Proceedings of the 2008 ACM symposium on Applied computing (SAC '08)
By Andrea Zisman, Gilberto Cysneiros
Issue Date:March 2008
pp. 28-34
In this paper, we describe a rule-based approach to support traceability and completeness checking of design models and code specification of agent-oriented systems. The rules are specified in an extension of XQuery and allow the generation of traceability...
     
2nd Workshop on the state of the art in automated software engineering
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Andrea Zisman, Tom Ellman
Issue Date:November 2005
pp. 464-464
The 2nd Workshop on the State of the Art in Automated Software Engineering took place on the 27 th of July 2005, at City University, London - UK. During the workshop there were seven presentations about various aspects concerning the theory and practice of...
     
Behavioral models as service descriptions
Found in: Proceedings of the 2nd international conference on Service oriented computing (ICSOC '04)
By Andrea Zisman, Robert J. Hall
Issue Date:November 2004
pp. 163-172
Interface descriptions, while adequate for describing relatively simple or uniform functionality, are too abstract to properly describe entities as complex as e-commerce services or feature rich telecommunications services. The web services community has p...
     
 1