Sciweavers

230 search results - page 10 / 46
» A Formally Founded Description Technique for Business Proces...
Sort
View
WISE
2005
Springer
14 years 1 months ago
Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
Stefanie Rinderle, Morad Benyoucef
ECSA
2008
Springer
13 years 9 months ago
Non-synchronous Communications in Process Algebraic Architectural Description Languages
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
Marco Bernardo, Edoardo Bontà
CASCON
2000
85views Education» more  CASCON 2000»
13 years 8 months ago
Web-based specification and integration of legacy services
With the explosive growth of the Internet, businesses of all sizes aim on applying networkwide solutions to their IT infrastructures, migrating their legacy business processes int...
Ying Zou, Kostas Kontogiannis
RE
2001
Springer
13 years 12 months ago
Requirements for Evolving Systems: A Telecommunications Perspective
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
Pamela Zave
DCW
2000
Springer
13 years 11 months ago
An Evaluation of Formalisms for Negotiations in E-commerce
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
Morad Benyoucef, Rudolf K. Keller